| Mon, 29 Sep 2008 11:46:52 +0200 | wenzelm | tuned comments; | changeset | files |
| Mon, 29 Sep 2008 11:46:47 +0200 | wenzelm | handle _ should be avoided (spurious Interrupt will spoil the game); | changeset | files |
| 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 |