/src/FOLP/ex/
drwxr-xr-x [up]
-rw-r--r-- 2017-10-08 22:28 +0200 9861 Classical.thy
-rw-r--r-- 2017-10-08 22:28 +0200 2774 Foundation.thy
-rw-r--r-- 2017-10-08 22:28 +0200 1206 If.thy
-rw-r--r-- 2017-10-08 22:28 +0200 2345 Intro.thy
-rw-r--r-- 2017-10-08 22:28 +0200 10524 Intuitionistic.thy
-rw-r--r-- 2017-10-08 22:28 +0200 2772 Nat.thy
-rw-r--r-- 2017-10-08 22:28 +0200 4253 Propositional_Cla.thy
-rw-r--r-- 2017-10-08 22:28 +0200 4104 Propositional_Int.thy
-rw-r--r-- 2017-10-08 22:28 +0200 3486 Quantifiers_Cla.thy
-rw-r--r-- 2017-10-08 22:28 +0200 3367 Quantifiers_Int.thy