Ignore:
Timestamp:
Nov 23, 2010, 2:30:10 PM (10 years ago)
Author:
sacerdot
Message:
  • Minimal changes to make it compile with the standard distribution of Matita once this directory is substituted to nlibrary
  • ambiguity reduced by lower-casing booleans
File:
1 edited

Legend:

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

    r247 r260  
    1212  λe: Either A B.
    1313    match e with
    14       [ Left l ⇒ True
    15       | Right r ⇒ False
     14      [ Left l ⇒ true
     15      | Right r ⇒ false
    1616      ].
    1717     
     
    2020  λe: Either A B.
    2121    match e with
    22       [ Left l ⇒ False
    23       | Right r ⇒ True
     22      [ Left l ⇒ false
     23      | Right r ⇒ true
    2424      ].
    2525
Note: See TracChangeset for help on using the changeset viewer.