Intuitionistic Propositional Logic

Copy and edit this file and remove all calls to the tauto tactic.