|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]|