src/HOL/IsaMakefile
changeset 33098 3e9ae9032273
parent 33085 c1b6cc29496b
child 33099 b8cdd3d73022
     1.1 --- a/src/HOL/IsaMakefile	Fri Oct 23 20:48:14 2009 +0200
     1.2 +++ b/src/HOL/IsaMakefile	Fri Oct 23 15:33:19 2009 +0200
     1.3 @@ -162,9 +162,9 @@
     1.4    Tools/Function/descent.ML \
     1.5    Tools/Function/fundef_common.ML \
     1.6    Tools/Function/fundef_core.ML \
     1.7 -  Tools/Function/fundef_datatype.ML \
     1.8    Tools/Function/fundef_lib.ML \
     1.9    Tools/Function/fundef.ML \
    1.10 +  Tools/Function/fun.ML \
    1.11    Tools/Function/induction_scheme.ML \
    1.12    Tools/Function/inductive_wrap.ML \
    1.13    Tools/Function/lexicographic_order.ML \