markd 2832036fe9 Initial import tex-lkproof{,-doc}-3.1 ... The package defines a pair of commands \infer and \deduce, that are used in constructing LK proof diagrams.		2015-04-21 22:16:33 +00:00
..
DESCR
distinfo
Makefile
PLIST