ftp.ntua.gr:/mirror/ctan/macros/latex2e/contrib/logicproof/?C=N&O=A
Icon  Name                                             Last modified      Size  Description
[DIR] Parent Directory - [TXT] README 20-Mar-2014 19:27 543 [TXT] logicproof.dtx 20-Mar-2014 18:06 24K [TXT] logicproof.ins 20-Mar-2014 18:06 1.4K [   ] logicproof.pdf 20-Mar-2014 18:06 54K
Apache/2.2 Server at ftp.ntua.gr Port 80