-alias id cons = cic:/Algebra/algebra/ListType/list.ind#1/1/2
-alias id list = cic:/Algebra/algebra/ListType/list.ind#1/1
-alias id nil = cic:/Algebra/algebra/ListType/list.ind#1/1/1
+alias id cons = cic:/CoRN/algebra/ListType/list.ind#1/1/2
+alias id list = cic:/CoRN/algebra/ListType/list.ind#1/1
+alias id nil = cic:/CoRN/algebra/ListType/list.ind#1/1/1