Sun, 26 Jul 2009 19:54:37 +0200 | wenzelm | tuned eval_tac: eliminated unused METAHYPS (FOCUS fails due to schematic goals); | changeset | files |
Sun, 26 Jul 2009 19:38:02 +0200 | wenzelm | retrofit: actually handle schematic variables -- need to export into original context; | changeset | files |
Sun, 26 Jul 2009 18:58:02 +0200 | wenzelm | merged | changeset | files |