Structure GrammarAncestry


Source File Identifier index Theory binding index

signature GrammarAncestry =
sig

  val ancestry : {thy:string} -> string list
  val set_ancestry : string list -> unit

end


Source File Identifier index Theory binding index

HOL 4, Trindemossen-1