doc-src/Logics/LK.tex

--- a/doc-src/Logics/LK.tex	Mon Jan 02 12:14:26 1995 +0100
+++ b/doc-src/Logics/LK.tex	Mon Jan 02 12:16:12 1995 +0100
@@ -164,7 +164,7 @@
 \tdx{disjR}   $H |- $E, P, Q, $F ==> $H |- $E, P|Q, $F
 \tdx{disjL}   [| $H, P, $G |- $E;  $H, Q, $G |- $E |] ==> $H, P|Q, $G |- $E
             
-\tdx{impR}    $H, P |- $E, Q, $F ==> $H |- $E, P-->Q, $
+\tdx{impR}    $H, P |- $E, Q, $F ==> $H |- $E, P-->Q, $F
 \tdx{impL}    [| $H,$G |- $E,P;  $H, Q, $G |- $E |] ==> $H, P-->Q, $G |- $E
             
 \tdx{notR}    $H, P |- $E, $F ==> $H |- $E, ~P, $F