Ignore:
Timestamp:
Nov 12, 2010, 2:27:56 PM (9 years ago)
Author:
mulligan
Message:

Division and modulus implemented. All necessary orders on naturals
completed. More operations on bitvectors (and general operations that
apply to all vectors) implemented.

File:
1 edited

Legend:

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

    r233 r234  
    11(* -=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-= *)
    2 (* Vectors.ma: Fixed length polymorphic vectors, and routine operations on    *)
    3 (*             them.                                                          *)
     2(* Vector.ma: Fixed length polymorphic vectors, and routine operations on     *)
     3(*            them.                                                           *)
    44(* -=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-= *)
    55
Note: See TracChangeset for help on using the changeset viewer.