ince version now)</i> use composite prover</p></dd></dl></div></li><li class="current-entities indented3"><span class="separator"></span> <a href="GlobalProver$$AllOf.html" title="" class="class"></a><a href="GlobalProver$$AllOf.html" title="">AllOf</a></li><li class="current-entities indented3"><span class="separator"></span> <a href="GlobalProver$$AnyOf.html" title="" class="class"></a><a href="GlobalProver$$AnyOf.html" title="">AnyOf</a></li><li class="current-entities indented3"><span class="separator">