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;
authorwenzelm
Wed, 03 Jan 2001 21:19:08 +0100
changeset 10768 a7282df327c6
parent 10767 8fa4aafa7314
child 10769 70b9b0cfe05f
tuned;
src/HOL/Subst/Unify.ML file | annotate | diff | comparison | revisions 
--- a/src/HOL/Subst/Unify.ML	Wed Jan 03 21:18:31 2001 +0100
+++ b/src/HOL/Subst/Unify.ML	Wed Jan 03 21:19:08 2001 +0100
@@ -31,10 +31,6 @@
  * Deeper nestings require iteration of steps (3) and (4).
  *---------------------------------------------------------------------------*)
 
-open Unify;
-
-
-
 (*---------------------------------------------------------------------------
  * The non-nested TC plus the wellfoundedness of unifyRel.
  *---------------------------------------------------------------------------*)
isabelle