This directory contains the Maude 2 interpreter source tree.
Copyright 1997-2014 SRI International, Menlo Park, CA 94025, USA.

The Maude 2 interpreter is free software. See the file COPYING for
copying permission.

For documentation and examples, see the Maude website:
http://maude.cs.uiuc.edu/

For help using Maude 2:	maude-help@maude.cs.uiuc.edu
Report bugs to:		maude-bugs@maude.cs.uiuc.edu