| Thu, 05 Feb 2004 10:45:28 +0100 | paulson | tidying up, especially the Complex numbers | file | diff | annotate |
| Tue, 03 Feb 2004 11:06:36 +0100 | paulson | tidying of the complex numbers | file | diff | annotate |
| Thu, 11 Dec 2003 10:52:41 +0100 | paulson | removal of abel_cancel from Real | file | diff | annotate |
| Tue, 22 Jul 2003 11:03:42 +0200 | paulson | fixed simprocs | file | diff | annotate |
| Mon, 05 May 2003 18:22:31 +0200 | paulson | new session Complex for the complex numbers | file | diff | annotate |