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