- HEADER_PRECEDENCE_KINKY
: Opt
- LBRA
: TPTPLexerTokenTypes
- LESS
: XMLLexerTokenTypes, KIFLexerTokenTypes
- LESSEQ
: XMLLexerTokenTypes, KIFLexerTokenTypes
- LETTER
: XMLLexerTokenTypes
- LITERAL_and
: XMLLexerTokenTypes, KIFLexerTokenTypes
- LITERAL_assertion
: XMLLexerTokenTypes
- LITERAL_bye
: XMLLexerTokenTypes
- LITERAL_COMPARISON_MODE
: Opt
- LITERAL_equal
: XMLLexerTokenTypes, KIFLexerTokenTypes
- LITERAL_exists
: XMLLexerTokenTypes, KIFLexerTokenTypes
- LITERAL_forall
: XMLLexerTokenTypes, KIFLexerTokenTypes
- LITERAL_include
: TPTPLexerTokenTypes
- LITERAL_input_clause
: TPTPLexerTokenTypes
- LITERAL_input_formula
: TPTPLexerTokenTypes
- LITERAL_not
: XMLLexerTokenTypes, KIFLexerTokenTypes
- LITERAL_or
: XMLLexerTokenTypes, KIFLexerTokenTypes
- LITERAL_query
: XMLLexerTokenTypes
- LOWER
: XMLLexerTokenTypes, TPTPLexerTokenTypes, KIFLexerTokenTypes
- LPAR
: XMLLexerTokenTypes, TPTPLexerTokenTypes, KIFLexerTokenTypes
- LRS
: Options
- LRS_FIRST_MEMORY_CHECK
: Opt
- LRS_FIRST_TIME_CHECK
: Opt
Generated on Sat Jun 28 15:08:58 2003 for Vampire by
1.3.2