1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 |
/Prover9 Manual Version/i\ <hr>\ <table width="100%">\ <tr>\ <colgroup>\ <col width="33%">\ <col width="34%">\ <col width="33%">\ </colgroup>\ <td align="left"><i>Prover9 Manual</i>\ <td align="center"><img src="prover9-5a-256t.gif">\ <td align="right"><i>Version June-2007</i>\ </table>\ <hr> /Prover9 Manual Version/d |