/src/FOL/ex/
drwxr-xr-x [up]
drwxr-xr-x Locale_Test
drwxr-xr-x document
-rw-r--r-- 2020-04-22 19:22 +0200 23354 Classical.thy
-rw-r--r-- 2020-04-22 19:22 +0200 3176 Foundation.thy
-rw-r--r-- 2020-04-22 19:22 +0200 2133 If.thy
-rw-r--r-- 2020-04-22 19:22 +0200 2560 Intro.thy
-rw-r--r-- 2020-04-22 19:22 +0200 22572 Intuitionistic.thy
-rw-r--r-- 2020-04-22 19:22 +0200 3278 Miniscope.thy
-rw-r--r-- 2020-04-22 19:22 +0200 2187 Nat.thy
-rw-r--r-- 2020-04-22 19:22 +0200 2573 Nat_Class.thy
-rw-r--r-- 2020-04-22 19:22 +0200 2181 Natural_Numbers.thy
-rw-r--r-- 2020-04-22 19:22 +0200 2661 Prolog.thy
-rw-r--r-- 2020-04-22 19:22 +0200 5451 Propositional_Cla.thy
-rw-r--r-- 2020-04-22 19:22 +0200 6296 Propositional_Int.thy
-rw-r--r-- 2020-04-22 19:22 +0200 3389 Quantifiers_Cla.thy
-rw-r--r-- 2020-04-22 19:22 +0200 4093 Quantifiers_Int.thy