From c1851394d6df179ae776fc126baf8d60c5b9980c Mon Sep 17 00:00:00 2001 From: Stefano Zacchiroli Date: Mon, 9 Jan 2006 13:53:45 +0000 Subject: [PATCH] moved coq.ma to library/legacy/ --- helm/matita/{ => library/legacy}/coq.ma | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) rename helm/matita/{ => library/legacy}/coq.ma (98%) diff --git a/helm/matita/coq.ma b/helm/matita/library/legacy/coq.ma similarity index 98% rename from helm/matita/coq.ma rename to helm/matita/library/legacy/coq.ma index 1b284799d..ea1f5935d 100644 --- a/helm/matita/coq.ma +++ b/helm/matita/library/legacy/coq.ma @@ -1,4 +1,4 @@ -set "baseuri" "cic:/Coq/". +set "baseuri" "cic:/matita/legacy/". (* aritmetic operators *) -- 2.39.2