Tue, 18 Apr 2000 15:54:31 +0200 | paulson | tidied | changeset | files |
Tue, 18 Apr 2000 15:53:50 +0200 | paulson | instantiates new simprocs for numerals of type "nat" | changeset | files |
Tue, 18 Apr 2000 15:51:59 +0200 | paulson | new simprocs for numerals of type "nat" | changeset | files |