| 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
|
| Wed, 09 May 2007 07:53:08 +0200 |
haftmann |
tuned
|
file |
diff |
annotate
|
| Mon, 07 May 2007 00:49:59 +0200 |
wenzelm |
simplified DataFun interfaces;
|
file |
diff |
annotate
|
| Tue, 20 Mar 2007 15:52:41 +0100 |
haftmann |
improved treatment of defining equations stemming from specification tools
|
file |
diff |
annotate
|
| Mon, 26 Feb 2007 23:18:24 +0100 |
wenzelm |
moved eq_thm etc. to structure Thm in Pure/more_thm.ML;
|
file |
diff |
annotate
|
| Sat, 18 Nov 2006 00:20:17 +0100 |
haftmann |
tuned
|
file |
diff |
annotate
|
| Tue, 31 Oct 2006 14:58:23 +0100 |
haftmann |
introduced CodegenData.add_func_legacy
|
file |
diff |
annotate
|
| Tue, 10 Oct 2006 13:59:13 +0200 |
haftmann |
gen_rem(s) abandoned in favour of remove / subtract
|
file |
diff |
annotate
|
| Mon, 09 Oct 2006 02:19:49 +0200 |
wenzelm |
attribute: Context.mapping;
|
file |
diff |
annotate
|
| Fri, 22 Sep 2006 14:32:46 +0200 |
berghofe |
Replaced irreducible_paths by all_paths.
|
file |
diff |
annotate
|
| Tue, 19 Sep 2006 15:22:05 +0200 |
haftmann |
code generation 2 adjustments
|
file |
diff |
annotate
|
| Tue, 06 Jun 2006 14:57:13 +0200 |
haftmann |
deleted legacy
|
file |
diff |
annotate
|
| Tue, 09 May 2006 10:10:12 +0200 |
haftmann |
adaption to CodegenTheorems
|
file |
diff |
annotate
|
| Fri, 05 May 2006 21:59:43 +0200 |
wenzelm |
replaced Graph.find_paths by Graph.irreducible_paths;
|
file |
diff |
annotate
|
| Thu, 06 Apr 2006 16:09:54 +0200 |
haftmann |
added hook for codegen_theorems.ML
|
file |
diff |
annotate
|