Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
tuned header;
authorwenzelm
Thu, 31 May 2007 14:34:05 +0200
changeset 23154 5126551e378b
parent 23153 3cc4a80c4d30
child 23155 4b04f9d859af
tuned header;
src/FOL/FOL.thy file | annotate | diff | comparison | revisions 
--- 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
isabelle