Session FOL-ex

Theories

• Natural_Numbers
• Intro
• Nat
• Nat_Class
• Foundation
• Prolog
• Intuitionistic
• Propositional_Int
• Quantifiers_Int
• Classical
• Propositional_Cla
• Quantifiers_Cla
• Miniscope
• If
• Locale_Test1
• Locale_Test2
• Locale_Test3
• Locale_Test