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 |
Sun, 22 Jan 2006 18:45:59 +0100 | wenzelm | added the_params; | changeset | files |
Sun, 22 Jan 2006 18:45:58 +0100 | wenzelm | tuned order; | changeset | files |