Name Last modified Size Description Parent Directory - logicproof.dtx 21-Mar-2014 00:06 24K logicproof.ins 21-Mar-2014 00:06 1.4K logicproof.pdf 21-Mar-2014 00:06 54K