Thu, 02 Feb 2006 16:31:30 +0100 | wenzelm | index elements; | changeset | files |
Thu, 02 Feb 2006 16:31:28 +0100 | wenzelm | * Isar: 'obtains' element; | changeset | files |
Thu, 02 Feb 2006 12:54:24 +0100 | wenzelm | tuned msg; | changeset | files |
Thu, 02 Feb 2006 12:54:08 +0100 | wenzelm | theorem(_in_locale): Element.statement, Obtain.statement; | changeset | files |