Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
renamed (unused?) "split.splits" to split_splits -- it was only accepted by accident;
authorwenzelm
Wed, 11 Mar 2009 19:27:04 +0100
changeset 30445 757ba2bb2b39
parent 30444 62139eb64bfe
child 30455 53d6a1c110f1
renamed (unused?) "split.splits" to split_splits -- it was only accepted by accident;
src/HOL/Word/Num_Lemmas.thy file | annotate | diff | comparison | revisions 
--- a/src/HOL/Word/Num_Lemmas.thy	Wed Mar 11 17:51:01 2009 +0100
+++ b/src/HOL/Word/Num_Lemmas.thy	Wed Mar 11 19:27:04 2009 +0100
@@ -11,9 +11,9 @@
 lemma contentsI: "y = {x} ==> contents y = x" 
   unfolding contents_def by auto -- {* FIXME move *}
 
-lemmas split_split = prod.split [unfolded prod_case_split] 
+lemmas split_split = prod.split [unfolded prod_case_split]
 lemmas split_split_asm = prod.split_asm [unfolded prod_case_split]
-lemmas "split.splits" = split_split split_split_asm 
+lemmas split_splits = split_split split_split_asm
 
 lemmas funpow_0 = funpow.simps(1)
 lemmas funpow_Suc = funpow.simps(2)
isabelle