--- 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