Salvador Lucas wrote: > Dear Johannes, > > I think that the proof reported by AProVE is I am sorry, should read 'MU-TERM' :-) Salvador. _______________________________________________ Termtools mailing list Termtools at lists.lri.fr http://lists.lri.fr/mailman/listinfo/termtools