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/Numeral.thy
changeset 14288 d149e3cbdb39
parent 13490 44bdc150211b
child 14387 e96d5c42c4b0
equal deleted inserted replaced
14287:f630017ed01c 14288:d149e3cbdb39 
    55   by (simp add: Let_def)
 
    55   by (simp add: Let_def)
 
    56 
    56 
    57 lemma Let_1 [simp]: "Let 1 f == f 1"
 
    57 lemma Let_1 [simp]: "Let 1 f == f 1"
 
    58   by (simp add: Let_def)
 
    58   by (simp add: Let_def)
 
    59 
    59 
       
    60 
    60 end
 
    61 end
isabelle