| Sun, 16 Sep 2012 11:50:03 +0200 | nipkow | converted wt into a set, tuned names | file | diff | annotate |
| Fri, 14 Sep 2012 10:01:42 +0200 | nipkow | tuned | file | diff | annotate |
| Thu, 13 Sep 2012 10:28:48 +0200 | nipkow | tuned | file | diff | annotate |
| Fri, 20 Apr 2012 10:46:55 +0200 | nipkow | forgot to add file | file | diff | annotate |
| Fri, 27 Jan 2012 17:02:08 +0100 | nipkow | removed duplicate definitions that made locale inconsistent | file | diff | annotate |
| Thu, 26 Jan 2012 09:52:47 +0100 | nipkow | tuned | file | diff | annotate |
| Sat, 31 Dec 2011 17:53:50 +0100 | nipkow | tuned types | file | diff | annotate |
| Thu, 29 Dec 2011 17:43:40 +0100 | nipkow | tuned | file | diff | annotate |
| Thu, 24 Nov 2011 19:58:37 +0100 | nipkow | Abstract interpretation is now based uniformly on annotated programs, | file | diff | annotate |
| Thu, 20 Oct 2011 09:48:00 +0200 | nipkow | renamed name -> vname | file | diff | annotate |
| Wed, 12 Oct 2011 09:16:30 +0200 | nipkow | separated monotonicity reasoning and defined narrowing with while_option | file | diff | annotate |
| Wed, 28 Sep 2011 09:55:11 +0200 | nipkow | Added Hoare-like Abstract Interpretation | file | diff | annotate |