Structure tttLexer


Source File Identifier index Theory binding index

signature tttLexer =
sig

  val rm_comment : string -> string
  val ttt_lex : string -> string list

end


Source File Identifier index Theory binding index

HOL 4, Kananaskis-11