| Sat, 28 Mar 2015 17:26:42 +0100 | wenzelm | prefer Variable.focus, despite subtle differences of Logic.strip_params vs. Term.strip_all_vars; | changeset | files |
| Fri, 27 Mar 2015 19:51:05 +0100 | wenzelm | proper Rule_Insts.read_term, e.g. to enable case_tac using "_"; | changeset | files |
| Fri, 27 Mar 2015 17:46:08 +0100 | wenzelm | tuned signature; | changeset | files |