Diff of /doc/html/knowledge_bases/special.html [f23295] .. [9f7068] Maximize Restore

  Switch to side-by-side view

--- a/doc/html/knowledge_bases/special.html
+++ b/doc/html/knowledge_bases/special.html
@@ -95,7 +95,7 @@
 special.claim_goal()
 </pre>
 <p>This acts like the <a class="reference external" href="http://en.wikipedia.org/wiki/Prolog">Prolog</a> <a class="reference external" href="http://en.wikipedia.org/wiki/Cut_%28logic_programming%29">cut operator</a>.</p>
-<p>In general there are multiple <a class="reference external" href="../logic_programming/rules/index.html">rules</a> that might be used to try to <a class="reference external" href="../using_pyke.html#proving-goals">prove</a> any
+<p>In general there are multiple <a class="reference external" href="../logic_programming/rules/index.html">rules</a> that might be used to try to <a class="reference external" href="../using_pyke/proving_goals.html">prove</a> any
 <a class="reference external" href="../pyke_syntax/krb_syntax/bc_rule.html#use-clause">goal</a>.  They are each tried in the order that they appear in the <a class="reference external" href="../pyke_syntax/krb_syntax/index.html">.krb file</a>.
 If one rule fails, the next rule is tried.  The goal itself doesn't fail
 until all of the rules for it have failed.</p>