| Mon, 04 Oct 1999 13:47:28 +0200 | paulson | working snapshot (even Alloc) | file | diff | annotate |
| Thu, 30 Sep 1999 10:06:56 +0200 | paulson | now with (weak safety) guarantees (weak progress) with Extend | file | diff | annotate |
| Wed, 29 Sep 1999 13:13:06 +0200 | paulson | working snapshot with new theory "Project" | file | diff | annotate |