Structure hhWriter


Source File Identifier index Theory binding index

signature hhWriter =
sig

  include Abbrev
  val thm_of_depid     : Dep.depid -> (string * Thm.thm)

  val write_hh_thyl    : string -> string list -> unit
  val write_conjecture : string -> term -> unit
  val write_thydep     : string -> string list -> unit

  val reserved_names_escaped : string list

end


Source File Identifier index Theory binding index

HOL 4, Kananaskis-11