Thu, 10 Jan 2002 01:12:30 +0100 IsarThy.smart_multi_theorem;
wenzelm [Thu, 10 Jan 2002 01:12:30 +0100] rev 12696
IsarThy.smart_multi_theorem;
Thu, 10 Jan 2002 01:12:01 +0100 added hide_thms;
wenzelm [Thu, 10 Jan 2002 01:12:01 +0100] rev 12695
added hide_thms;
Thu, 10 Jan 2002 01:11:43 +0100 simplified IsarThy.theorem_i;
wenzelm [Thu, 10 Jan 2002 01:11:43 +0100] rev 12694
simplified IsarThy.theorem_i;
Thu, 10 Jan 2002 01:10:58 +0100 qualified exports from locales;
wenzelm [Thu, 10 Jan 2002 01:10:58 +0100] rev 12693
qualified exports from locales;
Wed, 09 Jan 2002 17:56:46 +0100 obsolete;
wenzelm [Wed, 09 Jan 2002 17:56:46 +0100] rev 12692
obsolete;
Wed, 09 Jan 2002 17:48:40 +0100 converted theory Transitive_Closure;
wenzelm [Wed, 09 Jan 2002 17:48:40 +0100] rev 12691
converted theory Transitive_Closure;
Wed, 09 Jan 2002 17:42:49 +0100 * added \<euro> symbol;
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;
Wed, 09 Jan 2002 17:36:54 +0100 no longer requires TEXINPUTS;
wenzelm [Wed, 09 Jan 2002 17:36:54 +0100] rev 12689
no longer requires TEXINPUTS;
Wed, 09 Jan 2002 17:36:34 +0100 isatool latex -o sty;
wenzelm [Wed, 09 Jan 2002 17:36:34 +0100] rev 12688
isatool latex -o sty;
Wed, 09 Jan 2002 17:36:18 +0100 removed TEXINPUTS;
wenzelm [Wed, 09 Jan 2002 17:36:18 +0100] rev 12687
removed TEXINPUTS;
(0) -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip