diff -r 2965ac4b7118 -r c7ff53dd9d09 index.html --- 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 @@ here. Pizza, 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. @@ -291,7 +291,7 @@

-Last modified: Fri Jan 6 18:44:12 GMT 2012 +Last modified: Fri Jan 6 18:44:51 GMT 2012 [Validate this page.]