Mon, 22 Nov 1993 18:26:46 +0100 | nipkow | minor changes | 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 |