/src/FOL/ex/
drwxr-xr-x [up]
drwxr-xr-x document
-rw-r--r-- 2007-11-05 17:47 +0100 17934 Classical.thy
-rw-r--r-- 2007-11-05 17:47 +0100 4995 First_Order_Logic.thy
-rw-r--r-- 2007-11-05 17:47 +0100 2529 Foundation.thy
-rw-r--r-- 2007-11-05 17:47 +0100 1631 If.thy
-rw-r--r-- 2007-11-05 17:47 +0100 1673 IffOracle.thy
-rw-r--r-- 2007-11-05 17:47 +0100 2000 Intro.thy
-rw-r--r-- 2007-11-05 17:47 +0100 12152 Intuitionistic.thy
-rw-r--r-- 2007-11-05 17:47 +0100 20307 LocaleTest.thy
-rw-r--r-- 2007-11-05 17:47 +0100 1935 Miniscope.thy
-rw-r--r-- 2007-11-05 17:47 +0100 1674 Nat.thy
-rw-r--r-- 2007-11-05 17:47 +0100 1791 NatClass.thy
-rw-r--r-- 2007-11-05 17:47 +0100 1706 Natural_Numbers.thy
-rw-r--r-- 2007-11-05 17:47 +0100 2092 Prolog.thy
-rw-r--r-- 2007-11-05 17:47 +0100 2700 Propositional_Cla.thy
-rw-r--r-- 2007-11-05 17:47 +0100 3258 Propositional_Int.thy
-rw-r--r-- 2007-11-05 17:47 +0100 2152 Quantifiers_Cla.thy
-rw-r--r-- 2007-11-05 17:47 +0100 2618 Quantifiers_Int.thy
-rw-r--r-- 2007-11-05 17:47 +0100 593 ROOT.ML