src/HOL/IsaMakefile
changeset 13908 4bdfa9f77254
parent 13906 eefdd6b14508
child 13923 019342d03d81
     1.1 --- a/src/HOL/IsaMakefile	Wed Apr 09 12:52:45 2003 +0200
     1.2 +++ b/src/HOL/IsaMakefile	Fri Apr 11 23:11:13 2003 +0200
     1.3 @@ -95,7 +95,7 @@
     1.4    Integ/NatSimprocs.thy Integ/int_arith1.ML Integ/int_arith2.ML \
     1.5    Integ/int_factor_simprocs.ML Integ/nat_simprocs.ML \
     1.6    Integ/Presburger.thy Integ/presburger.ML Integ/qelim.ML \
     1.7 -  Lfp.ML Lfp.thy List.ML List.thy Main.ML Main.thy Map.ML Map.thy Nat.ML \
     1.8 +  Lfp.ML Lfp.thy List.ML List.thy Main.ML Main.thy Map.thy Nat.ML \
     1.9    Nat.thy NatArith.ML NatArith.thy Numeral.thy \
    1.10    Power.ML Power.thy PreList.thy Product_Type.ML Product_Type.thy ROOT.ML \
    1.11    Recdef.thy Record.thy Relation.ML Relation.thy Relation_Power.ML \