# HG changeset patch
# User haftmann
# Date 1155017946 -7200
# Node ID 1bf581bc4d60c90e8a634fc58922ea178cd83dc7
# Parent  d59364649bcc6b86958bdaab58b5dbd023b4c113
added Tools/typedef_codegen.ML

diff -r d59364649bcc -r 1bf581bc4d60 src/HOL/IsaMakefile
--- a/src/HOL/IsaMakefile	Tue Aug 08 08:18:59 2006 +0200
+++ b/src/HOL/IsaMakefile	Tue Aug 08 08:19:06 2006 +0200
@@ -119,7 +119,8 @@
   Tools/res_clause.ML Tools/rewrite_hol_proof.ML	\
   Tools/sat_funcs.ML					\
   Tools/sat_solver.ML Tools/specification_package.ML Tools/split_rule.ML	\
-  Tools/typedef_package.ML Transitive_Closure.ML Transitive_Closure.thy		\
+  Tools/typedef_package.ML Tools/typedef_codegen.ML	\
+  Transitive_Closure.ML Transitive_Closure.thy		\
   Typedef.thy Wellfounded_Recursion.thy Wellfounded_Relations.thy		\
   antisym_setup.ML arith_data.ML blastdata.ML cladata.ML			\
   document/root.tex hologic.ML simpdata.ML ResAtpMethods.thy 			\