/src/FOLP/ex/
drwxr-xr-x [up]
-rw-r--r-- 2008-06-28 22:52 +0200 8753 Classical.thy
-rw-r--r-- 2008-06-28 22:52 +0200 2665 Foundation.thy
-rw-r--r-- 2008-06-28 22:52 +0200 1079 If.thy
-rw-r--r-- 2008-06-28 22:52 +0200 2176 Intro.thy
-rw-r--r-- 2008-06-28 22:52 +0200 8966 Intuitionistic.thy
-rw-r--r-- 2008-06-28 22:52 +0200 2506 Nat.thy
-rw-r--r-- 2008-06-28 22:52 +0200 1839 Prolog.ML
-rw-r--r-- 2008-06-28 22:52 +0200 747 Prolog.thy
-rw-r--r-- 2008-06-28 22:52 +0200 3539 Propositional_Cla.thy
-rw-r--r-- 2008-06-28 22:52 +0200 3390 Propositional_Int.thy
-rw-r--r-- 2008-06-28 22:52 +0200 2926 Quantifiers_Cla.thy
-rw-r--r-- 2008-06-28 22:52 +0200 2807 Quantifiers_Int.thy
-rw-r--r-- 2008-06-28 22:52 +0200 394 ROOT.ML