src/FOL/ROOT.ML
changeset 31974 e81979a703a4
parent 23161 cd928fd965a8
child 33615 261abc2e3155
--- a/src/FOL/ROOT.ML	Thu Jul 09 22:04:10 2009 +0200
+++ b/src/FOL/ROOT.ML	Thu Jul 09 22:09:58 2009 +0200
@@ -1,7 +1,3 @@
-(*  Title:      FOL/ROOT.ML
-    ID:         $Id$
-
-First-Order Logic with Natural Deduction.
-*)
+(* First-Order Logic with Natural Deduction *)
 
 use_thy "FOL";