Sat, 06 Jan 2001 21:26:27 +0100 | wenzelm | Tactic.norm_hhf; | changeset | files |
Sat, 06 Jan 2001 21:26:13 +0100 | wenzelm | 'of:' params spec; | changeset | files |
Sat, 06 Jan 2001 21:22:35 +0100 | wenzelm | 'cases' / 'induct' method: ?case binding, 'of:' spec; | changeset | files |