Add a \trans command that uses the lam pretty printing.
authorMatthijs Kooijman <m.kooijman@student.utwente.nl>
Wed, 10 Jun 2009 11:13:17 +0000 (13:13 +0200)
committerMatthijs Kooijman <m.kooijman@student.utwente.nl>
Wed, 10 Jun 2009 11:13:17 +0000 (13:13 +0200)
commit51cc0f0087211d281ad8e364e299569b6d135416
tree50d8ed149141ade1a3897d2c254dcde73fb8c58c
parent95b1a682e51c47d635d5bafe75bd7096e8d4ec18
Add a \trans command that uses the lam pretty printing.
Core2Core.tex