| 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 |