% Style file for including the prooftree macros of Paul Taylor in your
% document.  These can also be loaded by
% 
% \input prooftree
% 
% and can be used in either LaTeX or plain TeX.

\input{prooftree.tex}

