diff --git a/README b/README
index 2cb7a0d..ce123a9 100644
--- a/README
+++ b/README
@@ -7,6 +7,10 @@ backend SMT solver.
 
 Release Notes:
 
+0.2.1    12/09/10
+
+- bugfix: lemmas referenced in induction step.
+
 0.2.0    12/08/10
 
 - Released 'assert' with 'theorem', which provides control of k