--- a/src/HOL/IsaMakefile Sun Oct 14 20:01:42 2001 +0200
+++ b/src/HOL/IsaMakefile Sun Oct 14 20:02:11 2001 +0200
@@ -91,7 +91,7 @@
Inverse_Image.ML Inverse_Image.thy Lfp.ML \
Lfp.thy List.ML List.thy Main.ML Main.thy Map.ML Map.thy Nat.ML \
Nat.thy NatArith.ML NatArith.thy NatDef.ML NatDef.thy Numeral.thy \
- Option.ML Option.thy Ord.thy Power.ML Power.thy PreList.thy \
+ Option.ML Option.thy Power.ML Power.thy PreList.thy \
Product_Type_lemmas.ML Product_Type.thy ROOT.ML Recdef.thy Record.thy \
Relation.ML Relation.thy Relation_Power.ML Relation_Power.thy \
SVC_Oracle.ML SVC_Oracle.thy Set.ML Set.thy SetInterval.ML \