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/Decision_Procs/Approximation.thy
changeset 65109 a79c1080f1e9
parent 64272 f76b6dda2e56
child 65578 e4997c181cce
equal deleted inserted replaced
65099:30d0b2f1df76 65109:a79c1080f1e9 
    10   Dense_Linear_Order
 
    10   Dense_Linear_Order
 
    11   "~~/src/HOL/Library/Code_Target_Numeral"
 
    11   "~~/src/HOL/Library/Code_Target_Numeral"
 
    12 keywords "approximate" :: diag
 
    12 keywords "approximate" :: diag
 
    13 begin
 
    13 begin
 
    14 
    14 
    15 declare powr_numeral [simp]
 
       
    16 declare powr_neg_one [simp]
 
    15 declare powr_neg_one [simp]
 
    17 declare powr_neg_numeral [simp]
 
    16 declare powr_neg_numeral [simp]
 
    18 
    17 
    19 section "Horner Scheme"
 
    18 section "Horner Scheme"
 
    20 
    19
isabelle