Mon, 18 Oct 1999 15:18:24 +0200 | paulson | working version with localTo[C] instead of localTo | file | diff | annotate |
Mon, 11 Oct 1999 10:53:39 +0200 | paulson | working shapshot with "projecting" and "extending" | file | diff | annotate |
Mon, 04 Oct 1999 13:47:28 +0200 | paulson | working snapshot (even Alloc) | file | diff | annotate |
Wed, 29 Sep 1999 13:13:06 +0200 | paulson | working snapshot with new theory "Project" | file | diff | annotate |