Wed, 14 Aug 2024 21:23:22 +0200 wenzelm support for congprocs in the Simplifier, closely following Norbert Schirmer et-al, but with only one "simproc" name space and "simproc_setup" command / ML antiquotation;
Wed, 14 Aug 2024 18:59:49 +0200 wenzelm tuned;
Wed, 14 Aug 2024 16:48:16 +0200 wenzelm tuned: anticipate congprocs;
Wed, 14 Aug 2024 15:30:29 +0200 wenzelm clarified signature;
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -4 +4 +10 +30 +100 +300 +1000 tip