| Mon, 01 Aug 2005 19:20:31 +0200 |
wenzelm |
no eq_commute;
|
file |
diff |
annotate
|
| Fri, 17 Jun 2005 16:12:49 +0200 |
haftmann |
migrated theory headers to new format
|
file |
diff |
annotate
|
| Fri, 15 Aug 2003 13:07:01 +0200 |
paulson |
A document for UNITY
|
file |
diff |
annotate
|
| Sun, 16 Feb 2003 12:17:40 +0100 |
paulson |
minor revisions
|
file |
diff |
annotate
|
| Sat, 08 Feb 2003 16:05:33 +0100 |
paulson |
converting HOL/UNITY to use unconditional fairness
|
file |
diff |
annotate
|
| Tue, 04 Feb 2003 18:12:40 +0100 |
paulson |
some x-symbols
|
file |
diff |
annotate
|
| Fri, 31 Jan 2003 20:12:44 +0100 |
paulson |
conversion to new-style theories and tidying
|
file |
diff |
annotate
|
| Wed, 29 Jan 2003 16:34:51 +0100 |
paulson |
converted more UNITY theories to new-style
|
file |
diff |
annotate
|
| Fri, 09 Nov 2001 00:09:47 +0100 |
wenzelm |
eliminated old "symbols" syntax, use "xsymbols" instead;
|
file |
diff |
annotate
|
| Sat, 23 Sep 2000 16:02:01 +0200 |
paulson |
added compatibility relation: AllowedActs, Allowed, ok,
|
file |
diff |
annotate
|
| Thu, 24 Aug 2000 12:39:24 +0200 |
paulson |
xsymbols for leads-to and Join
|
file |
diff |
annotate
|
| Wed, 08 Dec 1999 13:53:29 +0100 |
paulson |
abolition of localTo: instead "guarantees" has local vars as extra argument
|
file |
diff |
annotate
|
| Wed, 27 Oct 1999 13:03:32 +0200 |
paulson |
working again; new treatment of LocalTo
|
file |
diff |
annotate
|
| Fri, 22 Oct 1999 18:35:20 +0200 |
paulson |
ALMOST working version: LocalTo results commented out
|
file |
diff |
annotate
|
| Mon, 18 Oct 1999 15:18:24 +0200 |
paulson |
working version with localTo[C] instead of localTo
|
file |
diff |
annotate
|
| Mon, 11 Oct 1999 10:53:39 +0200 |
paulson |
working shapshot with "projecting" and "extending"
|
file |
diff |
annotate
|
| Thu, 26 Aug 1999 11:33:24 +0200 |
paulson |
extra syntax for JN, making it more like UN
|
file |
diff |
annotate
|
| Mon, 01 Mar 1999 18:38:43 +0100 |
paulson |
removed the infernal States, eqStates, compatible, etc.
|
file |
diff |
annotate
|
| Thu, 03 Dec 1998 10:45:06 +0100 |
paulson |
Addition of the States component; parts of Comp not working
|
file |
diff |
annotate
|
| Fri, 06 Nov 1998 13:20:29 +0100 |
paulson |
Revising the Client proof as suggested by Michel Charpentier. New lemmas
|
file |
diff |
annotate
|
| Thu, 15 Oct 1998 11:35:07 +0200 |
paulson |
specifications as sets of programs
|
file |
diff |
annotate
|
| Mon, 05 Oct 1998 10:22:49 +0200 |
paulson |
Join now an infix operator
|
file |
diff |
annotate
|
| Thu, 01 Oct 1998 18:28:18 +0200 |
paulson |
abstype of programs
|
file |
diff |
annotate
|
| Tue, 29 Sep 1998 15:58:47 +0200 |
paulson |
Now id:(Acts prg) is implicit
|
file |
diff |
annotate
|
| Thu, 13 Aug 1998 18:06:40 +0200 |
paulson |
Constrains, Stable, Invariant...more of the substitution axiom, but Union
|
file |
diff |
annotate
|
| Wed, 05 Aug 1998 18:21:37 +0200 |
paulson |
Null program and a few new results
|
file |
diff |
annotate
|
| Wed, 05 Aug 1998 10:56:58 +0200 |
paulson |
Union primitives and examples
|
file |
diff |
annotate
|