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.
updated setup;
authorwenzelm
Thu, 07 Sep 2000 20:47:54 +0200
changeset 9886 897d6602cbfb
parent 9885 34494703d283
child 9887 318051e88faa
updated setup;
src/FOL/IFOL.thy file | annotate | diff | comparison | revisions 
--- a/src/FOL/IFOL.thy	Thu Sep 07 20:47:34 2000 +0200
+++ b/src/FOL/IFOL.thy	Thu Sep 07 20:47:54 2000 +0200
@@ -116,10 +116,11 @@
   iff_reflection: "(P<->Q) ==> (P==Q)"
 
 
-			setup Simplifier.setup
-use "IFOL_lemmas.ML"	setup attrib_setup
+setup Simplifier.setup
+use "IFOL_lemmas.ML"
 use "fologic.ML"
-use "hypsubstdata.ML"   setup hypsubst_setup
+use "hypsubstdata.ML"
+setup hypsubst_setup
 use "intprover.ML"
isabelle