| Mon, 13 Apr 2015 13:03:41 +0200 | traytel | call Goal.prove only once for a quadratic number of theorems | changeset | files |
| Mon, 13 Apr 2015 12:15:29 +0200 | hoelzl | predicate compiler: ignore Abs_filter and Rep_filter | changeset | files |
| Mon, 13 Apr 2015 12:13:52 +0200 | nipkow | merged | changeset | files |