Mon, 08 May 2000 16:58:44 +0200 better simplification of the result of simprocs
paulson [Mon, 08 May 2000 16:58:44 +0200] rev 8834
better simplification of the result of simprocs
Mon, 08 May 2000 16:58:18 +0200 moved le_square, proved le_cube
paulson [Mon, 08 May 2000 16:58:18 +0200] rev 8833
moved le_square, proved le_cube
Mon, 08 May 2000 16:57:53 +0200 more details
paulson [Mon, 08 May 2000 16:57:53 +0200] rev 8832
more details
Mon, 08 May 2000 11:45:57 +0200 tuned msg;
wenzelm [Mon, 08 May 2000 11:45:57 +0200] rev 8831
tuned msg;
Mon, 08 May 2000 11:45:47 +0200 val needs_filtered_use = true;
wenzelm [Mon, 08 May 2000 11:45:47 +0200] rev 8830
val needs_filtered_use = true;
Mon, 08 May 2000 11:35:19 +0200 recovered \seealso;
wenzelm [Mon, 08 May 2000 11:35:19 +0200] rev 8829
recovered \seealso;
Mon, 08 May 2000 11:13:28 +0200 improved indexing;
wenzelm [Mon, 08 May 2000 11:13:28 +0200] rev 8828
improved indexing;
Mon, 08 May 2000 11:13:11 +0200 \usepackage{makeidx};
wenzelm [Mon, 08 May 2000 11:13:11 +0200] rev 8827
\usepackage{makeidx};
Mon, 08 May 2000 11:03:53 +0200 tuned GARBAGE;
wenzelm [Mon, 08 May 2000 11:03:53 +0200] rev 8826
tuned GARBAGE;
Mon, 08 May 2000 10:53:13 +0200 improved handling of Isabelle styles (less garbage);
wenzelm [Mon, 08 May 2000 10:53:13 +0200] rev 8825
improved handling of Isabelle styles (less garbage);
(0) -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip