alias id "plus_comm" = "cic:/Coq/Arith/Plus/plus_comm.con".
alias id "S" = "cic:/Coq/Init/Datatypes/nat.ind#xpointer(1/1/2)".
alias id "plus_comm" = "cic:/Coq/Arith/Plus/plus_comm.con".
alias id "S" = "cic:/Coq/Init/Datatypes/nat.ind#xpointer(1/1/2)".