OKullmann/oklibrary — pull request #418 by MGwynne (2012-05-04 11:18:19+00:00)
Title: Amocheck

Branch: amocheck.
Repository: OKlibrary.

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.

There is now no mention of the Sinz paper, and the history has been updated to remove mention of it.

Matthew