Man Pages in acl2

Section 1: Executable programs or shell commands

acl2.1

A computational logic