diff -r 466599ecf610 -r ede26eb5e549 src/HOL/IsaMakefile
--- a/src/HOL/IsaMakefile	Sun May 06 21:49:23 2007 +0200
+++ b/src/HOL/IsaMakefile	Sun May 06 21:49:24 2007 +0200
@@ -85,7 +85,7 @@
   $(SRC)/TFL/thms.ML $(SRC)/TFL/thry.ML $(SRC)/TFL/usyntax.ML			\
   $(SRC)/TFL/utils.ML ATP_Linkup.thy Accessible_Part.thy			\
   Code_Generator.thy Datatype.thy Divides.thy Equiv_Relations.thy		\
-  Extraction.thy Finite_Set.thy FixedPoint.thy Fun.thy FunDef.thy HOL.ML	\
+  Extraction.thy Finite_Set.thy FixedPoint.thy Fun.thy FunDef.thy	\
   HOL.thy Hilbert_Choice.thy Inductive.thy Integ/IntArith.thy			\
   Integ/IntDef.thy Integ/IntDiv.thy Integ/NatBin.thy				\
   Integ/NatSimprocs.thy Integ/Numeral.thy Integ/Presburger.thy			\