src/HOL/IsaMakefile
changeset 33099 b8cdd3d73022
parent 33098 3e9ae9032273
child 33100 acc2bd3934ba
     1.1 --- a/src/HOL/IsaMakefile	Fri Oct 23 15:33:19 2009 +0200
     1.2 +++ b/src/HOL/IsaMakefile	Fri Oct 23 16:22:10 2009 +0200
     1.3 @@ -160,10 +160,10 @@
     1.4    Tools/Function/context_tree.ML \
     1.5    Tools/Function/decompose.ML \
     1.6    Tools/Function/descent.ML \
     1.7 -  Tools/Function/fundef_common.ML \
     1.8 -  Tools/Function/fundef_core.ML \
     1.9 -  Tools/Function/fundef_lib.ML \
    1.10 -  Tools/Function/fundef.ML \
    1.11 +  Tools/Function/function_common.ML \
    1.12 +  Tools/Function/function_core.ML \
    1.13 +  Tools/Function/function_lib.ML \
    1.14 +  Tools/Function/function.ML \
    1.15    Tools/Function/fun.ML \
    1.16    Tools/Function/induction_scheme.ML \
    1.17    Tools/Function/inductive_wrap.ML \