X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita%2Fcontribs%2Flambdadelta%2Fground%2Frelocation%2Ffr2_map.ma;h=77a1c518a2d8dd6de8edd799dac8c13df36a8d5b;hb=291fe1d3b56faf91d07099f43f3ebde2988649e1;hp=a1f2f4d4e8d69d7d88cc1a3d274d3d7512d44773;hpb=b5507c449ba38a76666a35664f9cf4e1953ad8ec;p=helm.git

diff --git a/matita/matita/contribs/lambdadelta/ground/relocation/fr2_map.ma b/matita/matita/contribs/lambdadelta/ground/relocation/fr2_map.ma
index a1f2f4d4e..77a1c518a 100644
--- a/matita/matita/contribs/lambdadelta/ground/relocation/fr2_map.ma
+++ b/matita/matita/contribs/lambdadelta/ground/relocation/fr2_map.ma
@@ -13,7 +13,7 @@
 (**************************************************************************)
 
 include "ground/notation/functions/element_e_0.ma".
-include "ground/notation/functions/semicolon_3.ma".
+include "ground/notation/functions/black_halfcircleright_3.ma".
 include "ground/arith/nat.ma".
 
 (* FINITE RELOCATION MAPS WITH PAIRS ****************************************)
@@ -32,4 +32,4 @@ interpretation
 
 interpretation
   "left cons (finite relocation maps with pairs)"
-  'Semicolon d h f = (fr2_lcons d h f).
+  'BlackHalfCircleRight d h f = (fr2_lcons d h f).