name natded
category Package
revision 32693
shortdesc Typeset natural deduction proofs.
relocated 1
longdesc The package provides commands to typeset proofs in the style
longdesc used by Jaskowski, or that of Kalish and Montague.
runfiles size=4
 RELOC/tex/latex/natded/natded.sty
catalogue-ctan /macros/latex/contrib/natded
catalogue-date 2014-02-26 23:03:13 +0100
catalogue-license lppl1.3
catalogue-version 0.1