Fri, 29 Oct 1993 11:54:50 +0100 added infix delsimps
nipkow [Fri, 29 Oct 1993 11:54:50 +0100] rev 88
added infix delsimps
Fri, 29 Oct 1993 11:53:43 +0100 added function del_simps
nipkow [Fri, 29 Oct 1993 11:53:43 +0100] rev 87
added function del_simps
Thu, 28 Oct 1993 17:40:50 +0100 deletion of obsolete/private files; update of README
lcp [Thu, 28 Oct 1993 17:40:50 +0100] rev 86
deletion of obsolete/private files; update of README
(0) -30 -10 -3 +3 +10 +30 +100 +300 +1000 +3000 +10000 +30000 tip