History log of /seL4-l4v-10.1.1/HOL4/Manual/LaTeX/proof.sty
Revision Date Author Comments
# 9b8c83ad 22-Apr-2002 Michael Norrish <Michael.Norrish@nicta.com.au>

A useful package for drawing inference trees.