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 |