src/HOL/IsaMakefile
changeset 33968 f94fb13ecbb3
parent 33963 977b94b64905
child 33972 daf65be6bfe5
     1.1 --- a/src/HOL/IsaMakefile	Mon Nov 30 11:42:48 2009 +0100
     1.2 +++ b/src/HOL/IsaMakefile	Mon Nov 30 11:42:49 2009 +0100
     1.3 @@ -171,7 +171,6 @@
     1.4    Tools/Datatype/datatype_data.ML \
     1.5    Tools/Datatype/datatype_prop.ML \
     1.6    Tools/Datatype/datatype_realizer.ML \
     1.7 -  Tools/Datatype/datatype_rep_proofs.ML \
     1.8    Tools/Datatype/datatype.ML \
     1.9    Tools/dseq.ML \
    1.10    Tools/Function/context_tree.ML \