| Wed, 11 Jul 2007 11:46:44 +0200 |
berghofe |
Adapted to new inductive definition package.
|
file |
diff |
annotate
|
| Sun, 10 Dec 2006 07:12:26 +0100 |
nipkow |
Modified lattice locale
|
file |
diff |
annotate
|
| 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
|