Removed theory NatDef.
authorberghofe
Mon Aug 05 14:35:33 2002 +0200 (2002-08-05)
changeset 13455f88a91ff8ac6
parent 13454 01e2496dee05
child 13456 42601eb7553f
Removed theory NatDef.
src/HOL/IsaMakefile
     1.1 --- a/src/HOL/IsaMakefile	Mon Aug 05 14:32:56 2002 +0200
     1.2 +++ b/src/HOL/IsaMakefile	Mon Aug 05 14:35:33 2002 +0200
     1.3 @@ -92,7 +92,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    Lfp.ML Lfp.thy List.ML List.thy Main.ML Main.thy Map.ML Map.thy Nat.ML \
     1.7 -  Nat.thy NatArith.ML NatArith.thy NatDef.ML NatDef.thy Numeral.thy \
     1.8 +  Nat.thy NatArith.ML NatArith.thy Numeral.thy \
     1.9    Power.ML Power.thy PreList.thy Product_Type.ML Product_Type.thy ROOT.ML \
    1.10    Recdef.thy Record.thy Relation.ML Relation.thy Relation_Power.ML \
    1.11    Relation_Power.thy Set.ML Set.thy SetInterval.ML SetInterval.thy \