Thu, 01 Jul 2010 16:54:44 +0200 |
haftmann |
"prod" and "sum" replace "*" and "+" respectively
|
file |
diff |
annotate
|
Wed, 02 Jun 2010 15:35:13 +0200 |
haftmann |
modernized
|
file |
diff |
annotate
|
Sat, 17 Oct 2009 14:43:18 +0200 |
wenzelm |
eliminated hard tabulators, guessing at each author's individual tab-width;
|
file |
diff |
annotate
|
Fri, 06 Feb 2009 15:15:32 +0100 |
haftmann |
session Reflecion renamed to Decision_Procs, moved Dense_Linear_Order there
|
file |
diff |
annotate
|
Sun, 24 Aug 2008 14:42:24 +0200 |
haftmann |
default replaces arbitrary
|
file |
diff |
annotate
|
Wed, 02 Jul 2008 07:12:17 +0200 |
haftmann |
code antiquotation roaring ahead
|
file |
diff |
annotate
|
Tue, 13 Nov 2007 10:54:40 +0100 |
berghofe |
Moved nat_eq_dec and search to Util.thy
|
file |
diff |
annotate
|
Mon, 20 Aug 2007 18:07:49 +0200 |
haftmann |
renamed code_gen to export_code
|
file |
diff |
annotate
|
Mon, 13 Aug 2007 21:22:37 +0200 |
haftmann |
renamed keyword "to" to "module_name"
|
file |
diff |
annotate
|
Thu, 19 Jul 2007 21:47:39 +0200 |
haftmann |
uniform naming conventions for CG theories
|
file |
diff |
annotate
|
Mon, 16 Jul 2007 09:29:03 +0200 |
haftmann |
dropped outer ROOT structure for generated code
|
file |
diff |
annotate
|
Thu, 10 May 2007 10:22:17 +0200 |
haftmann |
consts in consts_code Isar commands are now referred to by usual term syntax
|
file |
diff |
annotate
|
Sun, 06 May 2007 21:50:17 +0200 |
haftmann |
changed code generator invocation syntax
|
file |
diff |
annotate
|
Fri, 20 Apr 2007 11:21:35 +0200 |
haftmann |
tuned
|
file |
diff |
annotate
|
Fri, 23 Mar 2007 09:40:50 +0100 |
haftmann |
tuned
|
file |
diff |
annotate
|
Mon, 27 Nov 2006 13:42:30 +0100 |
haftmann |
adjusted syntax for internal code generation
|
file |
diff |
annotate
|
Fri, 17 Nov 2006 02:20:03 +0100 |
wenzelm |
more robust syntax for definition/abbreviation/notation;
|
file |
diff |
annotate
|
Tue, 31 Oct 2006 14:58:16 +0100 |
haftmann |
cleaned up
|
file |
diff |
annotate
|
Fri, 20 Oct 2006 10:44:39 +0200 |
haftmann |
slight adaption
|
file |
diff |
annotate
|
Tue, 10 Oct 2006 09:17:19 +0200 |
haftmann |
added code_constsubst
|
file |
diff |
annotate
|
Mon, 02 Oct 2006 23:00:53 +0200 |
haftmann |
added example for code_gen
|
file |
diff |
annotate
|
Tue, 19 Sep 2006 15:21:52 +0200 |
haftmann |
added some stuff for code generation 2
|
file |
diff |
annotate
|
Fri, 23 Sep 2005 16:05:42 +0200 |
nipkow |
rules -> iprover
|
file |
diff |
annotate
|
Thu, 25 Aug 2005 16:13:09 +0200 |
berghofe |
Adapted to new code generator syntax.
|
file |
diff |
annotate
|
Sat, 06 Aug 2005 18:06:56 +0200 |
berghofe |
Tuned comment.
|
file |
diff |
annotate
|
Fri, 05 Aug 2005 19:57:57 +0200 |
berghofe |
New case study: pigeonhole principle.
|
file |
diff |
annotate
|