| Wed, 17 Jul 1996 15:25:50 +0200 | paulson | Edited in response to referees comments; new references | file | diff | annotate |
| Fri, 28 Jun 1996 11:19:56 +0200 | paulson | Updated reference to Slinds paper on TFL | file | diff | annotate |
| Thu, 25 Apr 1996 11:44:34 +0200 | paulson | automatic updates | file | diff | annotate |
| Tue, 05 Mar 1996 10:58:52 +0100 | paulson | Fuller and more up-to-date references | file | diff | annotate |
| Thu, 18 Jan 1996 10:38:29 +0100 | paulson | trivial updates | file | diff | annotate |
| Tue, 25 Jul 1995 16:43:55 +0200 | lcp | trivial update | file | diff | annotate |
| Tue, 13 Sep 1994 10:26:24 +0200 | lcp | minor updates | file | diff | annotate |
| Wed, 23 Mar 1994 13:05:12 +0100 | lcp | first draft of Springer volume | file | diff | annotate |
| Wed, 10 Nov 1993 05:00:57 +0100 | lcp | Initial revision | file | diff | annotate |