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