/src/FOL/ex/
drwxr-xr-x [up]
drwxr-xr-x Locale_Test
drwxr-xr-x document
-rw-r--r-- 2011-08-11 09:11 -0700 17053 Classical.thy
-rw-r--r-- 2011-08-11 09:11 -0700 4948 First_Order_Logic.thy
-rw-r--r-- 2011-08-11 09:11 -0700 2509 Foundation.thy
-rw-r--r-- 2011-08-11 09:11 -0700 1616 If.thy
-rw-r--r-- 2011-08-11 09:11 -0700 1979 Intro.thy
-rw-r--r-- 2011-08-11 09:11 -0700 12137 Intuitionistic.thy
-rw-r--r-- 2011-08-11 09:11 -0700 1913 Miniscope.thy
-rw-r--r-- 2011-08-11 09:11 -0700 1661 Nat.thy
-rw-r--r-- 2011-08-11 09:11 -0700 2079 Nat_Class.thy
-rw-r--r-- 2011-08-11 09:11 -0700 1700 Natural_Numbers.thy
-rw-r--r-- 2011-08-11 09:11 -0700 2234 Prolog.thy
-rw-r--r-- 2011-08-11 09:11 -0700 2679 Propositional_Cla.thy
-rw-r--r-- 2011-08-11 09:11 -0700 3237 Propositional_Int.thy
-rw-r--r-- 2011-08-11 09:11 -0700 2161 Quantifiers_Cla.thy
-rw-r--r-- 2011-08-11 09:11 -0700 2627 Quantifiers_Int.thy
-rw-r--r-- 2011-08-11 09:11 -0700 314 ROOT.ML