--- a/src/HOL/IsaMakefile Tue Apr 22 08:33:23 2008 +0200
+++ b/src/HOL/IsaMakefile Tue Apr 22 10:31:15 2008 +0200
@@ -97,7 +97,7 @@
Finite_Set.thy Fun.thy FunDef.thy HOL.thy \
Hilbert_Choice.thy Inductive.thy Int.thy IntDiv.thy \
Lattices.thy List.thy Main.thy Map.thy Nat.thy NatBin.thy \
- OrderedGroup.thy Orderings.thy Power.thy PreList.thy \
+ OrderedGroup.thy Orderings.thy Power.thy \
Predicate.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 Sum_Type.thy \