F
O
L
P
-ex
Intro
Nat
Foundation
If
Intuitionistic
Classical
Propositional_Int
Quantifiers_Int
Propositional_Cla
Quantifiers_Cla