| Tue, 31 Jul 2007 13:30:35 +0200 | wenzelm | added configuration options; | changeset | files |
| Tue, 31 Jul 2007 13:30:27 +0200 | wenzelm | removed use/update_thy_only; | changeset | files |
| Tue, 31 Jul 2007 09:31:26 +0200 | chaieb | find_body goes under meta-quantifier ; tactic generalizes free variables; | changeset | files |