Tactics « Util « src - fiat-crypto - fast, formally verified cryptography

Mode	Name	Size
-rw-r--r--	BreakMatch.v	4978	log plain
-rw-r--r--	ClearDuplicates.v	194	log plain
-rw-r--r--	Contains.v	289	log plain
-rw-r--r--	ConvoyDestruct.v	1085	log plain
-rw-r--r--	DebugPrint.v	1946	log plain
-rw-r--r--	DestructHead.v	2869	log plain
-rw-r--r--	DestructHyps.v	1867	log plain
-rw-r--r--	DestructTrivial.v	204	log plain
-rw-r--r--	DoWithHyp.v	167	log plain
-rw-r--r--	ESpecialize.v	132	log plain
-rw-r--r--	ETransitivity.v	948	log plain
-rw-r--r--	EvarExists.v	181	log plain
-rw-r--r--	Forward.v	812	log plain
-rw-r--r--	GetGoal.v	51	log plain
-rw-r--r--	Head.v	233	log plain
-rw-r--r--	MoveLetIn.v	2568	log plain
-rw-r--r--	Not.v	240	log plain
-rw-r--r--	OnSubterms.v	226	log plain
-rw-r--r--	PrintContext.v	420	log plain
-rw-r--r--	Revert.v	365	log plain
-rw-r--r--	RewriteHyp.v	3345	log plain
-rw-r--r--	SetEvars.v	139	log plain
-rw-r--r--	SetoidSubst.v	928	log plain
-rw-r--r--	SideConditionsBeforeToAfter.v	799	log plain
-rw-r--r--	SimplifyProjections.v	1443	log plain
-rw-r--r--	SimplifyRepeatedIfs.v	688	log plain
-rw-r--r--	SpecializeBy.v	1207	log plain
-rw-r--r--	SplitInContext.v	1473	log plain
-rw-r--r--	SubstEvars.v	109	log plain
-rw-r--r--	SubstLet.v	71	log plain
-rw-r--r--	Test.v	223	log plain
-rw-r--r--	UnifyAbstractReflexivity.v	2217	log plain
-rw-r--r--	UniquePose.v	1010	log plain
-rw-r--r--	VM.v	1298	log plain