| 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 |
| Mon, 26 Jun 2000 16:53:55 +0200 | wenzelm | avoid \< in input; | file | diff | annotate |
| Fri, 23 Jun 2000 10:33:46 +0200 | paulson | added the allocator refinement proof | file | diff | annotate |
| Thu, 22 Jun 2000 11:36:08 +0200 | paulson | working proofs of the basic merge and distributor properties | file | diff | annotate |
| Tue, 20 Jun 2000 11:52:38 +0200 | paulson | another brick in the wall | file | diff | annotate |
| Fri, 02 Jun 2000 18:32:04 +0200 | paulson | The Allocator Implementation (not yet working) | file | diff | annotate |