Tue, 09 Jan 2001 15:32:27 +0100 |
nipkow |
*** empty log message ***
|
file |
diff |
annotate
|
Sat, 23 Sep 2000 16:02:01 +0200 |
paulson |
added compatibility relation: AllowedActs, Allowed, ok,
|
file |
diff |
annotate
|
Fri, 21 Jul 2000 18:01:36 +0200 |
paulson |
much tidying in connection with the 2nd UNITY paper
|
file |
diff |
annotate
|
Thu, 29 Jun 2000 12:19:27 +0200 |
paulson |
tidied proofs using default rule equalityCE
|
file |
diff |
annotate
|
Wed, 24 May 2000 18:40:01 +0200 |
paulson |
restructuring: LessThan.ML mostly moved to HOL/SetInterval.ML
|
file |
diff |
annotate
|
Thu, 02 Mar 2000 10:29:29 +0100 |
paulson |
polished version of the Allocator using Rename
|
file |
diff |
annotate
|
Tue, 29 Feb 2000 10:57:30 +0100 |
paulson |
even Alloc works again, using "rename"
|
file |
diff |
annotate
|
Mon, 28 Feb 2000 10:49:42 +0100 |
paulson |
new mostly working version; Alloc nearly converted to "Rename"
|
file |
diff |
annotate
|
Fri, 18 Feb 2000 15:37:08 +0100 |
paulson |
Rename: theory for applying a bijection over states to a UNITY program
|
file |
diff |
annotate
|