| Tue, 04 Jul 2006 17:26:02 +0200 | urbanc | added simplification rules to the fresh_guess tactic | changeset | files |
| Tue, 04 Jul 2006 15:57:19 +0200 | urbanc | made calc_atm stronger by including some relative | changeset | files |
| Tue, 04 Jul 2006 15:45:59 +0200 | ballarin | Locales no longer generate views. The following functions have changed | changeset | files |
| Tue, 04 Jul 2006 15:30:30 +0200 | wenzelm | added 'definition', 'unfolding', 'done'; | changeset | files |