v1.9

Compatibility with Coq 8.14 to 8.20.

v1.8

Compatibility with Coq 8.14 to 8.17.

switched from simpl to cbn

switched from simpl to cbn, which results in more predictable behaviour.
This breaks compatibility with Coq 8.4!

Also, asimpl does now first do autorewrite with autosubst before simplifying the goal.

v1.4

changes:
switched to ssreflect version 1.6
normalization behaviour of asimpl changed: [ids x .: ids] is now normalized to [ren(x .: id)]

v1.3

bugfix: replace S by (+1) in fsimpl

v1.2

readme updated

v1.1

minor bugfixes