/CTAN/macros/latex2e/contrib/logicproof/

File Name  ↓	File Size  ↓	Date  ↓
Parent directory/	-	-
README	543 B	2014-Mar-21 01:27
logicproof.dtx	24.0 KiB	2014-Mar-21 00:06
logicproof.ins	1.4 KiB	2014-Mar-21 00:06
logicproof.pdf	53.7 KiB	2014-Mar-21 00:06