src/HOL/Algebra/Group.thy
changeset 58622 aa99568f56de
parent 57512 cc97b347b301
child 61169 4de9ff3ea29a
     1.1 --- a/src/HOL/Algebra/Group.thy	Tue Oct 07 22:54:49 2014 +0200
     1.2 +++ b/src/HOL/Algebra/Group.thy	Tue Oct 07 23:12:08 2014 +0200
     1.3 @@ -13,7 +13,7 @@
     1.4  subsection {* Definitions *}
     1.5  
     1.6  text {*
     1.7 -  Definitions follow \cite{Jacobson:1985}.
     1.8 +  Definitions follow @{cite "Jacobson:1985"}.
     1.9  *}
    1.10  
    1.11  record 'a monoid =  "'a partial_object" +