| Mon, 10 Mar 2003 16:21:06 +0100 | paulson | New theory ProgressSets. Definition of closure sets | file | diff | annotate |
| Thu, 06 Mar 2003 15:08:38 +0100 | paulson | new UNITY examples theory | file | diff | annotate |
| Wed, 26 Feb 2003 10:48:00 +0100 | paulson | completed proofs for programs consisting of a single assignment | file | diff | annotate |
| Tue, 18 Feb 2003 15:09:14 +0100 | paulson | new theory Transformers: Meier-Sanders non-interference theory | file | diff | annotate |