From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Fri, 26 Mar 2004 14:58:17 +0000 (+0000)
Subject: Algebra => CoRN
X-Git-Tag: dead_dir_walking~107
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=ac98db69d03adb7be581f4f4cc5577991bc0572d;p=helm.git

Algebra => CoRN
---

diff --git a/helm/gTopLevel/tests/match05.cic.test b/helm/gTopLevel/tests/match05.cic.test
index 921264d6a..0c77d5dc4 100644
--- a/helm/gTopLevel/tests/match05.cic.test
+++ b/helm/gTopLevel/tests/match05.cic.test
@@ -4,9 +4,9 @@ match nil:list with
 | (cons x y) \Rightarrow (cons x y) ]
 ###### INTERPRETATION NUMBER 1 ######
 ### (* disambiguation environment  *)
-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
 ### (* METASENV after disambiguation  *)
 _ :? _; _ :? _ |- ?25: Type
 ### (* TERM after disambiguation      *)