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/HOL/BNF_Least_Fixpoint.thy
changeset 58310 91ea607a34d8
parent 58305 57752a91eec4
child 58314 ee1be8b3032e 
--- a/src/HOL/BNF_Least_Fixpoint.thy	Thu Sep 11 19:26:59 2014 +0200
+++ b/src/HOL/BNF_Least_Fixpoint.thy	Thu Sep 11 19:32:36 2014 +0200
@@ -13,7 +13,7 @@
 imports BNF_Fixpoint_Base
 keywords
   "datatype" :: thy_decl and
-  "datatype_new" :: thy_decl and
+  "datatype" :: thy_decl and
   "datatype_compat" :: thy_decl
 begin
isabelle