Fix syntax errors in KNOW_TAC.doc (from previous commit)

HOL-Theorem-Prover · Dec 1, 2022 · a3edaf8 · a3edaf8
1 parent 6b5d873
commit a3edaf8
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/help/Docfiles/Tactic.KNOW_TAC.doc b/help/Docfiles/Tactic.KNOW_TAC.doc
@@ -28,6 +28,6 @@ in the specification of the fresh sub-goal that arises from applying
 modus ponens backwards.
 
 \SEEALSO
-bossLib.by.doc, Tactical.Q_TAC, Tactic.SUBGOAL_THEN, Tactic.SUFF_TAC, bossLib.suffices_by.doc. 
+bossLib.by, Tactical.Q_TAC, Tactic.SUBGOAL_THEN, Tactic.SUFF_TAC, bossLib.suffices_by. 
 
 \ENDDOC