Removed extra baggage from propositionalLogic.ml