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 comment
authorblanchet
Thu, 11 Sep 2014 20:01:29 +0200
changeset 58317 21fac057681e
parent 58316 18e6cb6a5297
child 58318 f95754ca7082
tuned comment
src/HOL/Tools/Ctr_Sugar/ctr_sugar.ML file | annotate | diff | comparison | revisions 
--- a/src/HOL/Tools/Ctr_Sugar/ctr_sugar.ML	Thu Sep 11 19:59:46 2014 +0200
+++ b/src/HOL/Tools/Ctr_Sugar/ctr_sugar.ML	Thu Sep 11 20:01:29 2014 +0200
@@ -1033,7 +1033,7 @@
                      (Morphism.fact phi distinct_thms) (Morphism.fact phi case_thms))
                   I)
           |> Local_Theory.notes (anonymous_notes @ notes)
-          (* for "old_datatype_realizer.ML": *)
+          (* for "datatype_realizer.ML": *)
           |>> name_noted_thms fcT_name exhaustN;
 
         val ctr_sugar =
isabelle