Ignore:
Timestamp:
Apr 26, 2012, 5:38:07 PM (8 years ago)
Author:
fguidi
Message:

notation fixup following last commit of matita
we shifted the levels of precedence from 50 to 60 up by 5

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/utilities/proper.ma

    r1640 r1908  
    1313interpretation "proper contravariant" 'proper_contra r s = (proper_contra ? ? r s).
    1414
    15 notation "r ++> s" right associative with precedence 51 for
     15notation "r ++> s" right associative with precedence 56 for
    1616  @{'proper $r $s}.
    1717
    18 notation "r -+> s" right associative with precedence 51 for
     18notation "r -+> s" right associative with precedence 56 for
    1919  @{'proper_contra $r $s}.
    2020
    2121(* avoid notation from kikcing in in outputm to avoid things like X ⊨ Prod *)
    22 notation > "f ⊨ p " with precedence 50 for @{$p $f $f}.
     22notation > "f ⊨ p " with precedence 55 for @{$p $f $f}.
Note: See TracChangeset for help on using the changeset viewer.