# HG changeset patch
# User wenzelm
# Date 863199677 -7200
# Node ID f081757ce757b6a28a7dace2bbbd2e538abe95ae
# Parent  49f2614732ea26d9abcb3c3aa1f50f3fb0d987e0
tuned ref to src;

diff -r 49f2614732ea -r f081757ce757 doc-src/Logics/LK.tex
--- a/doc-src/Logics/LK.tex	Fri May 09 10:18:58 1997 +0200
+++ b/doc-src/Logics/LK.tex	Fri May 09 19:41:17 1997 +0200
@@ -222,8 +222,8 @@
 {\tt res_inst_tac} can instantiate the variable~{\tt?P} in these rules,
 specifying the formula to duplicate.
 
-See {\tt Sequents/LK} in the sources for complete listings of the
-rules and derived rules.
+See theory {\tt Sequents/LK} in the sources for complete listings of
+the rules and derived rules.
 
 
 \begin{figure}