Jeff Egger's Macros for the connectives of linear logic
- The macro package itself.
(Updated 2007.06.14!)
- Some documentation, in both DVI
and PDF formats.
(Also updated 2007.06.14!)
- The source code for the documentation.
(Uses Makoto Tatsuta's
proof.sty.)