Merge branch 'fix_missing_edited_files' into 'master'

[why3.git] / drivers / no-bv.gen

(* Why3 driver for noBV alternatives on bit-vector theories *)

theory bv.BV_Gen
  remove prop nth_bv_def
  remove prop eq_sub_bv_def

  remove prop to_uint_add
  remove prop to_uint_sub
  remove prop to_uint_neg
  remove prop to_uint_mul
end