/src/FOLP/ex/
drwxr-xr-x [up]
-rw-r--r-- 2009-03-01 23:36 +0100 8753 Classical.thy
-rw-r--r-- 2009-03-01 23:36 +0100 2665 Foundation.thy
-rw-r--r-- 2009-03-01 23:36 +0100 1079 If.thy
-rw-r--r-- 2009-03-01 23:36 +0100 2176 Intro.thy
-rw-r--r-- 2009-03-01 23:36 +0100 8966 Intuitionistic.thy
-rw-r--r-- 2009-03-01 23:36 +0100 2506 Nat.thy
-rw-r--r-- 2009-03-01 23:36 +0100 1839 Prolog.ML
-rw-r--r-- 2009-03-01 23:36 +0100 747 Prolog.thy
-rw-r--r-- 2009-03-01 23:36 +0100 3539 Propositional_Cla.thy
-rw-r--r-- 2009-03-01 23:36 +0100 3390 Propositional_Int.thy
-rw-r--r-- 2009-03-01 23:36 +0100 2926 Quantifiers_Cla.thy
-rw-r--r-- 2009-03-01 23:36 +0100 2807 Quantifiers_Int.thy
-rw-r--r-- 2009-03-01 23:36 +0100 394 ROOT.ML