Mon, 11 Oct 2004 07:42:22 +0200 | nipkow | Proofs needed to be updated because induction now preserves name of | file | diff | annotate |
Tue, 03 Aug 2004 13:48:00 +0200 | paulson | new simprules Int_subset_iff and Un_subset_iff | file | diff | annotate |
Fri, 21 Mar 2003 18:16:18 +0100 | paulson | More on progress sets | file | diff | annotate |
Mon, 17 Mar 2003 17:37:48 +0100 | paulson | More "progress set" material | file | diff | annotate |
Fri, 14 Mar 2003 10:30:46 +0100 | paulson | Proved the main lemma on progress sets | file | diff | annotate |
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 |