Wed, 07 Feb 1996 12:22:32 +0100 |
nipkow |
Modified datatype com.
|
file |
diff |
annotate
|
Mon, 05 Feb 1996 21:29:06 +0100 |
clasohm |
expanded tabs; incorporated Konrad's changes
|
file |
diff |
annotate
|
Tue, 23 Jan 1996 10:59:35 +0100 |
nipkow |
Added a verified verification-condition generator.
|
file |
diff |
annotate
|
Wed, 29 Nov 1995 17:01:41 +0100 |
clasohm |
removed quotes from consts and syntax sections
|
file |
diff |
annotate
|
Fri, 24 Mar 1995 12:30:35 +0100 |
clasohm |
changed syntax of tuples from <..., ...> to (..., ...)
|
file |
diff |
annotate
|
Wed, 08 Mar 1995 10:25:50 +0100 |
nipkow |
Added pretty-printing coments
|
file |
diff |
annotate
|
Tue, 07 Mar 1995 15:00:34 +0100 |
nipkow |
*** empty log message ***
|
file |
diff |
annotate
|
Tue, 07 Mar 1995 14:59:24 +0100 |
nipkow |
*** empty log message ***
|
file |
diff |
annotate
|
Tue, 07 Mar 1995 14:57:37 +0100 |
nipkow |
Hoare logic
|
file |
diff |
annotate
|