hishamelgezeery/ClausForm-FOL — pull request #1 by ZzimBoo91 (2014-11-28 22:52:11+00:00)
Title: finished pushing not inwards

I tested it myself.