| Sun, 26 Jul 2009 20:38:11 +0200 | wenzelm | replaced old METAHYPS by FOCUS; | changeset | files |
| 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 |
| Sun, 26 Jul 2009 08:03:40 +0200 | haftmann | adapted to changed prefixes | changeset | files |
| Sun, 26 Jul 2009 07:54:28 +0200 | haftmann | merged | changeset | files |