/src/FOLP/ex/
drwxr-xr-x [up]
-rw-r--r-- 2017-11-07 15:16 +0100 9861 Classical.thy
-rw-r--r-- 2017-11-07 15:16 +0100 2774 Foundation.thy
-rw-r--r-- 2017-11-07 15:16 +0100 1206 If.thy
-rw-r--r-- 2017-11-07 15:16 +0100 2345 Intro.thy
-rw-r--r-- 2017-11-07 15:16 +0100 10524 Intuitionistic.thy
-rw-r--r-- 2017-11-07 15:16 +0100 2772 Nat.thy
-rw-r--r-- 2017-11-07 15:16 +0100 4253 Propositional_Cla.thy
-rw-r--r-- 2017-11-07 15:16 +0100 4104 Propositional_Int.thy
-rw-r--r-- 2017-11-07 15:16 +0100 3486 Quantifiers_Cla.thy
-rw-r--r-- 2017-11-07 15:16 +0100 3367 Quantifiers_Int.thy