| Wed, 25 Aug 1999 11:09:24 +0200 | paulson | another snapshot | file | diff | annotate |
| Fri, 06 Aug 1999 17:29:18 +0200 | paulson | re-organization of theorems from Alloc and PPROD, partly into new theory | file | diff | annotate |
| Thu, 01 Jul 1999 10:36:38 +0200 | paulson | expandshort | file | diff | annotate |
| Wed, 23 Jun 1999 10:38:09 +0200 | paulson | another non-working snapshot | file | diff | annotate |
| Thu, 17 Jun 1999 10:43:05 +0200 | paulson | another snapshot, still not working | file | diff | annotate |
| Sun, 13 Jun 1999 13:57:31 +0200 | paulson | not working but taking shape | file | diff | annotate |
| Thu, 10 Jun 1999 12:36:19 +0200 | paulson | The Allocator example: specifications | file | diff | annotate |