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
|