| Fri, 16 Jan 2009 16:00:20 +0100 | wenzelm | provide end_document; | changeset | files |
| Fri, 16 Jan 2009 15:21:46 +0100 | wenzelm | merged | changeset | files |
| Fri, 16 Jan 2009 15:21:26 +0100 | wenzelm | run command: check theory name for init; | changeset | files |
| Fri, 16 Jan 2009 15:20:31 +0100 | wenzelm | run_command: check theory name for init; | changeset | files |
| Fri, 16 Jan 2009 15:20:05 +0100 | wenzelm | export check_name; | changeset | files |
| Fri, 16 Jan 2009 15:19:10 +0100 | haftmann | fixed location of Imperative_HOL | changeset | files |
| Fri, 16 Jan 2009 15:14:16 +0100 | haftmann | adapted to changes in class package | changeset | files |