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

HOL 4, Kananaskis-10