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