Thu, 19 Nov 2009 14:45:56 +0100 | wenzelm | Specification.definition: Thm.definitionK marks exactly the high-level end-user result; | changeset | files |
Thu, 19 Nov 2009 14:44:22 +0100 | wenzelm | Local_Theory.define: eliminated slightly odd kind argument -- such low-level definitions should be hardly ever exposed to end-users anyway; | changeset | files |
Thu, 19 Nov 2009 13:00:16 +0100 | wenzelm | merged | changeset | files |