| Fri, 24 Oct 2014 11:30:39 +0200 | wenzelm | discontinued python from standard system environment; | changeset | files |
| Fri, 24 Oct 2014 11:05:19 +0200 | wenzelm | more generous default; | changeset | files |
| 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 |
| Fri, 24 Oct 2014 15:07:49 +0200 | hoelzl | move NO_MATCH simproc from the AFP entry Graph_Theory to HOL | changeset | files |
| Thu, 23 Oct 2014 16:25:08 +0200 | haftmann | repaired long-standing accident | changeset | files |