Ignore:
Timestamp:
Nov 24, 2010, 5:06:16 PM (10 years ago)
Author:
sacerdot
Message:

Bugs fixed in definition of sub8_with_carrier.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • Deliverables/D4.1/Matita/Nat.ma

    r275 r277  
    164164      ].
    165165   
    166 notation "hvbox(n break % m)"
     166notation "hvbox(n break 'mod' m)"
    167167  right associative with precedence 47
    168168  for @{ 'modulus $n $m }.
Note: See TracChangeset for help on using the changeset viewer.