Structure smlTag


Source File Identifier index Theory binding index

signature smlTag =
sig

  val sml_fst : ('a * 'b) -> 'a
  val number_stac : string -> string
  val drop_numbering : string list -> string list
  val replace_at : string list * string list -> string list -> string list

end


Source File Identifier index Theory binding index

HOL 4, Kananaskis-13