OKullmann/oklibrary — pull request #343 by MGwynne (2012-01-25 20:39:20+00:00)
Title: Pla

Branch: pla.

Adding maxima function to translate a clause-set to a PLA file; adding additional documentation on the PLA format to the Espresso documentation, and adding discussion on an Espresso book which looks like the book which corresponds to the Espresso "examples" tarball we have.

Matthew