/theories/Logic/

• ../
• Berardi.v
• Classical.v
• Classical_Pred_Set.v
• Classical_Pred_Type.v
• Classical_Prop.v
• Classical_Type.v
• Decidable.v
• Elimdep.v
• Eqdep.v
• Eqdep_dec.v
• JMeq.v
• intro.tex