doc-src/Intro/foundations.tex
changeset 1865 484956c42436
parent 331 13660d5f6a77
child 1878 ac8e534b4834
     1.1 --- a/doc-src/Intro/foundations.tex	Tue Jul 16 15:44:31 1996 +0200
     1.2 +++ b/doc-src/Intro/foundations.tex	Tue Jul 16 15:45:36 1996 +0200
     1.3 @@ -1062,7 +1062,7 @@
     1.4    \lbrakk\;& P\disj P \Imp \Var{P@1}\disj\Var{Q@1}; \\
     1.5             & \List{P\disj P ;\; \Var{P@1}} \Imp \Var{R@1};    \\
     1.6             & \List{P\disj P ;\; \Var{Q@1}} \Imp \Var{R@1}     \\
     1.7 -  \rbrakk\;& \Imp \Var{R@1}
     1.8 +  \rbrakk\;& \Imp (P\disj P \Imp \Var{R@1})
     1.9    \end{array} 
    1.10  \]
    1.11  Unification takes the simultaneous equations