# HG changeset patch
# User berghofe
# Date 1098801069 -7200
# Node ID a12e999a0113ee7cd2ca062c2177ada539a151b9
# Parent  6aa5933179056fdea08b323316a08d5203e5c37f
Added setup for code generator.

diff -r 6aa593317905 -r a12e999a0113 src/HOL/Typedef.thy
--- a/src/HOL/Typedef.thy	Tue Oct 26 16:30:32 2004 +0200
+++ b/src/HOL/Typedef.thy	Tue Oct 26 16:31:09 2004 +0200
@@ -84,4 +84,6 @@
 
 use "Tools/typedef_package.ML"
 
+setup TypedefPackage.setup
+
 end