Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
doc-src/TutorialI/Misc/document/pairs.tex
changeset 40406 313a24b66a8d
parent 27319 6584901d694c 
--- a/doc-src/TutorialI/Misc/document/pairs.tex	Sun Nov 07 23:32:26 2010 +0100
+++ b/doc-src/TutorialI/Misc/document/pairs.tex	Mon Nov 08 00:00:47 2010 +0100
@@ -35,7 +35,7 @@
 as a degenerate product with 0 components.
 \item
 Products, like type \isa{nat}, are datatypes, which means
-in particular that \isa{induct{\isacharunderscore}tac} and \isa{case{\isacharunderscore}tac} are applicable to
+in particular that \isa{induct{\isaliteral{5F}{\isacharunderscore}}tac} and \isa{case{\isaliteral{5F}{\isacharunderscore}}tac} are applicable to
 terms of product type.
 Both split the term into a number of variables corresponding to the tuple structure
 (up to 7 components).
isabelle