Mon, 02 Jan 1995 12:16:12 +0100 |
wenzelm |
fixed minor typos;
|
file |
diff |
annotate
|
Mon, 11 Jul 1994 18:26:57 +0200 |
lcp |
minor edits
|
file |
diff |
annotate
|
Tue, 03 May 1994 10:40:24 +0200 |
lcp |
post-CRC corrections
|
file |
diff |
annotate
|
Fri, 22 Apr 1994 18:08:57 +0200 |
lcp |
final Springer copy
|
file |
diff |
annotate
|
Fri, 15 Apr 1994 11:35:44 +0200 |
lcp |
penultimate Springer draft
|
file |
diff |
annotate
|
Mon, 04 Apr 1994 17:09:45 +0200 |
lcp |
modifications towards final draft
|
file |
diff |
annotate
|
Thu, 24 Mar 1994 18:00:11 +0100 |
nipkow |
added section on type synonyms
|
file |
diff |
annotate
|
Thu, 24 Mar 1994 13:25:12 +0100 |
lcp |
revisions to first Springer draft
|
file |
diff |
annotate
|
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
|