
diff -r 3cc4a80c4d30 -r 5126551e378b src/FOL/FOL.thy
--- a/src/FOL/FOL.thy	Thu May 31 14:24:27 2007 +0200
+++ b/src/FOL/FOL.thy	Thu May 31 14:34:05 2007 +0200
@@ -7,7 +7,10 @@
 
 theory FOL
 imports IFOL
-uses ("cladata.ML") ("blastdata.ML") ("simpdata.ML")
+uses
+  ("cladata.ML")
+  ("blastdata.ML")
+  ("simpdata.ML")
 begin
 
 




