wenzelm [Fri, 02 Nov 2001 22:01:07 +0100] rev 12019
transitive declared in Pure;
paulson [Fri, 02 Nov 2001 17:55:24 +0100] rev 12018
Numerals and simprocs for types real and hypreal. The abstract
constants 0, 1 and binary numerals work harmoniously.
wenzelm [Thu, 01 Nov 2001 21:12:13 +0100] rev 12017
Goals.add_locale;
wenzelm [Thu, 01 Nov 2001 21:11:52 +0100] rev 12016
fix_frees;
improved export_def: handle args on lhs;
wenzelm [Thu, 01 Nov 2001 21:11:17 +0100] rev 12015
theorem: locale argument;
wenzelm [Thu, 01 Nov 2001 21:10:47 +0100] rev 12014
beginnings of new locales (not yet functional);
wenzelm [Thu, 01 Nov 2001 21:10:13 +0100] rev 12013
Goals.setup;
wenzelm [Thu, 01 Nov 2001 21:09:53 +0100] rev 12012
parking code for old-style locales here;
wenzelm [Wed, 31 Oct 2001 22:05:37 +0100] rev 12011
tuned notation (degree instead of dollar);
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");