% This is a set of macros to support the proofnetify/proofnetinator tools
% Ross Duncan 2004
% rwd@comlab.ox.ac.uk
%
%

% Check who is compiling us
\ifx\pdftexversion\undefined
	\usepackage[dvips]{graphics}
\else
	\usepackage[pdftex]{graphics}
\fi

\newcommand{\proofnet}[2]{%
	\fbox{Run \texttt{proofnetify} on this file to draw a proof-net for $#1$ here.}}

\newcommand{\commentproofnet}[2]{%
	\fbox{You should not be seeing this. use \texttt{\\proofnet} and run \texttt{proofnetify} on this file.}}