From ca5c21576ebd9a7bc9569cb8d713a9220392f2cf Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Wed, 28 Jan 2009 09:11:42 +0000 Subject: [PATCH] ... --- .../matita/contribs/formal_topology/overlap/notation.ma | 5 +---- 1 file changed, 1 insertion(+), 4 deletions(-) diff --git a/helm/software/matita/contribs/formal_topology/overlap/notation.ma b/helm/software/matita/contribs/formal_topology/overlap/notation.ma index 2cb92807d..b30eb2aba 100644 --- a/helm/software/matita/contribs/formal_topology/overlap/notation.ma +++ b/helm/software/matita/contribs/formal_topology/overlap/notation.ma @@ -15,9 +15,6 @@ notation "hvbox (r \sub \c)" with precedence 90 for @{'concr_rel $r}. notation "hvbox (r \sub \f)" with precedence 90 for @{'form_rel $r}. -notation < "mstyle color #ff0000 (…)" non associative with precedence 90 -for @{'hide}. - definition hide ≝ λA:Type.λx:A.x. -interpretation "hide" 'hide = (hide _ _). +interpretation "hide" 'hide x = (hide _ x). -- 2.39.2