| Tue, 16 Oct 2007 17:06:11 +0200 | wenzelm | add_abbrev: removed Logic.legacy_varifyT, do not unvarify result (again); | changeset | files |
| Tue, 16 Oct 2007 17:06:09 +0200 | wenzelm | the_abbreviation: return plain rhs only; | changeset | files |
| Tue, 16 Oct 2007 16:18:36 +0200 | paulson | added the "max_sledgehammers" option | changeset | files |
| Tue, 16 Oct 2007 14:11:35 +0200 | krauss | Fixed variable naming in mutual induction rules | changeset | files |