new dummy theory; prevents strange errors when loading NatSimprocs.ML
authorpaulson
Fri May 12 14:57:28 2000 +0200 (2000-05-12)
changeset 8858b739f0ecc1fa
parent 8857 7ec405405dd7
child 8859 b1ea21d70c85
new dummy theory; prevents strange errors when loading NatSimprocs.ML
src/HOL/Integ/NatSimprocs.thy
     1.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.2 +++ b/src/HOL/Integ/NatSimprocs.thy	Fri May 12 14:57:28 2000 +0200
     1.3 @@ -0,0 +1,2 @@
     1.4 +theory NatSimprocs = NatBin:
     1.5 +end