Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Tools/eqsubst.ML
changeset 33243 17014b1b9353
parent 32960 69916a850301
child 36960 01594f816e3a 
--- a/src/Tools/eqsubst.ML	Tue Oct 27 17:19:31 2009 +0100
+++ b/src/Tools/eqsubst.ML	Tue Oct 27 17:34:00 2009 +0100
@@ -269,7 +269,7 @@
 (* FOR DEBUGGING...
 type trace_subst_errT = int (* subgoal *)
         * thm (* thm with all goals *)
-        * (Thm.cterm list (* certified free var placeholders for vars *)
+        * (cterm list (* certified free var placeholders for vars *)
            * thm)  (* trivial thm of goal concl *)
             (* possible matches/unifiers *)
         * thm (* rule *)
isabelle