# HG changeset patch
# User haftmann
# Date 1150881786 -7200
# Node ID 604c203beb3a7fb99fdb2195cfc19699480c34f5
# Parent  8190655ea2d4a617e59447ed2cfefa65b299c29a
renamed thy data

diff -r 8190655ea2d4 -r 604c203beb3a src/HOL/Tools/datatype_hooks.ML
--- 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;