| Thu, 10 Aug 1995 13:14:34 +0200 | paulson | Trivial reformatting of reference | file | diff | annotate |
| Wed, 19 Jul 1995 15:53:43 +0200 | nipkow | Updated nipkow-prehofer | file | diff | annotate |
| Tue, 03 May 1994 18:38:28 +0200 | lcp | final Springer version | file | diff | annotate |
| Wed, 10 Nov 1993 05:06:55 +0100 | lcp | Initial revision | file | diff | annotate |