alias nat /Coq/Init/Datatypes/nat.ind#1/1
alias O /Coq/Init/Datatypes/nat.ind#1/1/1
alias S /Coq/Init/Datatypes/nat.ind#1/1/2
alias nat /Coq/Init/Datatypes/nat.ind#1/1
alias O /Coq/Init/Datatypes/nat.ind#1/1/1
alias S /Coq/Init/Datatypes/nat.ind#1/1/2