# HG changeset patch
# User wenzelm
# Date 1157145481 -7200
# Node ID 0cb88ed29776ec492aa96fb53719a563cadb6ae6
# Parent  d689ad772b2cd263513c9463a9b1a1d38da6ea55
signature: do not export private stuff;

diff -r d689ad772b2c -r 0cb88ed29776 src/HOL/Tools/typedef_package.ML
--- a/src/HOL/Tools/typedef_package.ML	Fri Sep 01 23:04:42 2006 +0200
+++ b/src/HOL/Tools/typedef_package.ML	Fri Sep 01 23:18:01 2006 +0200
@@ -24,7 +24,6 @@
   val typedef_i: (bool * string) * (bstring * string list * mixfix) * term
     * (string * string) option -> theory -> Proof.state
   val setup: theory -> theory
-  structure TypedefData: THEORY_DATA
 end;
 
 structure TypedefPackage: TYPEDEF_PACKAGE =