| Wed, 07 May 1997 17:21:24 +0200 | wenzelm | tuned spaces; | file | diff | annotate |
| Wed, 07 May 1997 16:29:06 +0200 | paulson | New acknowledgements; fixed overfull lines and tables | file | diff | annotate |
| Tue, 06 May 1997 12:50:16 +0200 | wenzelm | misc updates, tuning, cleanup; | file | diff | annotate |
| Thu, 07 Dec 1995 14:24:32 +0100 | clasohm | removed quotes from syntax and consts sections | file | diff | annotate |
| Wed, 18 Jan 1995 10:17:55 +0100 | wenzelm | quite a lot of minor and major revisions (inspecting theories, read_axm, | file | diff | annotate |
| Fri, 29 Jul 1994 13:30:48 +0200 | lcp | deleted repeated "the" in "before the the .thy file" | file | diff | annotate |
| Fri, 22 Apr 1994 18:18:37 +0200 | lcp | final Springer copy | file | diff | annotate |
| Fri, 15 Apr 1994 17:16:23 +0200 | lcp | penultimate Springer draft | file | diff | annotate |