| Sat, 17 Jun 2017 18:49:19 +0200 | nipkow | adapted to new simp lemmas | changeset | files |
| Sat, 17 Jun 2017 15:41:19 +0200 | nipkow | added simp rules | changeset | files |
| Sat, 17 Jun 2017 17:01:51 +0200 | wenzelm | more permissive: avoid situations where query is silently ignored; | changeset | files |