Structure hhExportSexpr


Source File Identifier index Theory binding index

signature hhExportSexpr =
sig

  include Abbrev

  val sexpr_export : string list -> unit

end


Source File Identifier index Theory binding index

HOL 4, Trindemossen-1