# HG changeset patch
# User wenzelm
# Date 1180614845 -7200
# Node ID 5126551e378ba2534d1fe18b7c4f279e2b0e8dd9
# Parent  3cc4a80c4d305a51aad5876ba63b012284de08ba
tuned header;

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