Fri, 10 Oct 2008 06:45:53 +0200 |
haftmann |
`code func` now just `code`
|
file |
diff |
annotate
|
Thu, 18 Sep 2008 19:39:44 +0200 |
wenzelm |
simplified oracle interface;
|
file |
diff |
annotate
|
Wed, 17 Sep 2008 21:27:17 +0200 |
wenzelm |
local @{context};
|
file |
diff |
annotate
|
Mon, 14 Jul 2008 16:13:42 +0200 |
chaieb |
Fixed proofs.
|
file |
diff |
annotate
|
Mon, 14 Jul 2008 11:04:42 +0200 |
haftmann |
unified curried gcd, lcm, zgcd, zlcm
|
file |
diff |
annotate
|
Thu, 03 Jul 2008 11:16:33 +0200 |
haftmann |
code antiquotation roaring ahead
|
file |
diff |
annotate
|
Wed, 02 Jul 2008 07:12:17 +0200 |
haftmann |
code antiquotation roaring ahead
|
file |
diff |
annotate
|
Thu, 26 Jun 2008 10:07:01 +0200 |
haftmann |
established Plain theory and image
|
file |
diff |
annotate
|
Sat, 17 May 2008 21:46:22 +0200 |
wenzelm |
avoid undeclared variables within proofs;
|
file |
diff |
annotate
|
Tue, 23 Oct 2007 23:27:23 +0200 |
nipkow |
went back to >0
|
file |
diff |
annotate
|
Sun, 21 Oct 2007 14:53:44 +0200 |
nipkow |
Eliminated most of the neq0_conv occurrences. As a result, many
|
file |
diff |
annotate
|
Sun, 30 Sep 2007 21:55:15 +0200 |
wenzelm |
avoid internal names;
|
file |
diff |
annotate
|
Fri, 24 Aug 2007 14:14:20 +0200 |
haftmann |
overloaded definitions accompanied by explicit constants
|
file |
diff |
annotate
|
Mon, 20 Aug 2007 18:07:49 +0200 |
haftmann |
renamed code_gen to export_code
|
file |
diff |
annotate
|
Mon, 20 Aug 2007 11:18:18 +0200 |
nipkow |
removed allpairs
|
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
|
Fri, 29 Jun 2007 16:05:00 +0200 |
haftmann |
dropped local cg cmd
|
file |
diff |
annotate
|
Thu, 28 Jun 2007 19:09:38 +0200 |
haftmann |
new code generator framework
|
file |
diff |
annotate
|
Sat, 23 Jun 2007 19:33:22 +0200 |
nipkow |
tuned and renamed group_eq_simps and ring_eq_simps
|
file |
diff |
annotate
|
Mon, 11 Jun 2007 11:06:11 +0200 |
chaieb |
tuned Proof and Document
|
file |
diff |
annotate
|
Tue, 05 Jun 2007 20:44:12 +0200 |
chaieb |
Added twe Examples for Quantifier elimination ofer linear real arithmetic and over the mixed theory of linear real artihmetic with integers
|
file |
diff |
annotate
|