Wed, 22 Nov 2006 19:53:24 +0100 | wenzelm | add ISABELLE_VERSION to ML_IDENTIFIER, unless this is repository or build; | changeset | files |
Wed, 22 Nov 2006 17:38:36 +0100 | wenzelm | consts: ProofContext.set_stmt true -- avoids naming of local thms; | changeset | files |
Wed, 22 Nov 2006 15:58:59 +0100 | wenzelm | init: enter inner statement mode, which prevents local notes from being named internally; | changeset | files |