fiat-crypto - fast, formally verified cryptography

	Commit message (Collapse)	Author	Age
*	Don't rely on autogenerated names	Jason Gross	2017-06-05
\| \| \| \| \| \|	This fixes all of the private-names warnings emitted by compiling fiat-crypto with https://github.com/coq/coq/pull/268 (minus the ones in coqprime, which I didn't touch).
*	Get rid of list-based Tuple.map	Jason Gross	2017-03-30
\|
*	Add hlistP	Jason Gross	2016-11-22
\|
*	Add rhlist	Jason Gross	2016-11-22
\|
*	Add HList.mapt_Proper	Jason Gross	2016-11-17
\|
*	prove last HList admit	Andres Erbsen	2016-11-11
\|
*	Add Tuple and HList lemmas	Jason Gross	2016-11-10
\|
*	Add hlist_map	Jason Gross	2016-11-08
\|
*	Add HList.const	Jason Gross	2016-11-08
\|
*	Rename iffT, add some lemmas about tuple and hlist	Jason Gross	2016-11-08
\| \| \| \|	Some lemmas admitted
*	Add map_is_mapt'	Jason Gross	2016-11-07
\|
*	Add HList lemma	Jason Gross	2016-11-06
\|
*	Add admitted lemma about tuple map, add hlist lem	Jason Gross	2016-11-06
\|
*	Change hlist implicit status	Jason Gross	2016-11-01
\|
*	Move hlist to new file	Jason Gross	2016-11-01