
diff -r 2008f1cf3030 -r f0a927235162 src/Doc/Tutorial/Sets/Functions.thy
--- a/src/Doc/Tutorial/Sets/Functions.thy	Sat Mar 15 03:37:22 2014 +0100
+++ b/src/Doc/Tutorial/Sets/Functions.thy	Sat Mar 15 08:31:33 2014 +0100
@@ -100,8 +100,8 @@
 *}
 
 text{*
-@{thm[display] image_compose[no_vars]}
-\rulename{image_compose}
+@{thm[display] image_comp[no_vars]}
+\rulename{image_comp}
 
 @{thm[display] image_Int[no_vars]}
 \rulename{image_Int}




