# HG changeset patch
# User nipkow
# Date 1391533173 -3600
# Node ID e33f25233798650add8d17198310c02bd410c2f2
# Parent  908fd015cf2e5b6145ba11b39fdb10ac481e817e
tuned latex

diff -r 908fd015cf2e -r e33f25233798 src/Doc/ProgProve/document/prelude.tex
--- a/src/Doc/ProgProve/document/prelude.tex	Tue Feb 04 17:44:15 2014 +0100
+++ b/src/Doc/ProgProve/document/prelude.tex	Tue Feb 04 17:59:33 2014 +0100
@@ -65,7 +65,7 @@
 \newcommand{\conceptnoidx}[1]{\textbf{#1}}
 \newcommand{\concept}[1]{\conceptnoidx{#1}\index{#1}}
 \newcommand{\conceptidx}[2]{\conceptnoidx{#1}\index{#2}}
-\newcommand{\indexed}[2]{#1\index{#2@#1}}
+\newcommand{\indexed}[2]{#1\index{#2@\protect#1}}
 
 \newcommand{\isabox}{\fbox}
 \newcommand{\bigisabox}[1]