2003-03-10 | ballarin | First distributed version of Group and Ring theory. | changeset | files |
2003-03-10 | paulson | New theory ProgressSets. Definition of closure sets | changeset | files |
2003-03-10 | paulson | spelling | changeset | files |
2003-03-06 | paulson | new UNITY examples theory | changeset | files |
2003-03-06 | paulson | new logical equivalences | changeset | files |
2003-03-06 | paulson | new simprule for int (nat n) | changeset | files |
Loading... |