Tue, 23 Aug 2016 15:19:32 +0200 | traytel | tuned signature | changeset | files |
Fri, 19 Aug 2016 11:56:12 +0200 | nipkow | replaced the confusing int parameter by bool | changeset | files |
Thu, 18 Aug 2016 18:11:45 +0200 | hoelzl | remove spurious find_theorems | changeset | files |