Mercurial Mercurial > repos > isabelle / comparison
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/HOL/Library/Code_Real_Approx_By_Float.thy
changeset 81706 7beb0cf38292
parent 75800 a21debbc7074
equal deleted inserted replaced
81705:53fea2ccab19 81706:7beb0cf38292 
    80   pi
 
    80   pi
 
    81   arcsin
 
    81   arcsin
 
    82   arccos
 
    82   arccos
 
    83   arctan]]
 
    83   arctan]]
 
    84 
    84 
    85 code_reserved SML Real
 
    85 code_reserved (SML) Real
 
    86 
    86 
    87 code_printing
 
    87 code_printing
 
    88   type_constructor real \<rightharpoonup>
 
    88   type_constructor real \<rightharpoonup>
 
    89     (SML) "real"
 
    89     (SML) "real"
 
    90     and (OCaml) "float"
 
    90     and (OCaml) "float"
isabelle