| Tue, 20 Jun 2000 11:53:16 +0200 | paulson | changed the Schubert Steamroller proof | changeset | files |
| Tue, 20 Jun 2000 11:52:38 +0200 | paulson | another brick in the wall | changeset | files |
| 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 |
| Tue, 20 Jun 2000 11:41:25 +0200 | paulson | now setsum f A = 0 unless A is finite | changeset | files |
| Tue, 20 Jun 2000 11:41:07 +0200 | paulson | now setsum f A = 0 unless A is finite; proved setsum_cong | changeset | files |
| Fri, 16 Jun 2000 14:02:41 +0200 | paulson | real simprocs | changeset | files |