| Wed, 22 Dec 1999 20:29:36 +0100 |
wenzelm |
fixed error msg;
|
changeset |
files
|
| Wed, 22 Dec 1999 20:29:19 +0100 |
wenzelm |
marg_comment: repeat;
|
changeset |
files
|
| Wed, 22 Dec 1999 20:28:56 +0100 |
wenzelm |
text: string list;
|
changeset |
files
|
| Wed, 22 Dec 1999 17:20:01 +0100 |
paulson |
tidied, with a bit more progress
|
changeset |
files
|
| Wed, 22 Dec 1999 17:18:03 +0100 |
paulson |
Working version after a FAILED attempt to base Follows upon LeadsETo
|
changeset |
files
|
| Wed, 22 Dec 1999 17:16:53 +0100 |
paulson |
new weakening laws
|
changeset |
files
|
| Wed, 22 Dec 1999 17:16:23 +0100 |
paulson |
removing the "{} : CC" requirement for leadsTo[CC]
|
changeset |
files
|
| Wed, 22 Dec 1999 16:13:29 +0100 |
kleing |
back to old sml version (due to c library problems)
|
changeset |
files
|
| Wed, 22 Dec 1999 16:12:38 +0100 |
kleing |
some tuning (incorporated David's suggestions)
|
changeset |
files
|
| Tue, 21 Dec 1999 15:03:02 +0100 |
paulson |
working with weak LeadsTo in guarantees precondition\!
|
changeset |
files
|
| Tue, 21 Dec 1999 11:27:32 +0100 |
oheimb |
corrected, improved eMail addresses, user interface section
|
changeset |
files
|
| 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
|
| Tue, 07 Dec 1999 12:13:09 +0100 |
wenzelm |
tuned;
|
changeset |
files
|