release note

tomahawkins · Dec 10, 2010 · 51c1bee · 51c1bee
1 parent a3cb5ea
commit 51c1bee
Showing 1 changed file with 4 additions and 0 deletions.
diff --git 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