Mon, 08 May 2000 20:58:49 +0200 strip = impI allI allI;
wenzelm [Mon, 08 May 2000 20:58:49 +0200] rev 8839
strip = impI allI allI;
Mon, 08 May 2000 20:57:02 +0200 replaced rabs by overloaded abs;
wenzelm [Mon, 08 May 2000 20:57:02 +0200] rev 8838
replaced rabs by overloaded abs;
Mon, 08 May 2000 18:20:04 +0200 yet another example
paulson [Mon, 08 May 2000 18:20:04 +0200] rev 8837
yet another example
Mon, 08 May 2000 16:59:18 +0200 new example
paulson [Mon, 08 May 2000 16:59:18 +0200] rev 8836
new example
Mon, 08 May 2000 16:59:02 +0200 tidied
paulson [Mon, 08 May 2000 16:59:02 +0200] rev 8835
tidied
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;
(0) -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip