Man Pages in maude

Section 1: Executable programs or shell commands

maude.1

A high-performance logical framework