changeset 12679 | 8ed660138f83 |
parent 9695 | ec7d7f877712 |
child 42637 | 381fdcab0f36 |
--- a/doc-src/Logics/CTT.tex Tue Jan 08 21:02:15 2002 +0100 +++ b/doc-src/Logics/CTT.tex Wed Jan 09 13:43:05 2002 +0100 @@ -645,7 +645,7 @@ \begin{figure} \index{#+@{\tt\#+} symbol} \index{*"- symbol} -\index{*"|"-"| symbol} +\index{"|"-@{{\tt"|"-"|} symbol}} \index{#*@{\tt\#*} symbol} \index{*div symbol} \index{*mod symbol}