From 5c022acd6f2f8a8b01d9daa1bf270f9088584dc6 Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Mon, 23 Jun 2008 07:42:40 +0000 Subject: [PATCH] xxx --- 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 f9346809b..15912d264 100644 --- a/helm/software/matita/core_notation.moo +++ b/helm/software/matita/core_notation.moo @@ -4,14 +4,10 @@ for @{ 'exists ${default @{\lambda ${ident i} : $ty. $p} @{\lambda ${ident i} . $p}}}. -axiom a : Type. - notation "hvbox(a break \to b)" right associative with precedence 20 for @{ \forall $_:$a.$b }. -axiom b : Type → Type. - notation < "hvbox(a break \to b)" right associative with precedence 20 for @{ \Pi $_:$a.$b }. -- 2.39.2