| Sun, 26 Jul 2009 18:57:11 +0200 | wenzelm | SUBPROOF/Obtain.result: named params; | changeset | files |
| Sun, 26 Jul 2009 13:21:12 +0200 | wenzelm | updated Variable.focus, SUBPROOF, Obtain.result, Goal.finish; | changeset | files |
| Sun, 26 Jul 2009 13:12:54 +0200 | wenzelm | advanced retrofit, which allows new subgoals and variables; | changeset | files |
| Sun, 26 Jul 2009 13:12:54 +0200 | wenzelm | Variable.focus: named parameters; | changeset | files |