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