From 354c363760b5d5222b82674fca38e9c0dc55010e Mon Sep 17 00:00:00 2001 From: Ferruccio Guidi Date: Sat, 13 Oct 2007 13:17:59 +0000 Subject: [PATCH] removed unused notation => --- helm/software/matita/core_notation.moo | 4 ---- 1 file changed, 4 deletions(-) diff --git a/helm/software/matita/core_notation.moo b/helm/software/matita/core_notation.moo index 2ecb35e8b..17d5993b1 100644 --- a/helm/software/matita/core_notation.moo +++ b/helm/software/matita/core_notation.moo @@ -119,7 +119,3 @@ for @{ 'and $a $b }. notation "hvbox(\lnot a)" non associative with precedence 40 for @{ 'not $a }. - -notation "hvbox(a break => b)" - non associative with precedence 45 -for @{ 'parred $a $b }. -- 2.39.2