/src/FOLP/ex/
drwxr-xr-x [up]
-rw-r--r-- 2019-03-25 16:45 +0100 9917 Classical.thy
-rw-r--r-- 2019-03-25 16:45 +0100 2774 Foundation.thy
-rw-r--r-- 2019-03-25 16:45 +0100 1210 If.thy
-rw-r--r-- 2019-03-25 16:45 +0100 2347 Intro.thy
-rw-r--r-- 2019-03-25 16:45 +0100 10625 Intuitionistic.thy
-rw-r--r-- 2019-03-25 16:45 +0100 2778 Nat.thy
-rw-r--r-- 2019-03-25 16:45 +0100 4278 Propositional_Cla.thy
-rw-r--r-- 2019-03-25 16:45 +0100 4129 Propositional_Int.thy
-rw-r--r-- 2019-03-25 16:45 +0100 3506 Quantifiers_Cla.thy
-rw-r--r-- 2019-03-25 16:45 +0100 3387 Quantifiers_Int.thy