OKullmann/oklibrary — pull request #415 by MGwynne (2012-04-26 00:47:12+00:00)
Title: Amocheck

Branch: amocheck.

Adding translation of LT(n). Also checking that LT(n) is a representation and is irredundant.

Matthew