reserved_proposition_name('True').
reserved_proposition_name('False').

%- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -

reserved_predicate_name('=').
reserved_predicate_name('~=').

%------------------------------------------------------------------------------

reserved_word('EXPORT').
reserved_word('LOCAL').
reserved_word('CLOSED').
reserved_word('MODULE').
reserved_word('THEORY').
reserved_word('IMPORT').
reserved_word('LIFT').
reserved_word('BASE').
reserved_word('CONSTRUCTOR').
reserved_word('CONSTANT').
reserved_word('FUNCTION').
reserved_word('PROPOSITION').
reserved_word('PREDICATE').
reserved_word('DELAY').
reserved_word('UNTIL').
reserved_word('GROUND').
reserved_word('NONVAR').
reserved_word('TRUE').
reserved_word('ALL').
reserved_word('SOME').
reserved_word('IF').
reserved_word('THEN').
reserved_word('ELSE').
reserved_word(':').
reserved_word('<-').
reserved_word('->').
reserved_word('<->').
reserved_word('&').
reserved_word('~').
reserved_word('\\/').  % added \ djd
reserved_word('|').

