fiat-crypto - fast, formally verified cryptography

	Commit message (Collapse)	Author	Age
*	Make [inversion_{prod,sigma}] stronger	Jason Gross	2016-09-05
\| \| \| \|	It can now handle paths used in dependent places.
*	Add documentation: Equality, HProp, Isomorphism, Sigma (#41)	Jason Gross	2016-08-01
\| \| \| \| \| \|	* Add doc: Equality, HProp, Isomorphism, Sigma * Update documentation with suggestions from Andres
*	Remove useless hypotheses for [path_sigT_uncurried_iff]	Jason Gross	2016-08-01
\| \| \| \|	They were breaking tactics
*	Add inversion helper tactics to Sigma.v	Jason Gross	2016-07-29
\|
*	Rename path_sig{,T}{ => _uncurried}_iff	Jason Gross	2016-07-29
\|
*	Add path_sig{,T}_iff	Jason Gross	2016-07-29
\|
*	Add some lemmas to Util.Sigma	Jason Gross	2016-07-29
\|
*	Set Asymmetric Patterns, add util lemmas about sig	Jason Gross	2016-07-29