| Tue, 03 May 1994 10:40:24 +0200 | post-CRC corrections | file | diff | annotate |
| Fri, 22 Apr 1994 18:08:57 +0200 | final Springer copy | file | diff | annotate |
| Fri, 15 Apr 1994 11:35:44 +0200 | penultimate Springer draft | file | diff | annotate |
| Mon, 04 Apr 1994 17:09:45 +0200 | modifications towards final draft | file | diff | annotate |
| Thu, 24 Mar 1994 18:00:11 +0100 | added section on type synonyms | file | diff | annotate |
| Thu, 24 Mar 1994 13:25:12 +0100 | revisions to first Springer draft | file | diff | annotate |
| Sat, 19 Mar 1994 03:01:25 +0100 | First draft of Springer book | file | diff | annotate |
| Fri, 26 Nov 1993 12:31:48 +0100 | Corrected errors found by Marcus Wenzel. | file | diff | annotate |
| Thu, 11 Nov 1993 10:55:59 +0100 | adapted "Defining theories" to new use_thy | file | diff | annotate |
| Wed, 10 Nov 1993 05:06:55 +0100 | Initial revision | file | diff | annotate |