changeset 56154 | f0a927235162 |
parent 48985 | 5386df44a037 |
child 58860 | fee7cfa69c50 |
--- 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}