Session FOL-ex
View
theory dependencies
View
document
View
outline
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