X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita%2Fcontribs%2Fformal_topology%2Fbin%2Fold%2Fformal_topology.ma;h=6c4ff9d0cde0c3674c7d047da4ea5d73ead053ff;hb=eaaea3c18083de3e442e939768ff450d3b093911;hp=e84c0242ee8dd58a4225f9f8c10c27b2b924b73c;hpb=2c01ff6094173915e7023076ea48b5804dca7778;p=helm.git

diff --git a/matita/matita/contribs/formal_topology/bin/old/formal_topology.ma b/matita/matita/contribs/formal_topology/bin/old/formal_topology.ma
index e84c0242e..6c4ff9d0c 100644
--- a/matita/matita/contribs/formal_topology/bin/old/formal_topology.ma
+++ b/matita/matita/contribs/formal_topology/bin/old/formal_topology.ma
@@ -19,7 +19,7 @@ axiom S: Type.
 
 axiom leq: S → S → Prop.
 
-notation "hvbox(A break ⊆ B)" with precedence 59
+notation "hvbox(A break ⊆ B)" with precedence 64
 for @{ 'subseteq $A $B}.
 
 interpretation "Subseteq" 'subseteq A B = (leq A B).