Admin/website/index.html

         and TU Munich (<a href="http://www.in.tum.de/~nipkow/">Tobias
         Nipkow</a>).  See the <a href="overview.html">Isabelle
         overview</a>.
         </p>
         <p>
-        These pages provide general information on Isabelle, more
-        specific information is available from the local pages
+        These site provides general information on Isabelle, more
+        specific information is available from the local sites
         </p>
 
           <ul>
 
             <li><a href="http://www.cl.cam.ac.uk/Research/HVG/Isabelle/cambridge.html"><strong>Isabelle