2832036fe9
The package defines a pair of commands \infer and \deduce, that are used in constructing LK proof diagrams.
5 lines
292 B
Text
5 lines
292 B
Text
$NetBSD: distinfo,v 1.1 2015/04/21 22:17:23 markd Exp $
|
|
|
|
SHA1 (tex-lkproof-20021/lkproof.doc.tar.xz) = b0abf4de76f9fccc73b69cc1ab30a5cdbae4c6e0
|
|
RMD160 (tex-lkproof-20021/lkproof.doc.tar.xz) = fd84d5e4ffe7d1910cce1db5b850255db584f7e7
|
|
Size (tex-lkproof-20021/lkproof.doc.tar.xz) = 258344 bytes
|