Structure wordspp


Source File Identifier index Theory binding index

signature wordspp =
sig

  val words_printer : term_grammar.userprinter
  val words_cast_printer : term_grammar.userprinter

end


Source File Identifier index Theory binding index

HOL 4, Kananaskis-14