Tue, 20 Jun 2000 11:51:21 +0200 | paulson | changed a step for the improved rules for setsum | changeset | files |
Tue, 20 Jun 2000 11:50:33 +0200 | paulson | deleted a step made redundant by the improved rules for setsum | changeset | files |
Tue, 20 Jun 2000 11:42:24 +0200 | paulson | replaced the useless [p]subset_insertD by [p]subset_insert_iff | changeset | files |