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.
renamed thy data
authorhaftmann
Wed, 21 Jun 2006 11:23:06 +0200
changeset 19935 604c203beb3a
parent 19934 8190655ea2d4
child 19936 18b4e43ac583
renamed thy data
src/HOL/Tools/datatype_hooks.ML file | annotate | diff | comparison | revisions 
--- a/src/HOL/Tools/datatype_hooks.ML	Wed Jun 21 11:08:04 2006 +0200
+++ b/src/HOL/Tools/datatype_hooks.ML	Wed Jun 21 11:23:06 2006 +0200
@@ -28,7 +28,7 @@
 
 structure DatatypeHooksData = TheoryDataFun
 (struct
-  val name = "HOL/DatatypeHooks";
+  val name = "HOL/datatype_hooks";
   type T = T;
   val empty = T [];
   val copy = I;
isabelle