--- a/index.html	Fri Jan 06 18:43:18 2012 +0000
+++ b/index.html	Fri Jan 06 18:44:15 2012 +0000
@@ -282,8 +282,8 @@
 <B>G4ip</B> An implementation of G4ip using the imperative language Pizza can be found 
 <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 success 
-continuations.
+extension of Java and a precursor of Scala. My implementation illustrates the technique of 
+proof seach using success continuations.
 </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:43:16 GMT 2012
+Last modified: Fri Jan  6 18:44:12 GMT 2012
 <!-- hhmts end -->
 <a href="http://validator.w3.org/check/referer">[Validate this page.]</a>