Removed theory NatDef.
--- a/src/HOL/IsaMakefile Mon Aug 05 14:32:56 2002 +0200
+++ b/src/HOL/IsaMakefile Mon Aug 05 14:35:33 2002 +0200
@@ -92,7 +92,7 @@
Integ/NatSimprocs.thy Integ/int_arith1.ML Integ/int_arith2.ML \
Integ/int_factor_simprocs.ML Integ/nat_simprocs.ML \
Lfp.ML Lfp.thy List.ML List.thy Main.ML Main.thy Map.ML Map.thy Nat.ML \
- Nat.thy NatArith.ML NatArith.thy NatDef.ML NatDef.thy Numeral.thy \
+ Nat.thy NatArith.ML NatArith.thy Numeral.thy \
Power.ML Power.thy PreList.thy Product_Type.ML Product_Type.thy ROOT.ML \
Recdef.thy Record.thy Relation.ML Relation.thy Relation_Power.ML \
Relation_Power.thy Set.ML Set.thy SetInterval.ML SetInterval.thy \