--- a/src/HOL/IsaMakefile Mon Oct 08 22:03:21 2007 +0200
+++ b/src/HOL/IsaMakefile Mon Oct 08 22:03:25 2007 +0200
@@ -92,7 +92,7 @@
$(SRC)/Tools/nbe.ML $(SRC)/Tools/rat.ML Tools/TFL/casesplit.ML ATP_Linkup.thy \
Accessible_Part.thy Arith_Tools.thy Code_Setup.thy Datatype.thy \
Dense_Linear_Order.thy Divides.thy Equiv_Relations.thy Extraction.thy \
- Finite_Set.thy FixedPoint.thy Fun.thy FunDef.thy HOL.thy \
+ Finite_Set.thy Fun.thy FunDef.thy HOL.thy \
Hilbert_Choice.thy Inductive.thy IntArith.thy IntDef.thy IntDiv.thy \
Lattices.thy List.thy Main.thy Map.thy Nat.thy NatBin.thy \
Numeral.thy OrderedGroup.thy Orderings.thy Power.thy PreList.thy \