Man Pages in prooftree

Section 1: Executable programs or shell commands

prooftree.1

Proof-tree display for proof general