# HG changeset patch
# User berghofe
# Date 1028550933 -7200
# Node ID f88a91ff8ac62af9ccf0c094975dfbf3c02d155d
# Parent  01e2496dee0519914aa9acb6825d379a185fcfe7
Removed theory NatDef.

diff -r 01e2496dee05 -r f88a91ff8ac6 src/HOL/IsaMakefile
--- 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 \