Fixed typo regarding lifting over P|P
authorpaulson
Tue Jul 16 15:45:36 1996 +0200 (1996-07-16)
changeset 1865484956c42436
parent 1864 9ac4c2240d89
child 1866 a1a41b4b02e7
Fixed typo regarding lifting over P|P
doc-src/Intro/foundations.tex
     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