alt_ergo_model.drv 142 Bytes
Newer Older
1
(* Driver for the current version of Alt-Ergo with models *)
2

3
import "alt_ergo.drv"
4 5 6 7

theory BuiltIn
  meta "printer_option" "show_labels"
end