| Fri, 17 Dec 1999 10:30:48 +0100 |
paulson |
now workign as far as System_Alloc_Progress
|
changeset |
files
|
| Thu, 16 Dec 1999 17:01:16 +0100 |
paulson |
SOUNDNESS BUG FIX for rotate_rule. The original code did not expect
|
changeset |
files
|
| Wed, 15 Dec 1999 10:45:37 +0100 |
paulson |
first working version to Alloc/System_Client_Progress;
|
changeset |
files
|
| Mon, 13 Dec 1999 10:54:04 +0100 |
paulson |
expandshort
|
changeset |
files
|
| Thu, 09 Dec 1999 18:33:39 +0100 |
kleing |
dist page now in page/dist-{content|layout}
|
changeset |
files
|
| Thu, 09 Dec 1999 13:35:01 +0100 |
wenzelm |
updated;
|
changeset |
files
|
| Thu, 09 Dec 1999 13:14:27 +0100 |
kleing |
prettyfied
|
changeset |
files
|
| Thu, 09 Dec 1999 13:11:12 +0100 |
kleing |
full url to local (munich) page
|
changeset |
files
|
| Thu, 09 Dec 1999 13:10:39 +0100 |
kleing |
new web pages integrated
|
changeset |
files
|
| Thu, 09 Dec 1999 12:12:45 +0100 |
kleing |
used for new weg page layout
|
changeset |
files
|
| Thu, 09 Dec 1999 11:40:00 +0100 |
kleing |
ID line added
|
changeset |
files
|
| Thu, 09 Dec 1999 11:34:32 +0100 |
kleing |
new webpage layout
|
changeset |
files
|
| Wed, 08 Dec 1999 13:53:29 +0100 |
paulson |
abolition of localTo: instead "guarantees" has local vars as extra argument
|
changeset |
files
|
| Wed, 08 Dec 1999 13:52:36 +0100 |
paulson |
used image_eq_UN to speed up slow proofs of base cases
|
changeset |
files
|
| Wed, 08 Dec 1999 13:51:44 +0100 |
paulson |
useful lemma eqset_imp_iff
|
changeset |
files
|
| Tue, 07 Dec 1999 17:14:49 +0100 |
wenzelm |
tuned;
|
changeset |
files
|