--- a/src/HOL/IsaMakefile Fri Mar 16 21:32:22 2007 +0100
+++ b/src/HOL/IsaMakefile Fri Mar 16 21:33:31 2007 +0100
@@ -92,7 +92,7 @@
Integ/cooper_dec.ML Integ/cooper_proof.ML Integ/int_arith1.ML \
Integ/int_factor_simprocs.ML Integ/nat_simprocs.ML Integ/presburger.ML \
Integ/qelim.ML Integ/reflected_cooper.ML Integ/reflected_presburger.ML \
- LOrder.thy Lattices.thy List.thy Main.thy Map.thy Nat.ML Nat.thy \
+ Lattices.thy List.thy Main.thy Map.thy Nat.ML Nat.thy \
OrderedGroup.ML OrderedGroup.thy Orderings.thy Power.thy Predicate.thy PreList.thy \
Product_Type.thy ROOT.ML Recdef.thy Record.thy Refute.thy Relation.thy \
Relation_Power.thy Ring_and_Field.thy SAT.thy Set.thy SetInterval.thy \