Mercurial Mercurial > repos > isabelle / diff
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/Word/BinOperations.thy
changeset 26514 eff55c0a6d34
parent 26086 3c243098b64a
child 26558 7fcc10088e72 
--- a/src/HOL/Word/BinOperations.thy	Wed Apr 02 15:58:32 2008 +0200
+++ b/src/HOL/Word/BinOperations.thy	Wed Apr 02 15:58:36 2008 +0200
@@ -306,7 +306,7 @@
   apply (case_tac x rule: bin_exhaust)
   apply (case_tac b)
    apply (case_tac [!] bit)
-     apply (auto simp: less_eq_numeral_code)
+     apply (auto simp: less_eq_int_code)
   done
 
 lemmas int_and_le =
isabelle