| Sat, 16 Apr 2011 23:38:25 +0200 | wenzelm | enable PARALLEL_GOALS more liberally, unlike forked proofs (cf. 34b9652b2f45); | changeset | files |
| Sat, 16 Apr 2011 22:21:34 +0200 | wenzelm | refined PARALLEL_GOALS; | changeset | files |
| Sat, 16 Apr 2011 21:45:47 +0200 | wenzelm | tuned blast: navigate to subgoal only once; | changeset | files |
| Sat, 16 Apr 2011 20:49:48 +0200 | wenzelm | proper subgoal addressing via SUBGOAL/CSUBGOAL -- assuming these tactics did not handle Subscript in any special way; | changeset | files |