| Wed, 13 Jun 2007 18:30:11 +0200 | wenzelm | tuned proofs: avoid implicit prems; | file | diff | annotate |
| Mon, 11 Jun 2007 11:06:04 +0200 | chaieb | tuned Proof | file | diff | annotate |
| Fri, 16 Mar 2007 21:32:14 +0100 | haftmann | tuned | file | diff | annotate |
| Fri, 02 Feb 2007 15:47:58 +0100 | nipkow | a few additions and deletions | file | diff | annotate |
| Wed, 30 Aug 2006 03:19:08 +0200 | webertj | lin_arith_prover: splitting reverted because of performance loss | file | diff | annotate |
| Wed, 02 Aug 2006 18:19:48 +0200 | webertj | lin_arith_prover splits certain operators (e.g. min, max, abs) | file | diff | annotate |
| Wed, 26 Jul 2006 19:23:04 +0200 | webertj | linear arithmetic splits certain operators (e.g. min, max, abs) | file | diff | annotate |