Comprehensive TeX Archive Network: package description
------------------------------------------------------
Name: Taylor-proofs
Author: Paul Taylor <pt@dcs.qmw.ac.uk>
Last changed in archive: 1996/06/24
Archive-path: macros/generic/proofs/taylor
Mirrored from: ftp.dcs.qmw.ac.uk