| Wed, 26 Sep 2012 03:16:40 +0200 | nipkow | tuned | file | diff | annotate |
| Wed, 26 Sep 2012 03:03:11 +0200 | nipkow | added counterexamples | file | diff | annotate |
| Tue, 25 Sep 2012 07:37:42 +0200 | nipkow | tuned | file | diff | annotate |
| Mon, 24 Sep 2012 14:22:07 +0200 | nipkow | generalized types | file | diff | annotate |
| Mon, 24 Sep 2012 06:58:09 +0200 | nipkow | tuned termination proof | file | diff | annotate |
| Fri, 21 Sep 2012 13:39:30 +0200 | nipkow | more termination proofs | file | diff | annotate |
| Mon, 17 Sep 2012 02:25:38 +0200 | nipkow | tuned | file | diff | annotate |
| Sun, 16 Sep 2012 11:50:03 +0200 | nipkow | converted wt into a set, tuned names | file | diff | annotate |
| Fri, 07 Sep 2012 07:20:55 +0200 | nipkow | adjusted examples | file | diff | annotate |
| Mon, 03 Sep 2012 15:41:06 +0200 | nipkow | added annotations after condition in if and while | file | diff | annotate |
| Fri, 10 Aug 2012 17:17:05 +0200 | nipkow | Improved complete lattice formalisation - no more index set. | file | diff | annotate |
| Thu, 19 Apr 2012 20:19:13 +0200 | nipkow | added revised version of Abs_Int | file | diff | annotate |