ease the proof of coincidence count

[why3.git] / drivers / alt_ergo_model.drv

(* Driver for the current version of Alt-Ergo with models *)

import "alt_ergo.drv"

theory BuiltIn
  meta "printer_option" "show_labels"
end