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.
typo
authorkuncar
Mon, 13 May 2013 15:22:19 +0200
changeset 51957 68c163598f07
parent 51956 a4d81cdebf8b
child 51961 4ccc75f17bb7
typo
src/HOL/Tools/Lifting/lifting_def.ML file | annotate | diff | comparison | revisions 
--- a/src/HOL/Tools/Lifting/lifting_def.ML	Mon May 13 13:59:04 2013 +0200
+++ b/src/HOL/Tools/Lifting/lifting_def.ML	Mon May 13 15:22:19 2013 +0200
@@ -572,7 +572,7 @@
         (Pretty.string_of (Pretty.block
          [Pretty.str "Reason:", 
           Pretty.brk 2, 
-          Pretty.str "The type of the term cannot be instancied to",
+          Pretty.str "The type of the term cannot be instantiated to",
           Pretty.brk 1,
           Pretty.quote (Syntax.pretty_typ ctxt rty_forced),
           Pretty.str "."]))]
isabelle