| Fri, 10 Oct 2008 06:45:53 +0200 |
`code func` now just `code`
|
file | diff | annotate |
| Sat, 06 Sep 2008 14:02:36 +0200 |
dropped "run" marker in monad syntax
|
file | diff | annotate |
| Thu, 28 Aug 2008 17:54:18 +0200 |
more function -> fun
|
file | diff | annotate |
| Wed, 09 Apr 2008 17:46:17 +0200 |
renamed mbind to scomp
|
file | diff | annotate |
| Wed, 12 Mar 2008 19:38:14 +0100 |
separated Random.thy from Quickcheck.thy
|
file | diff | annotate |
| Wed, 12 Mar 2008 08:47:37 +0100 |
continued
|
file | diff | annotate |
| Tue, 26 Feb 2008 07:59:59 +0100 |
some steps towards automated generators
|
file | diff | annotate |
| Wed, 06 Feb 2008 08:34:51 +0100 |
continued
|
file | diff | annotate |
| Mon, 04 Feb 2008 10:52:40 +0100 |
towards quickcheck
|
file | diff | annotate |
| Fri, 12 Oct 2007 08:21:09 +0200 |
consolidated naming conventions for code generator theories
|
file | diff | annotate |
| Tue, 18 Sep 2007 16:08:00 +0200 |
simplified type int (eliminated IntInf.int, integer);
|
file | diff | annotate |
| Fri, 10 Aug 2007 17:10:09 +0200 |
tuned
|
file | diff | annotate |
| Sun, 29 Jul 2007 14:29:59 +0200 |
marked some CRITICAL sections;
|
file | diff | annotate |
| Sun, 06 May 2007 21:50:17 +0200 |
changed code generator invocation syntax
|
file | diff | annotate |
| Thu, 26 Apr 2007 13:32:59 +0200 |
moved code generation pretty integers and characters to separate theories
|
file | diff | annotate |
| Tue, 27 Mar 2007 12:28:42 +0200 |
cleaned up HOL/ex/Code*.thy
|
file | diff | annotate |