| Sun, 30 Jul 2006 21:28:55 +0200 | wenzelm | export: refrain from adjusting maxidx; | changeset | files |
| Sun, 30 Jul 2006 21:28:54 +0200 | wenzelm | adjust_maxidx: pass explicit lower bound; | changeset | files |
| Sun, 30 Jul 2006 21:28:52 +0200 | wenzelm | Thm.adjust_maxidx; | changeset | files |
| Sun, 30 Jul 2006 21:28:51 +0200 | wenzelm | removed unused add_in_order/add_once (cf. OrdList.insert); | changeset | files |
| Sun, 30 Jul 2006 21:28:50 +0200 | wenzelm | demod_rule: depend on context, proper Variable.import/export; | changeset | files |
| Sun, 30 Jul 2006 21:28:48 +0200 | wenzelm | tuned proofs; | changeset | files |
| Sun, 30 Jul 2006 05:53:10 +0200 | webertj | lin_arith_prover splits certain operators (e.g. min, max, abs) | changeset | files |