From cab35e3d6c09d266c1372b5cc9a0045578bae79b Mon Sep 17 00:00:00 2001 From: Ferruccio Guidi Date: Wed, 6 Oct 2021 00:53:00 +0200 Subject: [PATCH] update in ground + minor bug fixed in a notation --- .../contribs/lambdadelta/ground/notation/relations/doteq_4.ma | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/matita/matita/contribs/lambdadelta/ground/notation/relations/doteq_4.ma b/matita/matita/contribs/lambdadelta/ground/notation/relations/doteq_4.ma index ede24a0fe..5ccb16c4b 100644 --- a/matita/matita/contribs/lambdadelta/ground/notation/relations/doteq_4.ma +++ b/matita/matita/contribs/lambdadelta/ground/notation/relations/doteq_4.ma @@ -14,7 +14,7 @@ (* GROUND NOTATION **********************************************************) -notation < "hvbox( f1 ≐ break term 46 f2 )" +notation < "hvbox( term 46 f1 ≐ break term 46 f2 )" non associative with precedence 45 for @{ 'DotEq $A $B $f1 $f2 }. -- 2.39.2