Mon, 15 Oct 2001 20:35:42 +0200 ObjectLogic.rulify;
wenzelm [Mon, 15 Oct 2001 20:35:42 +0200] rev 11782
ObjectLogic.rulify;
Mon, 15 Oct 2001 20:35:10 +0200 Tactic.rewrite_cterm;
wenzelm [Mon, 15 Oct 2001 20:35:10 +0200] rev 11781
Tactic.rewrite_cterm;
Mon, 15 Oct 2001 20:34:44 +0200 GPLed;
wenzelm [Mon, 15 Oct 2001 20:34:44 +0200] rev 11780
GPLed;
Mon, 15 Oct 2001 20:34:26 +0200 ring instead of ringS;
wenzelm [Mon, 15 Oct 2001 20:34:26 +0200] rev 11779
ring instead of ringS;
Mon, 15 Oct 2001 20:34:12 +0200 ring includes plus_ac0;
wenzelm [Mon, 15 Oct 2001 20:34:12 +0200] rev 11778
ring includes plus_ac0;
Mon, 15 Oct 2001 20:33:42 +0200 tuned;
wenzelm [Mon, 15 Oct 2001 20:33:42 +0200] rev 11777
tuned;
Mon, 15 Oct 2001 20:33:05 +0200 support weight;
wenzelm [Mon, 15 Oct 2001 20:33:05 +0200] rev 11776
support weight;
Mon, 15 Oct 2001 20:32:13 +0200 bang_args;
wenzelm [Mon, 15 Oct 2001 20:32:13 +0200] rev 11775
bang_args;
Mon, 15 Oct 2001 20:31:52 +0200 qualify some names;
wenzelm [Mon, 15 Oct 2001 20:31:52 +0200] rev 11774
qualify some names;
Mon, 15 Oct 2001 20:31:18 +0200 map_nth_elem;
wenzelm [Mon, 15 Oct 2001 20:31:18 +0200] rev 11773
map_nth_elem;
(0) -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip