| Tue, 05 Jun 2007 22:46:55 +0200 | wenzelm | renamed ex/Eval_Examples.thy; | changeset | files |
| Tue, 05 Jun 2007 22:46:55 +0200 | wenzelm | added ex/Groebner_Examples.thy; | changeset | files |
| Tue, 05 Jun 2007 22:46:53 +0200 | wenzelm | tuned document; | changeset | files |
| Tue, 05 Jun 2007 20:46:25 +0200 | chaieb | Added two examples in Complex/ex :Reflected QE for linear real arith and QE for mixed integer real linear arithmetic | changeset | files |
| 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 | changeset | files |
| Tue, 05 Jun 2007 19:23:09 +0200 | haftmann | tuned boostrap | changeset | files |
| Tue, 05 Jun 2007 19:22:01 +0200 | haftmann | eliminated Code_Generator.thy | changeset | files |
| Tue, 05 Jun 2007 19:19:30 +0200 | haftmann | tuned integers | changeset | files |