Mon, 09 Oct 2000 10:18:21 +0200 |
nipkow |
*** empty log message ***
|
changeset |
files
|
Mon, 09 Oct 2000 09:33:45 +0200 |
nipkow |
@ -> SOME
|
changeset |
files
|
Sun, 08 Oct 2000 19:58:26 +0200 |
wenzelm |
tuned;
|
changeset |
files
|
Fri, 06 Oct 2000 17:35:58 +0200 |
wenzelm |
final tuning;
Isabelle99-1
|
changeset |
files
|
Fri, 06 Oct 2000 17:22:15 +0200 |
wenzelm |
tuned;
|
changeset |
files
|
Fri, 06 Oct 2000 17:21:46 +0200 |
wenzelm |
tuned;
|
changeset |
files
|
Fri, 06 Oct 2000 17:18:35 +0200 |
wenzelm |
tuned;
|
changeset |
files
|
Fri, 06 Oct 2000 16:18:30 +0200 |
wenzelm |
* HOL/IMPP: extension of IMP with local variables and mutually
|
changeset |
files
|
Fri, 06 Oct 2000 16:14:03 +0200 |
wenzelm |
updated, improved;
|
changeset |
files
|
Fri, 06 Oct 2000 16:11:53 +0200 |
wenzelm |
tuned;
|
changeset |
files
|
Fri, 06 Oct 2000 15:15:19 +0200 |
wenzelm |
draft for 99-1;
|
changeset |
files
|
Fri, 06 Oct 2000 14:19:48 +0200 |
wenzelm |
tuned;
|
changeset |
files
|