| Sun, 15 Jan 2012 17:27:46 +0100 | nipkow | tuned | file | diff | annotate |
| Mon, 09 Jan 2012 11:41:38 +0100 | nipkow | added lemmas | file | diff | annotate |
| Mon, 02 Jan 2012 10:51:28 +0100 | nipkow | tuned proofs | file | diff | annotate |
| Mon, 05 Dec 2011 07:31:00 +0100 | nipkow | enforce parantheses around SKIP {_} | file | diff | annotate |
| Sun, 04 Dec 2011 18:29:16 +0100 | nipkow | improved var names | file | diff | annotate |
| Thu, 24 Nov 2011 19:58:37 +0100 | nipkow | Abstract interpretation is now based uniformly on annotated programs, | file | diff | annotate |