# HG changeset patch
# User haftmann
# Date 1208853075 -7200
# Node ID 3d46c55f03affcfad60e1f6bb449c4cad93ea461
# Parent  e6091328718f320182100743000b308ef8d70f9a
dropped theory PreList

diff -r e6091328718f -r 3d46c55f03af src/HOL/IsaMakefile
--- 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	\