Wed, 22 Nov 2006 19:53:24 +0100 wenzelm add ISABELLE_VERSION to ML_IDENTIFIER, unless this is repository or build;
Wed, 22 Nov 2006 17:38:36 +0100 wenzelm consts: ProofContext.set_stmt true -- avoids naming of local thms;
Wed, 22 Nov 2006 15:58:59 +0100 wenzelm init: enter inner statement mode, which prevents local notes from being named internally;
(0) -10000 -3000 -1000 -300 -100 -30 -10 -3 +3 +10 +30 +100 +300 +1000 +3000 +10000 +30000 tip