src/HOL/IsaMakefile
changeset 33100 acc2bd3934ba
parent 33099 b8cdd3d73022
child 33176 d6936fd7cda8
     1.1 --- a/src/HOL/IsaMakefile	Fri Oct 23 16:22:10 2009 +0200
     1.2 +++ b/src/HOL/IsaMakefile	Fri Oct 23 16:37:56 2009 +0200
     1.3 @@ -156,7 +156,6 @@
     1.4    Tools/Datatype/datatype_realizer.ML \
     1.5    Tools/Datatype/datatype_rep_proofs.ML \
     1.6    Tools/dseq.ML \
     1.7 -  Tools/Function/auto_term.ML \
     1.8    Tools/Function/context_tree.ML \
     1.9    Tools/Function/decompose.ML \
    1.10    Tools/Function/descent.ML \
    1.11 @@ -172,6 +171,7 @@
    1.12    Tools/Function/mutual.ML \
    1.13    Tools/Function/pat_completeness.ML \
    1.14    Tools/Function/pattern_split.ML \
    1.15 +  Tools/Function/relation.ML \
    1.16    Tools/Function/scnp_reconstruct.ML \
    1.17    Tools/Function/scnp_solve.ML \
    1.18    Tools/Function/size.ML \