nat.O
nat.nat
Parameter O : nat
axiom O : nat
constant O : nat.nat
sttfa_O : nat_sttfa.sttfa_nat
Printing for OpenTheory is not working at the moment.