Index of /pub/CTAN/macros/latex2e/contrib/lkproof

	Name	Last modified	Size	Description

	Parent Directory		-
	lkproof-doc.pdf	2010-09-26 02:09	250K
$[ ]$	lkproof-doc.tex	2010-09-26 02:09	2.6K
	proof.sty	2005-11-24 09:00	7.1K
$[ ]$	proofeg.tex	2002-04-25 08:00	1.7K

Apache/2.4.61 (Unix) OpenSSL/3.0.13 Server at rsync3.jp.netbsd.org Port 80