| Tue, 11 Mar 2003 14:13:20 +0100 | berghofe | addsplits / delsplits no longer ignore type of constant. | changeset | files |
| Mon, 10 Mar 2003 17:25:34 +0100 | ballarin | First distributed version of Group and Ring theory. | changeset | files |
| Mon, 10 Mar 2003 16:21:06 +0100 | paulson | New theory ProgressSets. Definition of closure sets | changeset | files |