Sun, 12 Nov 2006 19:22:10 +0100 |
nipkow |
started reorgnization of lattice theories
|
file |
diff |
annotate
|
Fri, 13 Oct 2006 18:29:31 +0200 |
berghofe |
Adapted to changes in FixedPoint theory.
|
file |
diff |
annotate
|
Fri, 17 Jun 2005 16:12:49 +0200 |
haftmann |
migrated theory headers to new format
|
file |
diff |
annotate
|
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
|