added Tools/typedef_codegen.ML
authorhaftmann
Tue Aug 08 08:19:06 2006 +0200 (2006-08-08)
changeset 203491bf581bc4d60
parent 20348 d59364649bcc
child 20350 54fe257afd4f
added Tools/typedef_codegen.ML
src/HOL/IsaMakefile
     1.1 --- a/src/HOL/IsaMakefile	Tue Aug 08 08:18:59 2006 +0200
     1.2 +++ b/src/HOL/IsaMakefile	Tue Aug 08 08:19:06 2006 +0200
     1.3 @@ -119,7 +119,8 @@
     1.4    Tools/res_clause.ML Tools/rewrite_hol_proof.ML	\
     1.5    Tools/sat_funcs.ML					\
     1.6    Tools/sat_solver.ML Tools/specification_package.ML Tools/split_rule.ML	\
     1.7 -  Tools/typedef_package.ML Transitive_Closure.ML Transitive_Closure.thy		\
     1.8 +  Tools/typedef_package.ML Tools/typedef_codegen.ML	\
     1.9 +  Transitive_Closure.ML Transitive_Closure.thy		\
    1.10    Typedef.thy Wellfounded_Recursion.thy Wellfounded_Relations.thy		\
    1.11    antisym_setup.ML arith_data.ML blastdata.ML cladata.ML			\
    1.12    document/root.tex hologic.ML simpdata.ML ResAtpMethods.thy 			\