| Tue, 04 Jul 2006 18:39:58 +0200 | wenzelm | added schematic_goal; | changeset | files |
| Tue, 04 Jul 2006 18:39:57 +0200 | wenzelm | added 'unfolding'; | changeset | files |
| Tue, 04 Jul 2006 17:26:02 +0200 | urbanc | added simplification rules to the fresh_guess tactic | changeset | files |