| Mon, 29 Sep 2008 10:58:04 +0200 | wenzelm | added norm_export_morphism; | changeset | files |
| 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 |
| Sun, 28 Sep 2008 14:40:43 +0200 | wenzelm | setmp_noncritical; | changeset | files |
| Sun, 28 Sep 2008 12:42:35 +0200 | wenzelm | join earlier promises first; | changeset | files |
| Sun, 28 Sep 2008 12:23:45 +0200 | wenzelm | proper setmp_thread_data for nested execute (cf. join_loop); | changeset | files |