An Atom package for The Maude System
An Atom package for The Maude System.
Original .tmbundle written by mkhl.