Index of /pub/text/CTAN/macros/latex/contrib/logicproof

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