| Fri, 10 Oct 2008 06:45:53 +0200 | haftmann | `code func` now just `code` | file | diff | annotate |
| Sat, 06 Sep 2008 14:02:36 +0200 | haftmann | dropped "run" marker in monad syntax | file | diff | annotate |
| Thu, 28 Aug 2008 17:54:18 +0200 | krauss | more function -> fun | file | diff | annotate |
| Wed, 09 Apr 2008 17:46:17 +0200 | haftmann | renamed mbind to scomp | file | diff | annotate |
| Wed, 12 Mar 2008 19:38:14 +0100 | haftmann | separated Random.thy from Quickcheck.thy | file | diff | annotate |
| Wed, 12 Mar 2008 08:47:37 +0100 | haftmann | continued | file | diff | annotate |
| Tue, 26 Feb 2008 07:59:59 +0100 | haftmann | some steps towards automated generators | file | diff | annotate |