 Task">FineDeducerStep</a></li><li class="current-entities indented2"><span class="separator"></span> <a href="FineEvolver.html" title="A refined evolver, i.e., evolution of terms and subclasses such as types." class="class"></a><a href="FineEvolver.html" title="A refined evolver, i.e., evolution of terms and subclasses such as types.">FineEvolver</a></li><li class="current-entities indented2"><span class="separator"></span> <a href="FineProverTasks$.html" title="A collection of functions to build provers; 