--- a/index.html	Fri Jan 06 18:44:15 2012 +0000
+++ b/index.html	Fri Jan 06 18:44:54 2012 +0000
@@ -283,7 +283,7 @@
 <A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Prover/index.html">here</A>.
 <A HREF="http://pizzacompiler.sourceforge.net">Pizza</A>, written around 1996, is a conservative 
 extension of Java and a precursor of Scala. My implementation illustrates the technique of 
-proof seach using success continuations.
+success continuations in proof search.
 </TD>
 </TR>
  
@@ -291,7 +291,7 @@
 </TABLE>
 <P><!-- Created: Tue Mar  4 00:23:25 GMT 1997 -->
 <!-- hhmts start -->
-Last modified: Fri Jan  6 18:44:12 GMT 2012
+Last modified: Fri Jan  6 18:44:51 GMT 2012
 <!-- hhmts end -->
 <a href="http://validator.w3.org/check/referer">[Validate this page.]</a>