/src/FOLP/ex/
drwxr-xr-x [up]
-rw-r--r-- 2021-01-08 22:30 +0100 9917 Classical.thy
-rw-r--r-- 2021-01-08 22:30 +0100 2774 Foundation.thy
-rw-r--r-- 2021-01-08 22:30 +0100 1210 If.thy
-rw-r--r-- 2021-01-08 22:30 +0100 2347 Intro.thy
-rw-r--r-- 2021-01-08 22:30 +0100 10625 Intuitionistic.thy
-rw-r--r-- 2021-01-08 22:30 +0100 2778 Nat.thy
-rw-r--r-- 2021-01-08 22:30 +0100 4278 Propositional_Cla.thy
-rw-r--r-- 2021-01-08 22:30 +0100 4129 Propositional_Int.thy
-rw-r--r-- 2021-01-08 22:30 +0100 3506 Quantifiers_Cla.thy
-rw-r--r-- 2021-01-08 22:30 +0100 3387 Quantifiers_Int.thy