[Agda] sym in Agda 2.5.1

[Andrés Sicard-Ramírez]

On 16 February 2016 at 08:13, Andrés Sicard-Ramírez <asr at eafit.edu.co> wrote:
> From the CHANGELOG, it was introduced in Agda 2.4.0.1:

I meant to say Agda 2.4.0.


-- 
Andrés