Wed, 24 May 2000 18:50:08 +0200 | paulson | setsum is now overloaded on plus_ac0; lemmas about lessThan, etc. | changeset | files |
Wed, 24 May 2000 18:49:05 +0200 | paulson | setsum is now overloaded on plus_ac0 | changeset | files |
Wed, 24 May 2000 18:48:22 +0200 | paulson | installing plus_ac0 for nat | changeset | files |