| 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 |
| Wed, 08 Jun 2011 22:16:21 +0200 | wenzelm | modernized structure ProofContext; | changeset | files |
| Thu, 09 Jun 2011 17:58:42 +0200 | wenzelm | even more robust \isaspacing; | changeset | files |
| Thu, 09 Jun 2011 17:51:49 +0200 | wenzelm | simplified Name.variant -- discontinued builtin fold_map; | changeset | files |
| Thu, 09 Jun 2011 17:46:25 +0200 | wenzelm | some attempts at robust \isaspacing so that \isa{...} can be used in section headings etc. (need to avoid `\? for some reason); | changeset | files |