This directory contains the Maude 3 interpreter source tree. Copyright 1997-2022 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