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