// $ANTLR : RParser.g -> RESOLVETokenTypes.txt$
RESOLVE    // output token vocab name
ABS="abs"=4
AND="and"=5
ARRAY="Array"=6
ASSUME="Assume"=7
AUXCODE="Aux_Code"=8
AXIOM="Axiom"=9
BASECASE="Base_case"=10
CARTPROD="Cart_Prod"=11
CASE="Case"=12
CAT="o"=13
CHANGING="changing"=14
COMMUTATIVITY="Commutativity"=15
COMPLEMENT="complement"=16
CONCEPT="concept"=17
CONFIRM="Confirm"=18
CONTRADICTION="contradiction"=19
COROLLARY="Corollary"=20
DECREASING="decreasing"=21
DEDUCTION="Deduction"=22
DIV="div"=23
DO="do"=24
ELSE="else"=25
END="end"=26
ENHANCEMENT="enhancement"=27
ENSURES="ensures"=28
EQUALITY="equality"=29
EXEMPLAR="exemplar"=30
EXIT="exit"=31
FACILITY="Facility"=32
FAC_FINAL="Facility_Finalization"=33
FAC_INIT="Facility_Initialization"=34
FINALIZATION="finalization"=35
FROM="from"=36
FOR="for"=37
FORGET="Forget"=38
GOAL="Goal"=39
IFF="iff"=40
IMPLIES="implies"=41
IN="is_in"=42
INDUCTIVECASE="Inductive_case"=43
INITIALIZATION="initialization"=44
INTERSECT="intersection"=45
IS="is"=46
ITERATE="Iterate"=47
LAMBDA="lambda"=48
LEMMA="Lemma"=49
MAINTAINING="maintaining"=50
MOD="mod"=51
MODULE_CONCEPT="Concept"=52
MODULE_ENHANCEMENT="Enhancement"=53
MODULE_REALIZATION="Realization"=54
NOT="not"=55
NOT_IN="is_not_in"=56
NOT_PROP_SUBSET="is_not_proper_subset_of"=57
NOT_SUBSET="is_not_subset_of"=58
NOT_SUBSTR="is_not_substring_of"=59
OF="of"=60
OR="or"=61
OTHERWISE="otherwise"=62
PROOF="Proof"=63
PROP_SUBSET="is_proper_subset_of"=64
QED="QED"=65
REALIZATION="realization"=66
RECORD="Record"=67
REM="rem"=68
REMEMBER="Remember"=69
REPEAT="repeat"=70
REQUIRES="requires"=71
SELF="self"=72
SSET="SSet"=73
STATIC="Static"=74
SUBSET="is_subset_of"=75
SUBSTR="is_substring_of"=76
SUPPOSITION="Supposition"=77
THEN="then"=78
THEOREM="Theorem"=79
TIMES="times"=80
UNION="union"=81
UNIQUE="Unique"=82
USES="uses"=83
WHEN="when"=84
WHERE="where"=85
WHILE="While"=86
WITHOUT="without"=87
WORD_SEQUENCE=88
WS=89
SL_COMMENT=90
ML_COMMENT=91
PROOFS_FOR=92
THEORY=93
FORALL=94
EXISTS_UNIQUE=95
EXISTS=96
ST=97
ALTERS=98
CLEARS=99
EVALUATES=100
PRESERVES=101
REPLACES=102
RESTORES=103
UPDATES=104
REASSIGNS=105
ENHANCED_BY=106
REALIZED_BY=107
PROCEDURE=108
RECURSIVE_PROCEDURE=109
OPERATION=110
AUX_OPERATION=111
VARS=112
VAR=113
AUXVARS=114
AUXVAR=115
DEFINES=116
DEFINITION=117
IMPLICIT_DEF=118
INDUCTIVE_DEF=119
LOCAL_MATH_TYPE=120
MATH_TYPE=121
MATH_SUBTYPE=122
TYPE_FAMILY=123
TYPE=124
CONSTRAINTS=125
CONSTRAINT=126
CORR=127
CONVENTIONS=128
CONVENTION=129
BY=130
PROPERTY=131
POWERSET=132
EXCLUDED_MIDDLE=133
MODUS_PONENS=134
AND_RULE=135
ALTERNATIVE_ELIMINATION=136
COMMON_CONCLUSION=137
REDUCTIO_AD_ABSURDUM=138
UNIVERSAL_GENERALIZATION=139
EXISTENTIAL_GENERALIZATION=140
OR_RULE=141
CONJUNCT_ELIMINATION=142
QUANTIFIER_DISTRIBUTION=143
UNIVERSAL_INSTANTIATION=144
EXISTENTIAL_INSTANTIATION=145
IF=146
MODELED=147
REPRESENTED=148
IDENTIFIER("an identifier")=149
ALPHABETIC=150
LETTER=151
DIGIT=152
DIGITS=153
REAL=154
NUMERIC_LITERAL("a numeric literal")=155
CHARACTER_LITERAL("a character")=156
DOT=157
COMMA=158
LPAREN=159
RPAREN=160
LBRACE=161
RBRACE=162
DBL_LBRACE=163
DBL_RBRACE=164
LSQBRACK=165
RSQBRACK=166
HASH=167
CARAT=168
PLUS=169
MINUS=170
AMPERSAND=171
MULTIPLY=172
DIVIDE=173
EXP=174
RANGE=175
NOT_EQL=176
GT_EQL=177
LT_EQL=178
EQL=179
LT=180
GT=181
LL=182
GG=183
FUNCARROW=184
COLON=185
SEMICOLON=186
SWAP_OP=187
ASSIGN_OP=188
BAR=189
DBL_BAR=190
DQUOTE=191
TILDE=192
STRING_LITERAL=193
FREE_OPERATOR("a free operator (infix or prefix)")=194
USABLE=195
REQUIRED_SYMBOLIC=196
ESC=197
AFFECTS=198
ANGLE=199
BETWEEN_EXPR=200
CHOICES=201
CONFIRM_TYPE=202
DECLARATIONS=203
DBL_ANGLE=204
EXPR=205
FUNCTION=206
IDENT=207
INDEXED_DEFINITION=208
ITERATE_EXIT=209
ITERATION=210
NESTED=211
PARAMS=212
SET_EXPR=213
STATEMENT=214
STATEMENT_SEQUENCE=215
TUPLE=216
TYPEX=217
UNARY_FREE_OP=218
UNARY_MINUS=219
PROOFBODY=220
MATHITEMREF=221
PROOFEXPR=222
SUPDEDUC=223
SIMPLIFICATION=224
RULE1=225
RULE2=226
RULE3=227
HYPDESIG=228
PROOFEXPRLIST=229
REFCALL=230
QUALNUM=231
LOCALVAREXP=232
XOR=233
ANDTHEN=234
ORELSE=235
BIG_UNION=236
BIG_INTERSECT=237
BIG_SUM=238
BIG_PRODUCT=239
BIG_CONCAT=240
ELSIF=241
DEFAULT=242
PROP_SUBSTR=243
NOT_PROP_SUBSTR=244
