[cduce-users] splitting the atom

Matthias Radestock matthias at sorted.org
Fri May 27 19:49:57 CEST 2005


Alain Frisch <Alain.Frisch at inria.fr> writes:

> I added split_atom and make_atom to the CVS.

Thanks! Works just as I had envisaged.


Matthias.




More information about the Cduce-users mailing list