% File: prop.elf % Propositional Logic. name: type. a: name. b: name. c: name. o : type. %name o A. atom : name -> o. or : o -> o -> o. %infix left 12 or. and : o -> o -> o. %infix left 11 and. imp : o -> o -> o. %infix right 10 imp. true : o. false : o.