OKullmann/oklibrary — pull request #416 by MGwynne (2012-04-26 00:49:25+00:00)
Title: Amocheck

Branch: amocheck.

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

Also now correcting broken tests after earlier fixes.

Matthew