> http://aprove.informatik.rwth-aachen.de/termination/ technically I agree but please try to avoid the "aprove." prefix (replace it by something that's not tool-specific). Best regards, -- -- Johannes Waldmann -- Tel/Fax (0341) 3076 6479/80 -- ---- http://www.imn.htwk-leipzig.de/~waldmann/ -------