1.1 --- a/src/HOL/Library/More_List.thy	Thu May 20 17:29:43 2010 +0200
     1.2 +++ b/src/HOL/Library/More_List.thy	Thu May 20 17:35:02 2010 +0200
     1.3 @@ -237,7 +237,7 @@
     1.4    "SUPR (set xs) f = fold (sup \<circ> f) xs bot"
     1.5    unfolding SUPR_def set_map [symmetric] Sup_set_fold fold_map ..
     1.6  
     1.7 -text {* nth_map *}
     1.8 +text {* @{text nth_map} *}
     1.9  
    1.10  definition nth_map :: "nat \<Rightarrow> ('a \<Rightarrow> 'a) \<Rightarrow> 'a list \<Rightarrow> 'a list" where
    1.11    "nth_map n f xs = (if n < length xs then