| Thu, 27 Jul 2006 13:43:06 +0200 | wenzelm | moved Goal.norm_hhf(_protect) to meta_simplifier.ML (pervasive); | changeset | files |
| Thu, 27 Jul 2006 13:43:05 +0200 | wenzelm | removed obsolete equal_abs_elim(_list); | changeset | files |
| Thu, 27 Jul 2006 13:43:04 +0200 | wenzelm | removed obsolete pretty_thm_no_quote; | changeset | files |