Add ssreflect file (from Iris).

This closes issue #177 (closed).

added 1 commit

• 01c3a127 - CHANGELOG.

Compare with previous version

This fails the coq-lint check:

ERROR: stdpp/ssreflect.v does not import 'options'.
make[2]: *** [Makefile.coq.local:13: style] Error 1

added 2 commits

• 0e607967 - Add ssreflect file (from Iris).
• e2b331bb - CHANGELOG.

Compare with previous version

changed the description

resolved all threads

merged

mentioned in commit adbe0f5f

Looks good! Please adjust Iris to use this file.

mentioned in merge request iris!917 (merged)

mentioned in issue #167 (closed)