Prop2CommonLogic.hs for revision 1ea7fb6b0f66210bc0d3cb995f1b655277b33884 is empty. It was probably moved to a different location or deleted. A click on the History button may reveal more details.