/src/FOLP/ex/
drwxr-xr-x [up]
-rw-r--r-- 2015-07-23 14:25 +0200 9918 Classical.thy
-rw-r--r-- 2015-07-23 14:25 +0200 2785 Foundation.thy
-rw-r--r-- 2015-07-23 14:25 +0200 1211 If.thy
-rw-r--r-- 2015-07-23 14:25 +0200 2349 Intro.thy
-rw-r--r-- 2015-07-23 14:25 +0200 10549 Intuitionistic.thy
-rw-r--r-- 2015-07-23 14:25 +0200 2781 Nat.thy
-rw-r--r-- 2015-07-23 14:25 +0200 4278 Propositional_Cla.thy
-rw-r--r-- 2015-07-23 14:25 +0200 4129 Propositional_Int.thy
-rw-r--r-- 2015-07-23 14:25 +0200 3506 Quantifiers_Cla.thy
-rw-r--r-- 2015-07-23 14:25 +0200 3387 Quantifiers_Int.thy