# 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 \