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