| Thu, 19 Nov 2009 17:26:28 +0100 | wenzelm | toplevel pretty printer for Synchronized.var; | changeset | files |
| Thu, 19 Nov 2009 14:46:33 +0100 | wenzelm | adapted Local_Theory.define -- eliminated odd thm kind; | changeset | files |
| Thu, 19 Nov 2009 14:45:56 +0100 | wenzelm | Specification.definition: Thm.definitionK marks exactly the high-level end-user result; | changeset | files |