| Thu, 03 Jan 2008 00:15:39 +0100 | wenzelm | added setmp_thread_data; | changeset | files |
| Wed, 02 Jan 2008 23:00:57 +0100 | wenzelm | type transition: added properties field; | changeset | files |
| Wed, 02 Jan 2008 23:00:56 +0100 | wenzelm | added properties; | changeset | files |
| Wed, 02 Jan 2008 23:00:54 +0100 | wenzelm | Isabelle.command: IsarCmd.nested_command (with properties); | changeset | files |