@@ -23,6 +23,8 @@ New in 0.9.13:
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
25* Extend :addclause to add instance bodies as well as definitions
26+* Reverse parameters to BoundedList -- now matches Vect, and is easier to instantiate classes.
27+* Move foldl into Foldable so it can be overridden.
27Internal changes
29Internal changes