| 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
|