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.
Term.termless;
authorwenzelm
Fri, 19 Dec 1997 09:58:42 +0100
changeset 4439 02730662e446
parent 4438 ecfeff48bf0c
child 4440 9ed4098074bc
Term.termless;
src/Pure/thm.ML file | annotate | diff | comparison | revisions 
--- a/src/Pure/thm.ML	Fri Dec 19 09:58:03 1997 +0100
+++ b/src/Pure/thm.ML	Fri Dec 19 09:58:42 1997 +0100
@@ -1524,7 +1524,7 @@
     prems = prems, mk_rews = mk_rews, termless = termless};
 
 val empty_mss =
-  mk_mss (Net.empty, [], Net.empty, [], [], K [], Logic.termless);
+  mk_mss (Net.empty, [], Net.empty, [], [], K [], Term.termless);
isabelle