Sun, 30 Oct 2005 10:55:56 +0100 | urbanc | tuned my last commit | changeset | files |
Sun, 30 Oct 2005 10:37:57 +0100 | urbanc | simplified the abs_supp_approx proof and tuned some comments in | changeset | files |
Sat, 29 Oct 2005 15:01:25 +0200 | urbanc | Changed Simplifier.simp_modifiers to Simplifier.simp_modifiers'. | changeset | files |