coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Merge PR #7620: [ssr] rewrite: turn anomaly into regular error	Maxime Dénès	2018-06-25
\|\
* \	Merge PR #7236: [ssr] simpler semantics for delayed clears	Maxime Dénès	2018-06-23
\|\ \
\| * \|	[ssr] implement {}/v as a short hand for {v}/v when v is an id	Enrico Tassi	2018-06-22
* \| \|	[ssr] test case for rewrite and set on univ poly keys	Enrico Tassi	2018-06-22
\|/ /
\| *	[ssr] test case for rewrite (setoid) making the goal illtyped	Enrico Tassi	2018-06-20
\|/
*	[ssr] import ssreflect test suite from math-comp	Enrico Tassi	2018-05-15