Next: Selecting the redundancy proof
Up: The Interaction Cycle
Previous: Selecting the Inference System
Contents
Orderings are defined with ordering declarations
in a file or, interactively, with the prec command.
Harald Ganzinger
2002-12-04
Imprint | Data Protection