| Mon, 03 Oct 2011 14:43:15 +0200 |
bulwahn |
adding examples with relations to Quickcheck_Examples to show that quickcheck can actually handle operators on relations as well
|
changeset |
files
|
| Mon, 03 Oct 2011 14:43:14 +0200 |
bulwahn |
adding code equations for cardinality and (reflexive) transitive closure on finite types
|
changeset |
files
|
| Mon, 03 Oct 2011 14:43:13 +0200 |
bulwahn |
adding lemma about rel_pow in Transitive_Closure for executable equation of the (refl) transitive closure
|
changeset |
files
|
| Mon, 03 Oct 2011 14:43:12 +0200 |
bulwahn |
adding lemma to List library for executable equation of the (refl) transitive closure
|
changeset |
files
|
| Thu, 29 Sep 2011 21:42:03 +0200 |
Jean Pichon |
fixed typos in IMP
|
changeset |
files
|
| Wed, 28 Sep 2011 10:35:56 +0200 |
nipkow |
added nice interval syntax
|
changeset |
files
|
| Wed, 28 Sep 2011 09:59:55 +0200 |
nipkow |
Added dependecies
|
changeset |
files
|
| Wed, 28 Sep 2011 09:55:11 +0200 |
nipkow |
Added Hoare-like Abstract Interpretation
|
changeset |
files
|
| Wed, 28 Sep 2011 08:51:55 +0200 |
nipkow |
moved IMP/AbsInt stuff into subdirectory Abs_Int_Den
|
changeset |
files
|
| Mon, 26 Sep 2011 21:13:26 +0200 |
wenzelm |
back to post-release mode;
|
changeset |
files
|
| Sun, 09 Oct 2011 17:06:19 +0200 |
wenzelm |
Added tag Isabelle2011-1 for changeset 76fef3e57004
|
changeset |
files
|
| Sun, 09 Oct 2011 16:47:58 +0200 |
wenzelm |
tuned;
Isabelle2011-1
|
changeset |
files
|