| Thu, 27 Sep 2012 10:20:38 +0200 | nipkow | tuned | file | diff | annotate |
| Thu, 20 Sep 2012 11:42:40 +0200 | nipkow | tuned | file | diff | annotate |
| Wed, 05 Sep 2012 08:32:59 +0200 | nipkow | tuned | file | diff | annotate |
| Mon, 03 Sep 2012 15:41:06 +0200 | nipkow | added annotations after condition in if and while | file | diff | annotate |
| Sat, 28 Apr 2012 07:38:22 +0200 | nipkow | renamed Semi to Seq | file | diff | annotate |
| Thu, 19 Apr 2012 20:19:13 +0200 | nipkow | added revised version of Abs_Int | file | diff | annotate |
| 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 |