| Sat, 28 Mar 2015 20:22:10 +0100 | wenzelm | clarified goal context; | changeset | files |
| Sat, 28 Mar 2015 19:53:45 +0100 | wenzelm | clarified goal context; | changeset | files |
| 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 |