| Fri, 15 Aug 2003 13:07:01 +0200 |
paulson |
A document for UNITY
|
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
|
| Fri, 24 Jan 2003 18:13:59 +0100 |
paulson |
More conversion of UNITY to Isar new-style theories
|
file |
diff |
annotate
|
| Fri, 18 Feb 2000 15:20:44 +0100 |
paulson |
New treatment of "guarantees" with polymorphic components and bijections.
|
file |
diff |
annotate
|
| Fri, 06 Aug 1999 17:29:18 +0200 |
paulson |
re-organization of theorems from Alloc and PPROD, partly into new theory
|
file |
diff |
annotate
|
| Wed, 23 Jun 1999 10:39:35 +0200 |
paulson |
renamed PPI to plam
|
file |
diff |
annotate
|
| Thu, 17 Jun 1999 10:39:30 +0200 |
paulson |
addition of drop_... operators with new results and simplification of old ones
|
file |
diff |
annotate
|
| Mon, 01 Mar 1999 18:38:43 +0100 |
paulson |
removed the infernal States, eqStates, compatible, etc.
|
file |
diff |
annotate
|
| Mon, 07 Dec 1998 18:26:46 +0100 |
paulson |
towards handling sharing of variables
|
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
|
| Wed, 25 Nov 1998 15:55:00 +0100 |
paulson |
guarantees laws
|
file |
diff |
annotate
|
| Mon, 16 Nov 1998 13:58:56 +0100 |
paulson |
new theory PPROD
|
file |
diff |
annotate
|