Structure TheoryLexer

Source File	Identifier index	Theory binding index

signature TheoryLexer =
sig

  val lex_thydata : string -> string list

end

Source File	Identifier index	Theory binding index