Structure pred_setpp


Source File Identifier index Theory binding index

signature pred_setpp =
sig

  val univ_printer : term_grammar.userprinter

  val setcomprehension_printer : term_grammar.userprinter

end


Source File Identifier index Theory binding index

HOL 4, Kananaskis-13