Session FOLP-ex
View
theory dependencies
Theories
Intro
Nat
Foundation
If
Intuitionistic
Classical
Propositional_Int
Quantifiers_Int
Propositional_Cla
Quantifiers_Cla