next up previous
Next: Logical Symbols Up: Special purpose predicates Previous: Special purpose predicates

Input language



Subsections

Torsten Schaub 2000-12-05