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.
added illustrative diagnostics
authorhaftmann
Thu, 04 Oct 2007 19:46:09 +0200
changeset 24843 0fc73c4003ac
parent 24842 2bdf31a97362
child 24844 98c006a30218
added illustrative diagnostics
src/HOL/ex/Classpackage.thy file | annotate | diff | comparison | revisions 
--- a/src/HOL/ex/Classpackage.thy	Thu Oct 04 19:42:03 2007 +0200
+++ b/src/HOL/ex/Classpackage.thy	Thu Oct 04 19:46:09 2007 +0200
@@ -293,6 +293,8 @@
 end
 
 (*FIXME*)
+thm (no_abbrevs) pow_def
+thm (no_abbrevs) pow_def [folded monoid_class.npow]
 lemmas pow_def [code func] = pow_def [folded monoid_class.npow]
 
 context group begin
isabelle