| Thu, 11 Jul 1996 15:00:38 +0200 |
paulson |
Documentation of oracles and their syntax
|
file |
diff |
annotate
|
| Thu, 04 Apr 1996 18:01:47 +0200 |
nipkow |
Added 'constdefs'
|
file |
diff |
annotate
|
| Fri, 09 Feb 1996 18:25:27 +0100 |
nipkow |
Added typevarlist
|
file |
diff |
annotate
|
| Fri, 01 Dec 1995 14:20:09 +0100 |
clasohm |
changed typeDecl
|
file |
diff |
annotate
|
| Fri, 01 Dec 1995 13:41:48 +0100 |
clasohm |
corrected diagrams for type and simpleType
|
file |
diff |
annotate
|
| Fri, 01 Dec 1995 12:26:42 +0100 |
clasohm |
modified simpleType
|
file |
diff |
annotate
|
| Thu, 30 Nov 1995 12:58:44 +0100 |
clasohm |
removed spaghetti diagrams for constType
|
file |
diff |
annotate
|
| Wed, 29 Nov 1995 16:58:30 +0100 |
clasohm |
changed syntax diagrams according to quote-less consts and syntax section
|
file |
diff |
annotate
|
| Wed, 21 Jun 1995 11:35:10 +0200 |
nipkow |
Added remark that \...\ in strings is unnecessary.
|
file |
diff |
annotate
|
| Wed, 03 May 1995 08:58:32 +0200 |
nipkow |
Simplified layout a little.
|
file |
diff |
annotate
|
| Tue, 02 May 1995 19:59:06 +0200 |
nipkow |
Sections can now be given in any order.
|
file |
diff |
annotate
|
| Fri, 15 Apr 1994 17:50:14 +0200 |
lcp |
penultimate Springer draft
|
file |
diff |
annotate
|
| Wed, 23 Mar 1994 16:56:44 +0100 |
nipkow |
have broken line
|
file |
diff |
annotate
|
| Mon, 21 Mar 1994 10:51:28 +0100 |
lcp |
first draft of Springer book
|
file |
diff |
annotate
|