# HG changeset patch
# User paulson
# Date 1010580185 -3600
# Node ID 8ed660138f8324713ef182d0df2c7c35edbee036
# Parent  4d36d8df29fa6901411c3a309d463b5dda191279
changed the index sort key from |-| to just |- because pdflatex can't cope
with the two ||s in the index entry

diff -r 4d36d8df29fa -r 8ed660138f83 doc-src/Logics/CTT.tex
--- 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}