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, 26 Jul 2007 21:51:37 +0200 |
chaieb |
Updated proofs;
|
file |
diff |
annotate
|
Thu, 26 Jul 2007 21:48:01 +0200 |
nipkow |
fixed broken proof
|
file |
diff |
annotate
|
Thu, 19 Jul 2007 21:47:45 +0200 |
haftmann |
adapted to 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
|
Thu, 21 Jun 2007 20:07:26 +0200 |
wenzelm |
tuned proofs -- avoid implicit prems;
|
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
|