Sindbad~EG File Manager

<div id="pageName0">
  <div align="justify">
  
  <?php
  
  $Chapter = "5A";
  $descriptions["ExtCol"] = "";
include("DisplayResults.php");
>?

<!--
  
          <td><a href="InputFiles/ext1.in"> ext1.in</a></td>
        <td><a href="Proofs/ext1.prf">ext1.prf</a><br>33 steps</td>
        <td> Szmielew's treatment of lines is partly second order. <br>
             This lemma (which is not in Szmielew) is needed to prove Satz 8.13b treating lines as given by pairs of points.   </td>
      </tr>
       <tr>
        <td><a href="InputFiles/ExtCol.in">ExtCol</a></td>
        <td><a href="Proofs/ExtCol.prf">ExtCol.prf</a><br>10 steps</td>
        <td> If u and v both lie on Line(a,b), then points on Line(a,b) are also on Line(u,v). <br>
        Szmielew doesn't need this because she treats lines as sets.  </td>
      </tr>