| Fri, 18 Feb 2000 15:20:44 +0100 | paulson | New treatment of "guarantees" with polymorphic components and bijections. | file | diff | annotate |
| Thu, 13 Jan 2000 17:30:23 +0100 | paulson | working version, with Alloc now working on the same state space as the whole | file | diff | annotate |
| Tue, 30 Nov 1999 16:54:10 +0100 | paulson | working version with new theory ELT | file | diff | annotate |