Structure DecimalFractionPP

Source File	Identifier index	Theory binding index

signature DecimalFractionPP =
sig

  val fraction : {Thy:string,Division:string,fromNum:string} ->
                 term_grammar.userprinter

end

Source File	Identifier index	Theory binding index