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

The Maude 3 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 3:	maude-help@maude.cs.uiuc.edu
Report bugs to:		maude-bugs@maude.cs.uiuc.edu
