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