--- a/src/HOL/Algebra/Group.thy Thu May 06 12:43:00 2004 +0200
+++ b/src/HOL/Algebra/Group.thy Thu May 06 14:14:18 2004 +0200
@@ -13,9 +13,9 @@
section {* From Magmas to Groups *}
text {*
- Definitions follow Jacobson, Basic Algebra I, Freeman, 1985; with
- the exception of \emph{magma} which, following Bourbaki, is a set
- together with a binary, closed operation.
+ Definitions follow \cite{Jacobson:1985}; with the exception of
+ \emph{magma} which, following Bourbaki, is a set together with a
+ binary, closed operation.
*}
subsection {* Definitions *}