Christopher M. Jones Fri, 11 Jan 2002 12:59:57 -0800
Is there a package around that handles formatting logical proofs?
