| Fri, 31 May 2013 07:25:55 +0200 | nipkow | used nice syntax, removed lemma because it makes a nice exercise. | file | diff | annotate |
| Tue, 28 May 2013 08:29:35 +0200 | nipkow | tuned | file | diff | annotate |
| Fri, 17 May 2013 08:19:52 +0200 | nipkow | replaced `;' by `;;' to disambiguate syntax; unexpected slight increase in build time | file | diff | annotate |
| Fri, 07 Dec 2012 16:38:25 +0100 | nipkow | tuned text | file | diff | annotate |
| Sat, 28 Apr 2012 07:38:22 +0200 | nipkow | renamed Semi to Seq | file | diff | annotate |
| Tue, 13 Dec 2011 21:15:38 +0100 | nipkow | added concrete syntax | file | diff | annotate |
| Sat, 03 Dec 2011 21:25:34 +0100 | nipkow | invariant holds before loop | file | diff | annotate |