doc-src/Logics/logics.ind

 \begin{theindex}
 
-  \item {\tt !} symbol, 60, 62, 69, 70
+  \item {\tt !} symbol, 60, 62, 69, 70, 82
   \item {\tt[]} symbol, 82
   \item {\tt\#} symbol, 82
   \item {\tt\#*} symbol, 47, 128
   \item {\tt\#+} symbol, 47, 128
   \item {\tt\#-} symbol, 47

   \item {\tt notE} theorem, 9, 10, 65
   \item {\tt notI} theorem, 9, 65
   \item {\tt notL} theorem, 107
   \item {\tt notnotD} theorem, 11, 66
   \item {\tt notR} theorem, 107
-  \item {\tt nth} constant, 82
   \item {\tt null} constant, 82
 
   \indexspace
 
   \item {\tt O} symbol, 45