src/HOL/IsaMakefile
changeset 29125 d41182a8135c
parent 29111 d2b60c49a713
child 29181 cc177742e607
     1.1 --- a/src/HOL/IsaMakefile	Tue Dec 16 00:19:47 2008 +0100
     1.2 +++ b/src/HOL/IsaMakefile	Tue Dec 16 08:46:07 2008 +0100
     1.3 @@ -112,6 +112,8 @@
     1.4    Tools/dseq.ML \
     1.5    Tools/function_package/auto_term.ML \
     1.6    Tools/function_package/context_tree.ML \
     1.7 +  Tools/function_package/decompose.ML \
     1.8 +  Tools/function_package/descent.ML \
     1.9    Tools/function_package/fundef_common.ML \
    1.10    Tools/function_package/fundef_core.ML \
    1.11    Tools/function_package/fundef_datatype.ML \
    1.12 @@ -123,8 +125,11 @@
    1.13    Tools/function_package/measure_functions.ML \
    1.14    Tools/function_package/mutual.ML \
    1.15    Tools/function_package/pattern_split.ML \
    1.16 +  Tools/function_package/scnp_reconstruct.ML \
    1.17 +  Tools/function_package/scnp_solve.ML \
    1.18    Tools/function_package/size.ML \
    1.19    Tools/function_package/sum_tree.ML \
    1.20 +  Tools/function_package/termination.ML \
    1.21    Tools/hologic.ML \
    1.22    Tools/inductive_codegen.ML \
    1.23    Tools/inductive_package.ML \