Paradoxika/Skeptik — pull request #23 by Jogo27 (2013-01-11 16:36:11+00:00)
Title: Update LowerUnivalent algorithm

Many improvements have been performed on LowerUnivalent and derived algorithms. These algorithms have been tested on many proofs. They're faster and no error have been reported. I think those changes should be merged into master soon (before the paper is submited ?).