| Wed, 21 Apr 2004 13:18:37 +0200 | paulson | fixed to include Real and Hyperreal | file | diff | annotate |
| Mon, 19 Apr 2004 13:49:35 +0200 | paulson | badly-needed updates | file | diff | annotate |
| Mon, 12 May 2003 18:11:44 +0200 | paulson | oops | file | diff | annotate |
| Mon, 12 May 2003 12:27:10 +0200 | paulson | some information for Complex | file | diff | annotate |