Structure boolpp


Source File Identifier index Theory binding index

signature boolpp =
sig

  val condprinter : term_grammar.userprinter
  val letprinter : term_grammar.userprinter
  val let_processor : term_grammar.absyn_postprocessor

end


Source File Identifier index Theory binding index

HOL 4, Kananaskis-14