Giving access in match to the expansion of the term being matched via an alias in order to support more fixpoints#73
Open
herbelin wants to merge 6 commits intocoq:masterfrom herbelin:master+match-with-alias
+135
