src/HOL/IsaMakefile
changeset 15513 1a2aedd20d37
parent 15481 fc075ae929e4
child 15531 08c8dad8e399
     1.1 --- a/src/HOL/IsaMakefile	Wed Feb 09 18:50:09 2005 +0100
     1.2 +++ b/src/HOL/IsaMakefile	Wed Feb 09 18:51:02 2005 +0100
     1.3 @@ -91,7 +91,7 @@
     1.4    Integ/IntDiv.thy Integ/NatBin.thy Integ/NatSimprocs.thy Integ/Parity.thy \
     1.5    Integ/int_arith1.ML Integ/int_factor_simprocs.ML Integ/nat_simprocs.ML \
     1.6    Integ/Presburger.thy Integ/presburger.ML Integ/qelim.ML \
     1.7 -  Lfp.thy List.ML List.thy Main.ML Main.thy Map.thy\
     1.8 +  Lattice_Locales.thy Lfp.thy List.ML List.thy Main.ML Main.thy Map.thy\
     1.9    Nat.ML Nat.thy NatArith.thy Power.thy PreList.thy Product_Type.thy \
    1.10    Refute.thy ROOT.ML \
    1.11    Recdef.thy Reconstruction.thy Record.thy Relation.ML Relation.thy \