/src/FOL/ex/
drwxr-xr-x [up]
drwxr-xr-x document
-rw-r--r-- 2009-10-02 22:15 +0200 17074 Classical.thy
-rw-r--r-- 2009-10-02 22:15 +0200 4948 First_Order_Logic.thy
-rw-r--r-- 2009-10-02 22:15 +0200 2509 Foundation.thy
-rw-r--r-- 2009-10-02 22:15 +0200 1610 If.thy
-rw-r--r-- 2009-10-02 22:15 +0200 1695 Iff_Oracle.thy
-rw-r--r-- 2009-10-02 22:15 +0200 1979 Intro.thy
-rw-r--r-- 2009-10-02 22:15 +0200 12137 Intuitionistic.thy
-rw-r--r-- 2009-10-02 22:15 +0200 10883 LocaleTest.thy
-rw-r--r-- 2009-10-02 22:15 +0200 1913 Miniscope.thy
-rw-r--r-- 2009-10-02 22:15 +0200 1656 Nat.thy
-rw-r--r-- 2009-10-02 22:15 +0200 2079 Nat_Class.thy
-rw-r--r-- 2009-10-02 22:15 +0200 1700 Natural_Numbers.thy
-rw-r--r-- 2009-10-02 22:15 +0200 2102 Prolog.thy
-rw-r--r-- 2009-10-02 22:15 +0200 2679 Propositional_Cla.thy
-rw-r--r-- 2009-10-02 22:15 +0200 3237 Propositional_Int.thy
-rw-r--r-- 2009-10-02 22:15 +0200 2131 Quantifiers_Cla.thy
-rw-r--r-- 2009-10-02 22:15 +0200 2597 Quantifiers_Int.thy
-rw-r--r-- 2009-10-02 22:15 +0200 448 ROOT.ML