1. matitaEngine splitted into disambiguation (now in grafite_parser) and

[helm.git] / helm / matita / coq.ma

diff --git a/helm/matita/coq.ma b/helm/matita/coq.ma
index 10a3de67717411dfda3ee9fb16875cfd7debe35b..1b284799dfefbec04e98d52f1d5ef72ab73fffb9 100644 (file)
--- a/helm/matita/coq.ma
+++ b/helm/matita/coq.ma
@@ -1,3 +1,5 @@
+set "baseuri" "cic:/Coq/".
+
 (* aritmetic operators *)
 
 interpretation "Coq's natural plus" 'plus x y = (cic:/Coq/Init/Peano/plus.con x y).