Sat, 19 Mar 1994 03:01:25 +0100 | lcp | First draft of Springer book | file | diff | annotate |
Fri, 26 Nov 1993 12:31:48 +0100 | lcp | Corrected errors found by Marcus Wenzel. | file | diff | annotate |
Thu, 11 Nov 1993 10:55:59 +0100 | clasohm | adapted "Defining theories" to new use_thy | file | diff | annotate |
Wed, 10 Nov 1993 05:06:55 +0100 | lcp | Initial revision | file | diff | annotate |