| 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 |
| Wed, 06 Feb 2008 08:34:51 +0100 | haftmann | continued | file | diff | annotate |
| Mon, 04 Feb 2008 10:52:40 +0100 | haftmann | towards quickcheck | file | diff | annotate |
| Fri, 12 Oct 2007 08:21:09 +0200 | haftmann | consolidated naming conventions for code generator theories | file | diff | annotate |
| Tue, 18 Sep 2007 16:08:00 +0200 | wenzelm | simplified type int (eliminated IntInf.int, integer); | file | diff | annotate |
| Fri, 10 Aug 2007 17:10:09 +0200 | haftmann | tuned | file | diff | annotate |
| Sun, 29 Jul 2007 14:29:59 +0200 | wenzelm | marked some CRITICAL sections; | file | diff | annotate |
| Sun, 06 May 2007 21:50:17 +0200 | haftmann | changed code generator invocation syntax | file | diff | annotate |
| Thu, 26 Apr 2007 13:32:59 +0200 | haftmann | moved code generation pretty integers and characters to separate theories | file | diff | annotate |
| Tue, 27 Mar 2007 12:28:42 +0200 | haftmann | cleaned up HOL/ex/Code*.thy | file | diff | annotate |