Ralf Treinen writes: > George proposed camlp4. I think this is complex enough to merit a > package of its own. Definitely. -- Jean-Christophe FILLIATRE mailto:Jean-Christophe.Filliatre@lri.fr http://www.lri.fr/~filliatr