# HG changeset patch
# User wenzelm
# Date 958913041 -7200
# Node ID e591fc327675948ecbabb5455d8569f303eec143
# Parent  e9f1cd37cba47fa3ef3359ea0b0bb029aa76a219
cite isabelle-axclass;

diff -r e9f1cd37cba4 -r e591fc327675 doc-src/IsarRef/generic.tex
--- a/doc-src/IsarRef/generic.tex	Sun May 21 14:42:35 2000 +0200
+++ b/doc-src/IsarRef/generic.tex	Sun May 21 14:44:01 2000 +0200
@@ -13,10 +13,9 @@
 Axiomatic type classes are provided by Isabelle/Pure as a \emph{definitional}
 interface to type classes (cf.~\S\ref{sec:classes}).  Thus any object logic
 may make use of this light-weight mechanism of abstract theories
-\cite{Wenzel:1997:TPHOL}.  There is also a tutorial on \emph{Using Axiomatic
-  Type Classes in Isabelle} that is part of the standard Isabelle
-documentation.
-%FIXME cite
+\cite{Wenzel:1997:TPHOL}.  There is also a tutorial on using axiomatic type
+classes in isabelle \cite{isabelle-axclass} that is part of the standard
+Isabelle documentation.
 
 \begin{rail}
   'axclass' classdecl (axmdecl prop comment? +)