| Wed, 02 Aug 2006 01:48:09 +0200 | webertj | lin_arith_prover splits certain operators (e.g. min, max, abs) | changeset | files |
| Wed, 02 Aug 2006 00:57:41 +0200 | webertj | proof reconstruction now uses its own data structure to manage hyps; should be both faster and more robust | changeset | files |