| Wed, 11 Nov 2009 14:04:56 +0000 | paulson | Added two new lemmas | changeset | files |
| Wed, 11 Nov 2009 09:02:37 +0100 | haftmann | tuned imports | changeset | files |
| Wed, 11 Nov 2009 09:02:20 +0100 | haftmann | tuned | changeset | files |
| Wed, 11 Nov 2009 00:11:26 +0100 | wenzelm | local mutex for theory content/identity operations; | changeset | files |
| Wed, 11 Nov 2009 00:09:15 +0100 | wenzelm | admit dummy implementation; | changeset | files |
| Tue, 10 Nov 2009 23:18:03 +0100 | wenzelm | Toplevel.thread provides Isar-style exception output; | changeset | files |
| Tue, 10 Nov 2009 23:15:20 +0100 | wenzelm | generalized Runtime.toplevel_error wrt. output function; | changeset | files |