Aug 13, 2016

v1.6

fixed asimpl bug: change Var to ids when folding ren
Assets 2

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.

@tebbi tebbi released this Jan 18, 2016 · 23 commits to master since this release

Assets 2

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

@tebbi tebbi released this Jan 14, 2016 · 25 commits to master since this release

Assets 2

bugfix: replace S by (+1) in fsimpl

@tebbi tebbi released this Jan 4, 2016 · 29 commits to master since this release

Assets 2

readme updated

@tebbi tebbi released this Dec 3, 2015 · 30 commits to master since this release

Assets 2

minor bugfixes

Jul 16, 2014

v1.0

release for the Coq Workshop 2014
Jul 10, 2014

v0.9

release candidate