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