doc-src/System/Thy/Presentation.thy
changeset 28838 d5db6dfcb34a
parent 28504 7ad7d7d6df47
child 28914 f993cbffc42a
     1.1 --- a/doc-src/System/Thy/Presentation.thy	Tue Nov 18 18:22:49 2008 +0100
     1.2 +++ b/doc-src/System/Thy/Presentation.thy	Tue Nov 18 18:25:10 2008 +0100
     1.3 @@ -686,8 +686,8 @@
     1.4    "isabellesym.sty"} should be included as well.  This package
     1.5    contains a standard set of {\LaTeX} macro definitions @{verbatim
     1.6    "\\isasym"}@{text foo} corresponding to @{verbatim "\\"}@{verbatim
     1.7 -  "<"}@{text foo}@{verbatim ">"}, (see \appref{app:symbols} for a
     1.8 -  complete list of predefined Isabelle symbols).  Users may invent
     1.9 +  "<"}@{text foo}@{verbatim ">"}, see \cite{isabelle-implementation} for a
    1.10 +  complete list of predefined Isabelle symbols.  Users may invent
    1.11    further symbols as well, just by providing {\LaTeX} macros in a
    1.12    similar fashion as in @{"file" "~~/lib/texinputs/isabellesym.sty"} of
    1.13    the distribution.