wenzelm [Thu, 10 Jan 2002 01:13:41 +0100] rev 12698
locales: hide base name of exported version;
wenzelm [Thu, 10 Jan 2002 01:13:07 +0100] rev 12697
simplified theorem(_i);
smart_multi_theorem;
wenzelm [Thu, 10 Jan 2002 01:12:30 +0100] rev 12696
IsarThy.smart_multi_theorem;
wenzelm [Thu, 10 Jan 2002 01:12:01 +0100] rev 12695
added hide_thms;
wenzelm [Thu, 10 Jan 2002 01:11:43 +0100] rev 12694
simplified IsarThy.theorem_i;
wenzelm [Thu, 10 Jan 2002 01:10:58 +0100] rev 12693
qualified exports from locales;
wenzelm [Wed, 09 Jan 2002 17:56:46 +0100] rev 12692
obsolete;
wenzelm [Wed, 09 Jan 2002 17:48:40 +0100] rev 12691
converted theory Transitive_Closure;
wenzelm [Wed, 09 Jan 2002 17:42:49 +0100] rev 12690
* added \<euro> symbol;
* HOL-Hyperreal is now a logic image;
* isatool latex no longer depends on changed TEXINPUTS;
wenzelm [Wed, 09 Jan 2002 17:36:54 +0100] rev 12689
no longer requires TEXINPUTS;