@@ -22,6 +22,7 @@ New in 0.9.13:
2222 issues, but no programs that violate the stated assumptions will actually run.
2323* Added :makelemma command, which adds a new top level definition to solve
2424 a metavariable.
25+* Extend :addclause to add instance bodies as well as definitions
2526
2627Internal changes
2728