The four tools can be made available at the same time in Maude with the following Maude file
the UNIX shell file
and the appropriate Maude files of the previous tools.
Unless otherwise noted, we hold copyright in all materials created by us, and allow general use under the ``copyleft'' terms of the GNU General Public License for software and the Open Content License for text. Essentially, you may use our copyright materials freely as long as you acknowledge our authorship and copyright. You may create variant and derivative works as long as you are accurate in attributing our contribution. You may redistribute our work, variants, and derivatives as long as you pass on the full license that we grant to you with every copy.