src/HOL/IsaMakefile
changeset 20535 b4b3933ec026
parent 20436 0af8655ab0bb
child 20583 d96e19dd580f
     1.1 --- a/src/HOL/IsaMakefile	Thu Sep 14 15:25:05 2006 +0200
     1.2 +++ b/src/HOL/IsaMakefile	Thu Sep 14 15:25:23 2006 +0200
     1.3 @@ -127,12 +127,16 @@
     1.4    document/root.tex hologic.ML simpdata.ML ResAtpMethods.thy 			\
     1.5    Tools/res_atp_provers.ML Tools/res_atp_methods.ML	\
     1.6    Tools/res_hol_clause.ML	\
     1.7 +  Tools/function_package/sum_tools.ML 	\
     1.8    Tools/function_package/fundef_common.ML 	\
     1.9    Tools/function_package/fundef_lib.ML 	\
    1.10 +  Tools/function_package/inductive_wrap.ML 	\
    1.11    Tools/function_package/context_tree.ML 	\
    1.12    Tools/function_package/fundef_prep.ML 	\
    1.13    Tools/function_package/fundef_proof.ML 	\
    1.14    Tools/function_package/termination.ML 	\
    1.15 +  Tools/function_package/pattern_split.ML 	\
    1.16 +  Tools/function_package/mutual.ML 	\
    1.17    Tools/function_package/fundef_package.ML 	\
    1.18    Tools/function_package/auto_term.ML 	\
    1.19    Tools/function_package/fundef_datatype.ML 	\