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 |
Sun, 26 Jul 2009 13:12:53 +0200 | wenzelm | lambda/cabs/all: named variants; | changeset | files |