[Termtools] termination proof grammar

[Frederic Blanqui]

hello! i would like to mention that various discussions started on 
color at loria.fr about the definition of a common termination proof grammar. you 
are all invited to follow/join the discussions by subscribing to 
color at loria.fr. to this end, create an account on http://sympa.loria.fr/, log 
in and go to http://sympa.loria.fr/wwsympa/info/color. discussions are 
archived.