| Mon, 16 Mar 2009 23:39:44 +0100 | wenzelm | refined is_norm_hhf: reject beta-redexes (rules based on term nets or could_unify assume normal form), also potentially faster by avoiding expensive Envir.beta_eta_contract; | changeset | files |
| Mon, 16 Mar 2009 23:36:55 +0100 | wenzelm | provide Simplifier.norm_hhf(_protect) as regular simplifier operation; | changeset | files |
| Mon, 16 Mar 2009 19:40:03 +0100 | wenzelm | method parser: pass proper context; | changeset | files |
| Mon, 16 Mar 2009 18:24:39 +0100 | wenzelm | merged | changeset | files |
| Mon, 16 Mar 2009 18:24:30 +0100 | wenzelm | simplified method setup; | changeset | files |
| Mon, 16 Mar 2009 17:51:24 +0100 | wenzelm | updated generated file; | changeset | files |
| Mon, 16 Mar 2009 17:51:07 +0100 | wenzelm | simplifief 'method_setup' command; | changeset | files |