Updated lhs file to remove references to proofs
Merge branch 'master' of github.com:Soares/agi-2014-papers