OKullmann/oklibrary — pull request #417 by MGwynne (2012-04-26 10:11:29+00:00)
Title: Amocheck

Branch: amocheck.

Adding translation of LT(n). Also checking that LT(n) is irredundant, is a representation of AMO, and is a 1-base w.r.t AMO.

Corrected issues mentioned in e-mail.

Matthew