Changeset 1599 for src/ASM/BitVector.ma


Ignore:
Timestamp:
Dec 13, 2011, 1:34:37 AM (9 years ago)
Author:
sacerdot
Message:

Start of merging of stuff into the standard library of Matita.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/ASM/BitVector.ma

    r1521 r1599  
    8787  λb: BitVector n.
    8888  λc: BitVector n.
    89     zip_with ? ? ? n (exclusive_disjunction) b c.
     89    zip_with ? ? ? n xorb b c.
    9090   
    9191interpretation "BitVector exclusive disjunction"
    92   'exclusive_disjunction b c = (exclusive_disjunction ? b c).
     92  'exclusive_disjunction b c = (xorb b c).
    9393   
    9494definition negation_bv ≝
Note: See TracChangeset for help on using the changeset viewer.