ℙ → ℙ → ℙ

Parameter Or : Prop -> Prop -> Prop

axiom Or : Prop -> Prop -> Prop

constant Or : (Prop) -> (Prop) -> Prop

sttfa_Or : [bool -> [bool -> bool]]

Printing for OpenTheory is not working at the moment.