Structure sptreepp


Source File Identifier index Theory binding index

signature sptreepp =
sig

  val sptree_printer : term_grammar.userprinter

end


Source File Identifier index Theory binding index

HOL 4, Trindemossen-1