Ignore:
Timestamp:
Nov 12, 2010, 11:51:18 AM (9 years ago)
Author:
mulligan
Message:

Changes from this morning: Bool / Prop division = nightmare.

File:
1 edited

Legend:

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

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