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/List.thy
changeset 35267 8dfd816713c6
parent 35217 01e968432467
child 35275 3745987488b2 
--- a/src/HOL/List.thy	Fri Feb 19 14:47:00 2010 +0100
+++ b/src/HOL/List.thy	Fri Feb 19 14:47:01 2010 +0100
@@ -2352,7 +2352,7 @@
 proof (induct xss arbitrary: xs)
   case Nil show ?case by simp
 next
-  interpret monoid_add "[]" "op @" proof qed simp_all
+  interpret monoid_add "op @" "[]" proof qed simp_all
   case Cons then show ?case by (simp add: foldl_absorb0)
 qed
isabelle