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.
removed command for loading Provers/simplifier.ML (now done in Pure/Thy/ROOT)
authorclasohm
Wed, 04 Oct 1995 13:01:05 +0100
changeset 1263 290c4dfc34ba
parent 1262 8f40ff1299d8
child 1264 3eb91524b938
removed command for loading Provers/simplifier.ML (now done in Pure/Thy/ROOT)
src/FOL/ROOT.ML file | annotate | diff | comparison | revisions 
--- a/src/FOL/ROOT.ML	Wed Oct 04 12:59:52 1995 +0100
+++ b/src/FOL/ROOT.ML	Wed Oct 04 13:01:05 1995 +0100
@@ -16,7 +16,6 @@
 print_depth 1;  
 use_thy "FOL";
 
-use "../Provers/simplifier.ML";
 use "../Provers/splitter.ML";
 use "../Provers/ind.ML";
 use "../Provers/hypsubst.ML";
isabelle