| Tue, 03 May 1994 18:38:28 +0200 | lcp | final Springer version | file | diff | annotate |
| Thu, 25 Nov 1993 14:43:42 +0100 | wenzelm | *** empty log message *** | file | diff | annotate |
| Thu, 25 Nov 1993 14:32:54 +0100 | clasohm | changed beginning of "Reading a new theory", added index "automatic loading" | 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 |