src/HOL/IsaMakefile

   Integ/IntDef.thy Integ/IntDiv.thy Integ/NatBin.thy				\
   Integ/NatSimprocs.thy Integ/Numeral.thy Integ/Presburger.thy			\
   Integ/cooper_dec.ML Integ/cooper_proof.ML Integ/int_arith1.ML			\
   Integ/int_factor_simprocs.ML Integ/nat_simprocs.ML Integ/presburger.ML	\
   Integ/qelim.ML Integ/reflected_cooper.ML Integ/reflected_presburger.ML	\
-  LOrder.thy Lattices.thy List.thy Main.thy Map.thy Nat.ML Nat.thy		\
+  Lattices.thy List.thy Main.thy Map.thy Nat.ML Nat.thy		\
   OrderedGroup.ML OrderedGroup.thy Orderings.thy Power.thy Predicate.thy PreList.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 Tools/res_reconstruct.ML Tools/ATP/reduce_axiomsN.ML	\
   Tools/ATP/watcher.ML Tools/cnf_funcs.ML Tools/datatype_abs_proofs.ML		\