Mon, 29 Sep 2008 10:58:03 +0200 | wenzelm | added exit_global, exit_result, exit_result_global; | changeset | files |
Mon, 29 Sep 2008 10:58:01 +0200 | wenzelm | LocalTheory.exit_global; | changeset | files |
Sun, 28 Sep 2008 14:46:51 +0200 | wenzelm | HOL no longer depends on HOL-Plain; | changeset | files |