Berardi/
ChoiceFacts/
ClassicalChoice/
ClassicalDescription/
ClassicalFacts/
Classical_Pred_Set/
Classical_Pred_Type/
Classical_Prop/
Decidable/
Diaconescu/
Eqdep/
Eqdep_dec/
Hurkens/
JMeq/
ProofIrrelevance/
RelationalChoice/