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