| Fri, 10 Sep 1999 18:40:06 +0200 | paulson | working snapshot | file | diff | annotate |
| Thu, 26 Aug 1999 11:36:04 +0200 | paulson | changed "guar" back to "guarantees" (sorry) | file | diff | annotate |
| 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 |
| Wed, 23 Jun 1999 10:38:49 +0200 | paulson | renamed PPI to plam | 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:56:12 +0200 | paulson | guar; locale for the spec | file | diff | annotate |
| Thu, 10 Jun 1999 12:36:19 +0200 | paulson | The Allocator example: specifications | file | diff | annotate |