Hi, list! What was the semantics of Prop in versions prior to 2.2.8? (release note states it was removed). Was it impredicative as in Coq? What was the reason for it to be removed? Pavel