Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
the \\epsilon character causes font errors in a section title
authorpaulson
Fri, 12 Jan 2001 17:59:37 +0100
changeset 10887 7fb42b97413a
parent 10886 f6b16554720d
child 10888 f321d21b9a6b
the \\epsilon character causes font errors in a section title
doc-src/TutorialI/Rules/rules.tex file | annotate | diff | comparison | revisions 
--- a/doc-src/TutorialI/Rules/rules.tex	Fri Jan 12 16:56:20 2001 +0100
+++ b/doc-src/TutorialI/Rules/rules.tex	Fri Jan 12 17:59:37 2001 +0100
@@ -922,7 +922,7 @@
 \end{exercise}
 
 
-\section{Hilbert's $\epsilon$-Operator}
+\section{Hilbert's Epsilon-Operator}
 
 Isabelle/HOL provides Hilbert's
 $\epsilon$-operator.  The term $\epsilon x. P(x)$ denotes some $x$ such that $P(x)$ is
isabelle