Sun, 22 Jan 2006 21:58:43 +0100 | urbanc | a fixme comments about abs_fun_if, which should be called perm_if | changeset | files |
Sun, 22 Jan 2006 18:46:01 +0100 | wenzelm | Local theory operations, with optional target locale. | changeset | files |
Sun, 22 Jan 2006 18:46:00 +0100 | wenzelm | added restore_body; | changeset | files |