lkproof Package 2002/04/25 00:00:00 3.0 1997/03/06 karl LK Proof figure macros. Makoto Tatsuta 9916 texmf-dist/tex/latex/lkproof/proof.sty texmf-dist/tpm/lkproof.tpm texmf-dist/doc/latex/lkproof/proofeg.tex Package/lkproof