| Thu, 29 Dec 2011 10:47:55 +0100 | haftmann | attribute code_abbrev superseedes code_unfold_post | file | diff | annotate |
| Mon, 26 Dec 2011 22:17:10 +0100 | haftmann | incorporated More_Set and More_List into the Main body -- to be consolidated later | file | diff | annotate |
| Sat, 24 Dec 2011 15:55:03 +0100 | haftmann | executable intervals | file | diff | annotate |
| Wed, 28 Sep 2011 09:55:11 +0200 | nipkow | Added Hoare-like Abstract Interpretation | file | diff | annotate | base |