next up previous contents
Next: out: Dumping Theories to Up: Saturate Commands Previous: l: Listing   Contents


lprec: Listing of the Precedence

Lists the current precedence.



Harald Ganzinger 2002-12-04

Imprint | Data Protection