--- a/src/HOL/IsaMakefile Fri Jul 20 14:28:25 2007 +0200
+++ b/src/HOL/IsaMakefile Fri Jul 20 14:33:40 2007 +0200
@@ -87,7 +87,7 @@
Dense_Linear_Order.thy Divides.thy Equiv_Relations.thy Extraction.thy \
Finite_Set.thy FixedPoint.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.ML Nat.thy NatBin.thy \
+ Lattices.thy List.thy Main.thy Map.thy Nat.thy NatBin.thy \
Numeral.thy OrderedGroup.thy Orderings.thy Power.thy PreList.thy \
Predicate.thy Product_Type.thy ROOT.ML Recdef.thy \
Record.thy Refute.thy Relation.thy Relation_Power.thy \