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 |