Ignore:
Timestamp:
Nov 30, 2010, 4:56:42 PM (9 years ago)
Author:
mulligan
Message:

Fixed Status.ma so that it compiles.

File:
1 edited

Legend:

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

    r337 r343  
    9494(* -=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-= *)
    9595   
    96 ndefinition conjunction
     96ndefinition conjunction_bv
    9797  λn: Nat.
    9898  λb: BitVector n.
     
    102102interpretation "BitVector conjunction" 'conjunction b c = (conjunction ? b c).
    103103   
    104 ndefinition inclusive_disjunction
     104ndefinition inclusive_disjunction_bv
    105105  λn: Nat.
    106106  λb: BitVector n.
     
    111111  'inclusive_disjunction b c = (inclusive_disjunction ? b c).
    112112         
    113 ndefinition exclusive_disjunction
     113ndefinition exclusive_disjunction_bv
    114114  λn: Nat.
    115115  λb: BitVector n.
Note: See TracChangeset for help on using the changeset viewer.