--- a/Admin/page/index.html Fri Nov 06 13:58:59 1998 +0100
+++ b/Admin/page/index.html Fri Nov 06 14:04:54 1998 +0100
@@ -29,9 +29,9 @@
available on the local Isabelle pages at <a
href="http://www.cl.cam.ac.uk/Research/HVG/Isabelle/cambridge.html">Cambridge</a>
and <a href="http://www.in.tum.de/~isabelle/munich.html">Munich</a>.
-See there for informations on projects done with Isabelle, mailing
-list archives, research papers, the Isabelle bibliography, and
-Isabelle workshops and courses.
+See there for information on projects done with Isabelle, mailing list
+archives, research papers, the Isabelle bibliography, and Isabelle
+workshops and courses.
<h2>Obtaining Isabelle</h2>