| Thu, 09 Jun 2011 22:13:21 +0200 | wenzelm | clarified raw_blast, which is not really a tactic since it operates directly on subgoal 1 without bounds check (cf. c46107e6714b); | changeset | files |
| Thu, 09 Jun 2011 20:56:08 +0200 | wenzelm | clarified special incr_type_indexes; | changeset | files |
| Thu, 09 Jun 2011 20:22:22 +0200 | wenzelm | tuned signature: Name.invent and Name.invent_names; | changeset | files |