| Fri, 03 Dec 2010 08:40:47 +0100 | bulwahn | adding code equation for finiteness of finite types | changeset | files |
| Fri, 03 Dec 2010 08:40:47 +0100 | bulwahn | improving sledgehammer_tactic and adding relevance filtering to the tactic | changeset | files |
| Fri, 03 Dec 2010 08:40:47 +0100 | bulwahn | adapting mutabelle | changeset | files |