Mon, 21 Mar 1994 11:02:57 +0100 | lcp | first draft of Springer book | file | diff | annotate |
Fri, 26 Nov 1993 16:35:38 +0100 | lcp | Minor edits to discussion of use_thy | file | diff | annotate |
Fri, 26 Nov 1993 13:00:35 +0100 | lcp | Correction to eta-contraction; thanks to Markus W. | file | diff | annotate |
Thu, 25 Nov 1993 14:23:04 +0100 | wenzelm | corrected trivial typo; | file | diff | annotate |
Thu, 25 Nov 1993 10:29:40 +0100 | clasohm | added index commands, removed last paragraph of "Using Poly/ML" | file | diff | annotate |
Mon, 22 Nov 1993 16:03:36 +0100 | clasohm | added chapter "Defining Theories" and made changes for new Readthy functions | file | diff | annotate |
Wed, 10 Nov 1993 05:00:57 +0100 | lcp | Initial revision | file | diff | annotate |