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)

No differences found