This directory contains the Maude 3 interpreter source tree.
Copyright 1997-2021 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:	[email protected]
Report bugs to:		[email protected]