# HG changeset patch
# User paulson
# Date 958379612 -7200
# Node ID 76b9219da1970a5c567951d37b14c4d4933518c3
# Parent  e900a58cafe453fe7341333c5b2500490c181784
added the dummy theory Integ/NatSimprocs.thy

diff -r e900a58cafe4 -r 76b9219da197 src/HOL/IsaMakefile
--- a/src/HOL/IsaMakefile	Fri May 12 15:21:58 2000 +0200
+++ b/src/HOL/IsaMakefile	Mon May 15 10:33:32 2000 +0200
@@ -51,7 +51,8 @@
   Integ/Equiv.ML Integ/Equiv.thy Integ/IntArith.ML Integ/IntArith.thy \
   Integ/IntDef.ML Integ/IntDef.thy Integ/Int.ML Integ/Int.thy \
   Integ/IntDiv.ML Integ/IntDiv.thy Integ/NatBin.ML Integ/NatBin.thy \
-  Integ/NatSimprocs.ML Lfp.ML Lfp.thy List.ML List.thy Main.thy Map.ML \
+  Integ/NatSimprocs.thy Integ/NatSimprocs.ML \
+  Lfp.ML Lfp.thy List.ML List.thy Main.thy Map.ML \
   Map.thy Nat.ML Nat.thy NatDef.ML NatDef.thy Numeral.thy Option.ML \
   Option.thy Ord.ML Ord.thy Power.ML Power.thy PreList.thy Prod.ML \
   Prod.thy ROOT.ML Recdef.thy Record.thy RelPow.ML RelPow.thy \