CSL, SRI International & DCS, UIUC

 Maude License Agreement

Maude is provided free of charge under the terms of the GNU General Public License version 2 as published by the Free Software Foundation. This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY of FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details.

Last modified: Thu Jun 5 01:42:46 CDT 2003 [ Maude Home Page]