Tue, 09 Jan 2001 13:54:44 +0100 improved evaluation judgment syntax; modified Loop rule
oheimb [Tue, 09 Jan 2001 13:54:44 +0100] rev 10828
improved evaluation judgment syntax; modified Loop rule
Tue, 09 Jan 2001 12:11:56 +0100 syntax (xsymbols);
wenzelm [Tue, 09 Jan 2001 12:11:56 +0100] rev 10827
syntax (xsymbols);
Mon, 08 Jan 2001 12:27:36 +0100 Removed Applyall
nipkow [Mon, 08 Jan 2001 12:27:36 +0100] rev 10826
Removed Applyall
(0) -10000 -3000 -1000 -300 -100 -30 -10 -3 +3 +10 +30 +100 +300 +1000 +3000 +10000 +30000 tip