diff -r a063687d24eb -r 18914688a5fd src/HOL/IsaMakefile
--- a/src/HOL/IsaMakefile	Tue Dec 14 10:45:16 2004 +0100
+++ b/src/HOL/IsaMakefile	Tue Dec 14 14:53:02 2004 +0100
@@ -93,8 +93,7 @@
   Lfp.thy List.ML List.thy Main.ML Main.thy Map.thy\
   Nat.ML Nat.thy NatArith.thy Power.thy PreList.thy Product_Type.thy \
   Refute.thy ROOT.ML \
-  Recdef.thy Reconstruction.thy\
-  Record.thy Relation.ML Relation.thy Relation_Power.ML \
+  Recdef.thy Reconstruction.thy Record.thy Relation.ML Relation.thy \
   Relation_Power.thy LOrder.thy OrderedGroup.thy OrderedGroup.ML Ring_and_Field.thy\
   Set.ML Set.thy SetInterval.ML SetInterval.thy \
   Sum_Type.thy Tools/datatype_abs_proofs.ML Tools/datatype_aux.ML \