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.
Loads the local hypsubst.ML. No longer loads ../Provers/ind.ML,
authorlcp
Thu, 06 Apr 1995 11:12:35 +0200
changeset 1008 fa11e1e28bd3
parent 1007 79d316b160fa
child 1009 eb7c50688405
Loads the local hypsubst.ML. No longer loads ../Provers/ind.ML, which was never used.
src/FOLP/ROOT.ML file | annotate | diff | comparison | revisions 
--- a/src/FOLP/ROOT.ML	Thu Apr 06 11:09:15 1995 +0200
+++ b/src/FOLP/ROOT.ML	Thu Apr 06 11:12:35 1995 +0200
@@ -18,10 +18,9 @@
 use_thy "IFOLP";
 use_thy "FOLP";
 
-use "../Provers/hypsubst.ML";
+use "hypsubst.ML";
 use "classical.ML";      (* Patched 'cos matching won't instantiate proof *)
 use "simp.ML";	         (* Patched 'cos matching won't instantiate proof *)
-use "../Provers/ind.ML";
 
 
 (*** Applying HypsubstFun to generate hyp_subst_tac ***)
isabelle