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