| Sat, 28 Mar 2015 21:32:48 +0100 | haftmann | clarified no_zero_devisors: makes only sense in a semiring; | changeset | files |
| Sat, 28 Mar 2015 20:43:19 +0100 | haftmann | dropped long-outdated comments | changeset | files |
| Sat, 28 Mar 2015 21:05:02 +0100 | wenzelm | merged | changeset | files |
| 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 |