# HG changeset patch
# User paulson
# Date 958136248 -7200
# Node ID b739f0ecc1fa9db85b91285a9f2744801ac3b614
# Parent  7ec405405dd7063b3569f4650399321aeb18c3a0
new dummy theory; prevents strange errors when loading NatSimprocs.ML

diff -r 7ec405405dd7 -r b739f0ecc1fa src/HOL/Integ/NatSimprocs.thy
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/src/HOL/Integ/NatSimprocs.thy	Fri May 12 14:57:28 2000 +0200
@@ -0,0 +1,2 @@
+theory NatSimprocs = NatBin:
+end