Next:
Logical Symbols
Up:
Special purpose predicates
Previous:
Special purpose predicates
Input language
Subsections
Logical Symbols
Predicates for handling preferences
Torsten Schaub 2000-12-05