next up previous contents
Next: Contents   Contents

Maude Manual (Version 2.3)

Manuel Clavel

Francisco Durán

Steven Eker

Patrick Lincoln

Narciso Martí-Oliet

José Meseguer

Carolyn Talcott

January 2007









$\textstyle \parbox{4in}{\large Maude 2 is copyright 1997-2007 SRI Internationa... ... a particular purpose. See the GNU General Public License for more details. }$



The Maude Team