src/HOL/Groups.thy
changeset 54703 499f92dc6e45
parent 54250 7d2544dd3988
child 54868 bab6cade3cc5
     1.1 --- a/src/HOL/Groups.thy	Mon Dec 09 12:16:52 2013 +0100
     1.2 +++ b/src/HOL/Groups.thy	Mon Dec 09 12:22:23 2013 +0100
     1.3 @@ -567,7 +567,7 @@
     1.4    \end{itemize}
     1.5    Most of the used notions can also be looked up in 
     1.6    \begin{itemize}
     1.7 -  \item \url{http://www.mathworld.com} by Eric Weisstein et. al.
     1.8 +  \item @{url "http://www.mathworld.com"} by Eric Weisstein et. al.
     1.9    \item \emph{Algebra I} by van der Waerden, Springer.
    1.10    \end{itemize}
    1.11  *}