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