@@ -13,6 +13,7 @@ New in 0.9.9:
1313* Integer literals for Fin
1414* Renamed O to Z, and fO to fZ
1515* Swapped Vect arguments, now Vect : Nat -> Type -> Type
16+* Add 'equiv' tactic, which rewrites a goal to an equivalent (convertible) goal
1617
1718Internal changes
1819