-alias id True = cic:/Coq/Init/Logic/True.ind#1/1
-alias id le = cic:/Coq/Init/Peano/le.ind#1/1
-alias id nat = cic:/Coq/Init/Datatypes/nat.ind#1/1
+alias id True = cic:/Coq/Init/Logic/True.ind#xpointer(1/1)
+alias id le = cic:/Coq/Init/Peano/le.ind#xpointer(1/1)
+alias id nat = cic:/Coq/Init/Datatypes/nat.ind#xpointer(1/1)