Ignore:
Timestamp:
Mar 4, 2013, 10:03:33 AM (7 years ago)
Author:
sacerdot
Message:
  1. everything extracted again after all bugs in Matita's extraction have been fixed. No more need for manual patching
  2. new extraction after file reorganization (by James)
File:
1 edited

Legend:

Unmodified
Added
Removed
  • extracted/bitVector.ml

    r2649 r2773  
    2828
    2929open FoldStuff
     30
     31open Setoids
     32
     33open Monad
     34
     35open Option
    3036
    3137open Extranat
     
    94100(** val negation_bv : Nat.nat -> bitVector -> Bool.bool Vector.vector **)
    95101let negation_bv n b =
    96   Vector.map0 n Bool.notb b
     102  Vector.map n Bool.notb b
    97103
    98104(** val eq_b : Bool.bool -> Bool.bool -> Bool.bool **)
Note: See TracChangeset for help on using the changeset viewer.