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; | changeset | files |
Wed, 14 Aug 2024 18:59:49 +0200 | wenzelm | tuned; | changeset | files |
Wed, 14 Aug 2024 16:48:16 +0200 | wenzelm | tuned: anticipate congprocs; | changeset | files |
Wed, 14 Aug 2024 15:30:29 +0200 | wenzelm | clarified signature; | changeset | files |