From ac98db69d03adb7be581f4f4cc5577991bc0572d Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Fri, 26 Mar 2004 14:58:17 +0000 Subject: [PATCH] Algebra => CoRN --- helm/gTopLevel/tests/match05.cic.test | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) 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 *) -- 2.39.2