1.1 --- a/src/HOL/IsaMakefile	Tue Apr 22 08:33:23 2008 +0200
     1.2 +++ b/src/HOL/IsaMakefile	Tue Apr 22 10:31:15 2008 +0200
     1.3 @@ -97,7 +97,7 @@
     1.4    Finite_Set.thy Fun.thy FunDef.thy HOL.thy		\
     1.5    Hilbert_Choice.thy Inductive.thy Int.thy IntDiv.thy	\
     1.6    Lattices.thy List.thy Main.thy Map.thy Nat.thy NatBin.thy	\
     1.7 -  OrderedGroup.thy Orderings.thy Power.thy PreList.thy	\
     1.8 +  OrderedGroup.thy Orderings.thy Power.thy	\
     1.9    Predicate.thy Product_Type.thy ROOT.ML Recdef.thy			\
    1.10    Record.thy Refute.thy Relation.thy Relation_Power.thy			\
    1.11    Ring_and_Field.thy SAT.thy Set.thy SetInterval.thy Sum_Type.thy	\