| Thu, 07 Dec 1995 14:24:32 +0100 |
removed quotes from syntax and consts sections
|
file | diff | annotate |
| Fri, 24 Nov 1995 09:27:19 +0100 |
Inserted warning about defs with extra vars on rhs.
|
file | diff | annotate |
| Tue, 25 Jul 1995 16:50:48 +0200 |
trivial update
|
file | diff | annotate |
| Wed, 03 May 1995 12:04:21 +0200 |
Covers defs and re-ordering of theory sections
|
file | diff | annotate |
| Mon, 02 Jan 1995 12:16:12 +0100 |
fixed minor typos;
|
file | diff | annotate |
| Mon, 11 Jul 1994 18:26:57 +0200 |
minor edits
|
file | diff | annotate |
| Tue, 03 May 1994 10:40:24 +0200 |
post-CRC corrections
|
file | diff | annotate |
| Fri, 22 Apr 1994 18:08:57 +0200 |
final Springer copy
|
file | diff | annotate |
| Fri, 15 Apr 1994 11:35:44 +0200 |
penultimate Springer draft
|
file | diff | annotate |
| Mon, 04 Apr 1994 17:09:45 +0200 |
modifications towards final draft
|
file | diff | annotate |
| Thu, 24 Mar 1994 18:00:11 +0100 |
added section on type synonyms
|
file | diff | annotate |
| Thu, 24 Mar 1994 13:25:12 +0100 |
revisions to first Springer draft
|
file | diff | annotate |
| Sat, 19 Mar 1994 03:01:25 +0100 |
First draft of Springer book
|
file | diff | annotate |
| Fri, 26 Nov 1993 12:31:48 +0100 |
Corrected errors found by Marcus Wenzel.
|
file | diff | annotate |
| Thu, 11 Nov 1993 10:55:59 +0100 |
adapted "Defining theories" to new use_thy
|
file | diff | annotate |
| Wed, 10 Nov 1993 05:06:55 +0100 |
Initial revision
|
file | diff | annotate |