Thu, 01 Nov 2001 21:11:17 +0100 theorem: locale argument;
wenzelm [Thu, 01 Nov 2001 21:11:17 +0100] rev 12015
theorem: locale argument;
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;
(0) -10000 -3000 -1000 -300 -100 -30 -10 -3 +3 +10 +30 +100 +300 +1000 +3000 +10000 +30000 tip