| 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 |
| Sat, 29 Oct 2005 14:37:32 +0200 | urbanc | 1) have adjusted the swapping of the result type | changeset | files |
| Fri, 28 Oct 2005 22:37:57 +0200 | wenzelm | tuned; | changeset | files |
| Fri, 28 Oct 2005 22:32:55 +0200 | wenzelm | lthms_containing: not o valid_thms; | changeset | files |
| Fri, 28 Oct 2005 22:28:15 +0200 | wenzelm | added fact_tac, some_fact_tac; | changeset | files |