| Thu, 23 Oct 2014 19:40:41 +0200 | haftmann | even further downshift of theory Parity in the hierarchy | changeset | files |
| Thu, 23 Oct 2014 19:40:39 +0200 | haftmann | further downshift of theory Parity in the hierarchy | changeset | files |
| Fri, 24 Oct 2014 15:07:51 +0200 | hoelzl | use NO_MATCH-simproc for distribution rules in field_simps, otherwise field_simps on '(a / (c + d)) * (e + f)' can be non-terminating | changeset | files |