# 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