Structure pred_setpp
Source File
Identifier index
Theory binding index
signature pred_setpp =
sig
val univ_printer : term_grammar.userprinter
end
Source File
Identifier index
Theory binding index
HOL 4, Kananaskis-11