Mon, 08 May 2000 16:59:02 +0200 | paulson | tidied | changeset | files |
Mon, 08 May 2000 16:58:44 +0200 | paulson | better simplification of the result of simprocs | changeset | files |
Mon, 08 May 2000 16:58:18 +0200 | paulson | moved le_square, proved le_cube | changeset | files |