Changeset 2006 for src/ASM/BitVector.ma


Ignore:
Timestamp:
May 30, 2012, 6:43:02 PM (8 years ago)
Author:
boender
Message:
  • added alias for bitvector zero
  • changed extralib bounded forall/exists to use le instead of lt
File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/ASM/BitVector.ma

    r1928 r2006  
    5050definition zero: ∀n:nat. BitVector n ≝
    5151  λn: nat. replicate bool n false.
    52    
     52
     53alias id "bv_zero" = "cic:/matita/cerco/ASM/BitVector/zero.def(2)".
     54
    5355definition maximum: ∀n:nat. BitVector n ≝
    5456  λn: nat. replicate bool n true.
Note: See TracChangeset for help on using the changeset viewer.