X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita%2Fcontribs%2Flambda%2Fterms%2Fparallel_computation.ma;h=3b048d1336cb83a24c4fff0a24e5dd1cf1cfed10;hb=249addcfcf2681df796236b0f39a71260dddaa79;hp=4f93f90a7b19032cca45648dae8e954789fb59f7;hpb=c821924472ab07f543c0e4acd0b808715de7a934;p=helm.git

diff --git a/matita/matita/contribs/lambda/terms/parallel_computation.ma b/matita/matita/contribs/lambda/terms/parallel_computation.ma
index 4f93f90a7..3b048d133 100644
--- a/matita/matita/contribs/lambda/terms/parallel_computation.ma
+++ b/matita/matita/contribs/lambda/terms/parallel_computation.ma
@@ -21,10 +21,6 @@ definition preds: relation term ≝ star … pred.
 interpretation "parallel computation"
    'ParRedStar M N = (preds M N).
 
-notation "hvbox( M ⤇* break term 46 N )"
-   non associative with precedence 45
-   for @{ 'ParRedStar $M $N }.
-
 lemma preds_refl: reflexive … preds.
 //
 qed.