replaced \un by \union in "Simplification sets"
authorclasohm
Tue Nov 16 14:13:11 1993 +0100 (1993-11-16)
changeset 122db9043a8e372
parent 121 d392174734e9
child 123 0a2f744e008a
replaced \un by \union in "Simplification sets"
doc-src/Ref/simplifier.tex
     1.1 --- a/doc-src/Ref/simplifier.tex	Tue Nov 16 14:10:19 1993 +0100
     1.2 +++ b/doc-src/Ref/simplifier.tex	Tue Nov 16 14:13:11 1993 +0100
     1.3 @@ -27,7 +27,7 @@
     1.4  \subsection{Rewrite rules}\index{rewrite rules}
     1.5  
     1.6  Rewrite rules are theorems like $Suc(\Var{m}) + \Var{n} = \Var{m} +
     1.7 -Suc(\Var{n})$, $\Var{P}\conj\Var{P} \bimp \Var{P}$, or $\Var{A} \un \Var{B}
     1.8 +Suc(\Var{n})$, $\Var{P}\conj\Var{P} \bimp \Var{P}$, or $\Var{A} \union \Var{B}
     1.9  \equiv \{x.x\in A \disj x\in B\}$.  {\bf Conditional} rewrites such as
    1.10  $\Var{m}<\Var{n} \Imp \Var{m}/\Var{n} = 0$ are permitted; the conditions
    1.11  can be arbitrary terms.  The infix operation \ttindex{addsimps} adds new