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/Power.thy
changeset 31998 2c7a24f74db9
parent 31155 92d8ff6af82c
child 33274 b6ff7db522b5 
--- a/src/HOL/Power.thy	Tue Jul 14 10:53:44 2009 +0200
+++ b/src/HOL/Power.thy	Tue Jul 14 10:54:04 2009 +0200
@@ -455,7 +455,7 @@
 
 subsection {* Code generator tweak *}
 
-lemma power_power_power [code, code unfold, code inline del]:
+lemma power_power_power [code, code_unfold, code_inline del]:
   "power = power.power (1::'a::{power}) (op *)"
   unfolding power_def power.power_def ..
isabelle