Thu, 01 Nov 2001 21:10:47 +0100 beginnings of new locales (not yet functional);
wenzelm [Thu, 01 Nov 2001 21:10:47 +0100] rev 12014
beginnings of new locales (not yet functional);
Thu, 01 Nov 2001 21:10:13 +0100 Goals.setup;
wenzelm [Thu, 01 Nov 2001 21:10:13 +0100] rev 12013
Goals.setup;
Thu, 01 Nov 2001 21:09:53 +0100 parking code for old-style locales here;
wenzelm [Thu, 01 Nov 2001 21:09:53 +0100] rev 12012
parking code for old-style locales here;
Wed, 31 Oct 2001 22:05:37 +0100 tuned notation (degree instead of dollar);
wenzelm [Wed, 31 Oct 2001 22:05:37 +0100] rev 12011
tuned notation (degree instead of dollar);
Wed, 31 Oct 2001 22:04:29 +0100 theorem(_i): locale argument;
wenzelm [Wed, 31 Oct 2001 22:04:29 +0100] rev 12010
theorem(_i): locale argument; contexts 0 and 1 in state now refer to theory and locale, respectively; unified export (no longer uses global "standard");
Wed, 31 Oct 2001 22:02:33 +0100 Proof.init_state thy None;
wenzelm [Wed, 31 Oct 2001 22:02:33 +0100] rev 12009
Proof.init_state thy None;
Wed, 31 Oct 2001 22:02:11 +0100 simplified export;
wenzelm [Wed, 31 Oct 2001 22:02:11 +0100] rev 12008
simplified export; tuned printing of fixes;
Wed, 31 Oct 2001 22:00:25 +0100 'atomize': CHANGED_PROP;
wenzelm [Wed, 31 Oct 2001 22:00:25 +0100] rev 12007
'atomize': CHANGED_PROP;
Wed, 31 Oct 2001 22:00:02 +0100 global statements: locale argument;
wenzelm [Wed, 31 Oct 2001 22:00:02 +0100] rev 12006
global statements: locale argument;
Wed, 31 Oct 2001 21:59:25 +0100 added local_standard;
wenzelm [Wed, 31 Oct 2001 21:59:25 +0100] rev 12005
added local_standard;
(0) -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip