next up previous
Next: General translations: Up: plp A compiler for Previous: Facts and rules


Command predicates



Subsections

Torsten Schaub 2000-12-05