
 \begin{theindex} 
 \makeatletter\scan@allowedfalse
{\bf\hfil Symbols\hfil}\nopagebreak

  \item \verb*+\@@KeywordsCurrentStyle+\pfill 81, 93, 94
  \item \verb*+\@@TypeStyle+\pfill \main{82}, 86, 87, 89, 90
  \item \verb*+\@@kwrd+\pfill 81
  \item \verb*+\@@newkwrd+\pfill \main{80}, 81
  \item \verb*+\@@underlinefalse+\pfill 83, 92
  \item \verb*+\@@underlinetrue+\pfill 97

  \indexspace
{\bf\hfil A\hfil}\nopagebreak

  \item \verb*+\ABORT+\pfill 107
  \item \verb*+\ABS+\pfill 108
  \item \verb*+\ABSTRACT+\pfill 109
  \item \verb*+\ACCEPT+\pfill 110
  \item \verb*+\ACCESS+\pfill 111
  \item \verb*+\AlgoKeywords+\pfill \usage{2}, \main{102}
  \item \verb*+\ALIASED+\pfill 112
  \item \verb*+\ALL+\pfill 113
  \item \verb*+\ALORS+\pfill 315
  \item \verb*+\AlreadyDefined@@Keywords+\pfill \main{76}
  \item \verb*+\ALT+\pfill 114
  \item \verb*+\AND+\pfill 115
  \item \verb*+\APPEND+\pfill 116
  \item \verb*+\ARRAY+\pfill 117
  \item \verb*+\ASSERT+\pfill 118
  \item \verb*+\ASSIGN+\pfill 119
  \item \verb*+\AT+\pfill 120

  \indexspace
{\bf\hfil B\hfil}\nopagebreak

  \item \verb*+\BEGIN+\pfill 121
  \item \verb*+\BLOCK+\pfill 122
  \item \verb*+\BODY+\pfill 124
  \item \verb*+\BOOLEAN+\pfill 123
  \item \verb*+\BOT+\pfill 125
  \item \verb*+\bot+\pfill 125
  \item \verb*+\BOX+\pfill 126
  \item \verb*+\BY+\pfill 127

  \indexspace
{\bf\hfil C\hfil}\nopagebreak

  \item \verb*+\CASE+\pfill 128
  \item \verb*+\CATINDEX+\pfill 129
  \item \verb*+\CHAN+\pfill 130
  \item \verb*+\CHANNEL+\pfill 131
  \item \verb*+\CHAR+\pfill 132
  \item \verb*+\CHARACTER+\pfill 133
  \item \verb*+\CLOSE+\pfill 134
  \item \verb*+\CO+\pfill 135
  \item \verb*+\COBEGIN+\pfill 136
  \item \verb*+\CodelineIndex+\pfill 69
  \item \verb*+\COEND+\pfill 137
  \item \verb*+\columnsep+\pfill 63
  \item \verb*+\COMMUTATIVE+\pfill 138
  \item \verb*+\COMPLEX+\pfill 139
  \item \verb*+\COMPUTE+\pfill 140
  \item \verb*+\CONNECT+\pfill 141
  \item \verb*+\CONNECTB+\pfill 142
  \item \verb*+\CONST+\pfill 143
  \item \verb*+\CONSTANT+\pfill 144
  \item \verb*+\CONSTRAINTS+\pfill 145
  \item \verb*+\CONTINUE+\pfill 146

  \indexspace
{\bf\hfil D\hfil}\nopagebreak

  \item \verb*+\DATA+\pfill 147
  \item \verb*+\DEBUT+\pfill 318
  \item \verb*+\DECLARE+\pfill 148
  \item \verb*+\DECOMPOSE+\pfill 149
  \item \verb*+\DefineKeywordsStyles+\pfill \usage{3}, \main{83}, 98, 
		100--102, 104
  \item \verb*+\DefineUnderlinedKeywordsStyles+\pfill \usage{3}, 
		\main{96}, 103
  \item \verb*+\DELAY+\pfill 150
  \item \verb*+\DELTA+\pfill 151
  \item \verb*+\DEPTH+\pfill 152
  \item \verb*+\DIGITS+\pfill 153
  \item \verb*+\DIMENSION+\pfill 154
  \item \verb*+\DIST+\pfill 155
  \item \verb*+\DISTRIBUTE+\pfill 156
  \item \verb*+\DIV+\pfill 157
  \item \verb*+\DO+\pfill 158
  \item \verb*+\DOALL+\pfill 159
  \item \verb*+\DocInput+\pfill 72
  \item \verb*+\DOM+\pfill 160
  \item \verb*+\DOMAIN+\pfill 161
  \item \verb*+\DOMAINS+\pfill 162
  \item \verb*+\DONE+\pfill 163
  \item \verb*+\DOPAR+\pfill 164
  \item \verb*+\DOWNTO+\pfill 165
  \item \verb*+\DYNAMIC+\pfill 166

  \indexspace
{\bf\hfil E\hfil}\nopagebreak

  \item \verb*+\EACH+\pfill 167
  \item \verb*+\EGO+\pfill 168
  \item \verb*+\ELSE+\pfill 169
  \item \verb*+\ELSIF+\pfill 170
  \item \verb*+\EMETTRE+\pfill 309
  \item \verb*+\EnableCrossrefs+\pfill 67
  \item \verb*+\END+\pfill 171
  \item \verb*+\ENDCASE+\pfill 172
  \item \verb*+\ENDDO+\pfill 174
  \item \verb*+\ENDIF+\pfill 173
  \item \verb*+\ENDLOOP+\pfill 175
  \item \verb*+\ENTRY+\pfill 176
  \item \verb*+\EOT+\pfill 177
  \item \verb*+\EQ+\pfill 178
  \item \verb*+\EXCEPTION+\pfill 179
  \item \verb*+\EXIT+\pfill 180
  \item \verb*+\EXTERNAL+\pfill 181

  \indexspace
{\bf\hfil F\hfil}\nopagebreak

  \item \verb*+\FAIRE+\pfill 312
  \item \verb*+\FAIT+\pfill 313
  \item \verb*+\FAlgoKeywords+\pfill \usage{2}, \main{102}
  \item \verb*+\FI+\pfill 182
  \item \verb*+\FILE+\pfill 183
  \item \verb*+\FIN+\pfill 319
  \item \verb*+\FINSI+\pfill 317
  \item \verb*+\FIRST+\pfill 184
  \item \verb*+\FNormalKeywords+\pfill \usage{2}, \main{104}
  \item \verb*+\FOR+\pfill 185
  \item \verb*+\FORALL+\pfill 186
  \item \verb*+\FOREACH+\pfill 187
  \item \verb*+\FORWARD+\pfill 188
  \item \verb*+\FProgKeywords+\pfill \usage{2}, \main{100}
  \item \verb*+\FttKeywords+\pfill \usage{2}, \main{101}
  \item \verb*+\FUAlgoKeywords+\pfill \usage{2}, \main{103}, 105, 320
  \item \verb*+\FUNCTION+\pfill 189

  \indexspace
{\bf\hfil G\hfil}\nopagebreak

  \item \verb*+\GE+\pfill 190
  \item \verb*+\GENERIC+\pfill 191
  \item \verb*+\geq+\pfill 190
  \item \verb*+\GETNODE+\pfill 192
  \item \verb*+\GOTO+\pfill 193
  \item \verb*+\GRAPH+\pfill 194
  \item \verb*+\GT+\pfill 195

  \indexspace
{\bf\hfil H\hfil}\nopagebreak

  \item \verb*+\headsep+\pfill 62

  \indexspace
{\bf\hfil I\hfil}\nopagebreak

  \item \verb*+\IF+\pfill 196
  \item \verb*+\if@@underline+\pfill 83, 85
  \item \verb*+\ifnoprogsfile+\pfill 32, 35, 39, 46
  \item \verb*+\IMPLICATION+\pfill 197
  \item \verb*+\IMPLY+\pfill 198
  \item \verb*+\IMPORT+\pfill 199
  \item \verb*+\IN+\pfill 200
  \item \verb*+\IND+\pfill 201
  \item \verb*+\INDEX+\pfill 202
  \item \verb*+\INIT+\pfill 203
  \item \verb*+\INOUT+\pfill 204
  \item \verb*+\INPORT+\pfill 205
  \item \verb*+\INPUT+\pfill 206
  \item \verb*+\INTEGER+\pfill 207
  \item \verb*+\INTO+\pfill 208
  \item \verb*+\IS+\pfill 209

  \indexspace
{\bf\hfil L\hfil}\nopagebreak

  \item \verb*+\LABEL+\pfill 210
  \item \verb*+\LAST+\pfill 211
  \item \verb*+\LE+\pfill 212
  \item \verb*+\LENGTH+\pfill 213
  \item \verb*+\leq+\pfill 212
  \item \verb*+\LIMITED+\pfill 214
  \item \verb*+\Longrightarrow+\pfill 142
  \item \verb*+\longrightarrow+\pfill 141
  \item \verb*+\LOOP+\pfill 215
  \item \verb*+\LT+\pfill 216

  \indexspace
{\bf\hfil M\hfil}\nopagebreak

  \item \verb*+\MakePercentIgnore+\pfill 53
  \item \verb*+\MAP+\pfill 217
  \item \verb*+\marginparwidth+\pfill 60
  \item \verb*+\MOD+\pfill 218
  \item \verb*+\MODULE+\pfill 219
  \item \verb*+\MODULO+\pfill 220
  \item \verb*+\MULTIPLE+\pfill 221
  \item \verb*+\MYID+\pfill 222

  \indexspace
{\bf\hfil N\hfil}\nopagebreak

  \item \verb*+\NE+\pfill 223
  \item \verb*+\NEIGHBOUR+\pfill 224
  \item \verb*+\NEIGHBOURS+\pfill 225
  \item \verb*+\neq+\pfill 223
  \item \verb*+\NEW+\pfill 226
  \item \verb*+\NEWBLOCK+\pfill 227
  \item \verb*+\NewKeyword+\pfill \usage{2}, \main{80}, 107--305, 
		309--319
  \item \verb*+\NIL+\pfill 228
  \item \verb*+\NODE+\pfill 229
  \item \verb*+\noprogsfilefalse+\pfill 34, 37
  \item \verb*+\noprogsfiletrue+\pfill 34, 37
  \item \verb*+\NormalKeywords+\pfill \usage{2}, \main{104}
  \item \verb*+\NOT+\pfill 230
  \item \verb*+\NUL+\pfill 231
  \item \verb*+\NULL+\pfill 232

  \indexspace
{\bf\hfil O\hfil}\nopagebreak

  \item \verb*+\OD+\pfill 233
  \item \verb*+\oddsidemargin+\pfill 59
  \item \verb*+\ODPAR+\pfill 234
  \item \verb*+\OF+\pfill 235
  \item \verb*+\OldMakeindex+\pfill 70
  \item \verb*+\ON+\pfill 236
  \item \verb*+\OPEN+\pfill 237
  \item \verb*+\OR+\pfill 238
  \item \verb*+\OTHERS+\pfill 239
  \item \verb*+\OUT+\pfill 240
  \item \verb*+\OUTPORT+\pfill 241
  \item \verb*+\OUTPOUT+\pfill 242

  \indexspace
{\bf\hfil P\hfil}\nopagebreak

  \item \verb*+\PACKAGE+\pfill 243
  \item \verb*+\PAR+\pfill 246
  \item \verb*+\PARALLEL+\pfill 244
  \item \verb*+\PARFOR+\pfill 245
  \item \verb*+\PERCENT+\pfill 247
  \item \verb*+\PLACE+\pfill 248
  \item \verb*+\PORT+\pfill 249
  \item \verb*+\POUR+\pfill 311
  \item \verb*+\PRAGMA+\pfill 250
  \item \verb*+\PRI+\pfill 251
  \item \verb*+\PRIVATE+\pfill 252
  \item \verb*+\PROCEDURE+\pfill 253
  \item \verb*+\PROCESS+\pfill 254
  \item \verb*+\ProgKeywords+\pfill \usage{2}, \main{100}
  \item \verb*+\PROGRAM+\pfill 255
  \item \verb*+\PROTECTED+\pfill 256

  \indexspace
{\bf\hfil R\hfil}\nopagebreak

  \item \verb*+\RAISE+\pfill 257
  \item \verb*+\RANGE+\pfill 258
  \item \verb*+\READ+\pfill 259
  \item \verb*+\READY+\pfill 260
  \item \verb*+\REAL+\pfill 261
  \item \verb*+\RECEIVE+\pfill 264
  \item \verb*+\RECEVOIR+\pfill 310
  \item \verb*+\RECORD+\pfill 262
  \item \verb*+\RecordChanges+\pfill 68
  \item \verb*+\RECV+\pfill 263
  \item \verb*+\REM+\pfill 265
  \item \verb*+\RENAMES+\pfill 266
  \item \verb*+\REPEAT+\pfill 267
  \item \verb*+\REQUEUE+\pfill 268
  \item \verb*+\RESET+\pfill 269
  \item \verb*+\reset@font+\pfill 79, 82
  \item \verb*+\RETURN+\pfill 270
  \item \verb*+\REVERSE+\pfill 271
  \item \verb*+\REWIND+\pfill 272
  \item \verb*+\REWRITE+\pfill 273
  \item \verb*+\Rightarrow+\pfill 197, 198
  \item \verb*+\ROOT+\pfill 274

  \indexspace
{\bf\hfil S\hfil}\nopagebreak

  \item \verb*+\SELECT+\pfill 275
  \item \verb*+\SEND+\pfill 276
  \item \verb*+\SENDEOT+\pfill 277
  \item \verb*+\SEPARATE+\pfill 278
  \item \verb*+\SEQ+\pfill 279
  \item \verb*+\SET+\pfill 280
  \item \verb*+\SI+\pfill 314
  \item \verb*+\SINON+\pfill 316
  \item \verb*+\SIZE+\pfill 281
  \item \verb*+\SKIP+\pfill 282
  \item \verb*+\STRING+\pfill 283
  \item \verb*+\SUBTYPE+\pfill 284
  \item \verb*+\SWITCH+\pfill 285

  \indexspace
{\bf\hfil T\hfil}\nopagebreak

  \item \verb*+\TAGGED+\pfill 286
  \item \verb*+\TASK+\pfill 287
  \item \verb*+\TERMINATE+\pfill 288
  \item \verb*+\textheight+\pfill 56
  \item \verb*+\textwidth+\pfill 55
  \item \verb*+\THEN+\pfill 289
  \item \verb*+\TO+\pfill 290
  \item \verb*+\TOWARDS+\pfill 291
  \item \verb*+\TRANSMIT+\pfill 292
  \item \verb*+\ttKeywords+\pfill \usage{2}, \main{101}
  \item \verb*+\TUPLE+\pfill 293
  \item \verb*+\TYPE+\pfill 294

  \indexspace
{\bf\hfil U\hfil}\nopagebreak

  \item \verb*+\UAlgoKeywords+\pfill \usage{2}, \main{103}
  \item \verb*+\UFAlgoKeywords+\pfill \usage{2}, \main{105}
  \item \verb*+\UNDEF+\pfill 295
  \item \verb*+\UNTIL+\pfill 296
  \item \verb*+\USE+\pfill 297
  \item \verb*+\usepackage+\pfill 50, 51

  \indexspace
{\bf\hfil V\hfil}\nopagebreak

  \item \verb*+\VAR+\pfill 298
  \item \verb*+\VARIABLE+\pfill 299

  \indexspace
{\bf\hfil W\hfil}\nopagebreak

  \item \verb*+\WHEN+\pfill 300
  \item \verb*+\WHERE+\pfill 301
  \item \verb*+\WHILE+\pfill 302
  \item \verb*+\WITH+\pfill 303
  \item \verb*+\WRITE+\pfill 304

  \indexspace
{\bf\hfil X\hfil}\nopagebreak

  \item \verb*+\XOR+\pfill 305

 \end{theindex}
