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