prec: Precedence Definition

$next$ $up$ $previous$ $contents$
Next: prove: Theorem Proving Up: Saturate Commands Previous: out: Dumping Theories to Contents

`prec`: Precedence Definition

$\begin{displaymath} \mbox{{\tt prec}} \end{displaymath}$

ask for a file

for reading predecence declarations. For $f=\mbox{{\tt user}}$ the predecence declarations may be typed in interactively, terminated by ^D.

Harald Ganzinger 2002-12-04