| Thu, 19 Aug 2004 12:35:45 +0200 | nipkow | new import syntax | file | diff | annotate |
| Tue, 03 Feb 2004 11:06:36 +0100 | paulson | tidying of the complex numbers | file | diff | annotate |
| Wed, 28 May 2003 10:48:20 +0200 | paulson | examples now use Complex_Main | file | diff | annotate |