/theories/Logic/
../
Classical.v
Classical_Pred_Set.v
Classical_Pred_Type.v
Classical_Prop.v
Classical_Type.v
Eqdep.v
Eqdep_dec.v