--- a/src/HOL/IsaMakefile Thu Dec 09 15:49:40 2004 +0100
+++ b/src/HOL/IsaMakefile Thu Dec 09 16:45:46 2004 +0100
@@ -98,7 +98,7 @@
Record.thy Relation.ML Relation.thy Relation_Power.ML \
Relation_Power.thy LOrder.thy OrderedGroup.thy OrderedGroup.ML Ring_and_Field.thy\
Set.ML Set.thy SetInterval.ML SetInterval.thy \
- Sum_Type.ML Sum_Type.thy Tools/datatype_abs_proofs.ML Tools/datatype_aux.ML \
+ Sum_Type.thy Tools/datatype_abs_proofs.ML Tools/datatype_aux.ML \
Tools/datatype_codegen.ML Tools/datatype_package.ML Tools/datatype_prop.ML \
Tools/datatype_realizer.ML Tools/datatype_rep_proofs.ML \
Tools/inductive_codegen.ML Tools/inductive_package.ML Tools/inductive_realizer.ML \