| Fri, 17 May 2013 08:19:52 +0200 | nipkow | replaced `;' by `;;' to disambiguate syntax; unexpected slight increase in build time | file | diff | annotate |
| Thu, 16 May 2013 11:27:34 +0200 | nipkow | tuned | file | diff | annotate |
| Thu, 16 May 2013 02:13:23 +0200 | nipkow | finally: acom with pointwise access and update of annotations | file | diff | annotate |
| Tue, 14 May 2013 06:54:31 +0200 | nipkow | tuned names | file | diff | annotate |
| Tue, 30 Apr 2013 03:18:07 +0200 | nipkow | canonical names of classes | file | diff | annotate |
| Mon, 29 Apr 2013 11:31:40 +0200 | nipkow | tuned | file | diff | annotate |
| Fri, 26 Apr 2013 13:12:14 +0200 | nipkow | more standard argument order | file | diff | annotate |
| Fri, 26 Apr 2013 09:41:45 +0200 | nipkow | more standard order of arguments | file | diff | annotate |
| Fri, 26 Apr 2013 07:49:38 +0200 | nipkow | simplified def | file | diff | annotate |
| Wed, 24 Apr 2013 12:25:56 +0200 | nipkow | tuned | file | diff | annotate |
| Wed, 24 Apr 2013 10:23:47 +0200 | nipkow | moved defs into locale to reduce unnecessary polymorphism; tuned | file | diff | annotate |
| Sat, 20 Apr 2013 20:57:49 +0200 | nipkow | proved termination for fun-based AI | file | diff | annotate |
| Sat, 20 Apr 2013 19:30:04 +0200 | nipkow | tuned | file | diff | annotate |
| Wed, 17 Apr 2013 20:53:26 +0200 | nipkow | moved leastness lemma | file | diff | annotate |
| Thu, 11 Apr 2013 15:10:22 +0200 | nipkow | tuned | file | diff | annotate |