update in ground, basic_2A and apps_2

[helm.git] / matita / matita / contribs / lambdadelta / ground / relocation / fr2_map.ma

diff --git a/matita/matita/contribs/lambdadelta/ground/relocation/fr2_map.ma b/matita/matita/contribs/lambdadelta/ground/relocation/fr2_map.ma
index a1f2f4d4e8d69d7d88cc1a3d274d3d7512d44773..77a1c518a2d8dd6de8edd799dac8c13df36a8d5b 100644 (file)
--- 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).