Wed, 03 May 2000 18:33:28 +0200 | paulson | Installation of CombineNumerals for the integers | changeset | files |
Wed, 03 May 2000 18:30:29 +0200 | paulson | removed obsolete simprocs | changeset | files |
Tue, 02 May 2000 18:56:39 +0200 | paulson | removed obsolete "evenness" proofs | changeset | files |
Tue, 02 May 2000 18:55:33 +0200 | paulson | TEMPORARY REMOVAL OF TWO BROKEN EXAMPLES | changeset | files |
Tue, 02 May 2000 18:55:11 +0200 | paulson | modified for new simprocs | changeset | files |
Tue, 02 May 2000 18:54:59 +0200 | paulson | now using binary naturals | changeset | files |