| Wed, 02 Jan 2008 23:00:54 +0100 | wenzelm | Isabelle.command: IsarCmd.nested_command (with properties); | changeset | files |
| Wed, 02 Jan 2008 23:00:52 +0100 | wenzelm | added nested_command (with explicit position argument via properties); | changeset | files |
| Wed, 02 Jan 2008 23:00:51 +0100 | wenzelm | of_properties: return filtered result; | changeset | files |
| Wed, 02 Jan 2008 23:00:49 +0100 | wenzelm | added method encodeProperties; | changeset | files |