doc-src/Logics/CTT.tex
Wed, 09 Jan 2002 13:43:05 +0100 paulson changed the index sort key from |-| to just |- because pdflatex can't cope
Mon, 28 Aug 2000 13:52:38 +0200 wenzelm proper setup of iman.sty/extra.sty/ttbox.sty;
Tue, 03 Aug 1999 13:05:54 +0200 paulson \underscoreoff needed because of \underscoreon in previous file
less more (0) -10 -3 tip