Folder: proofmode

package info (click to toggle)

coq-iris 4.3.0-1

			.. (parent)
-	rw-r--r--	6,029	base.v
-	rw-r--r--	53,666	class_instances.v
-	rw-r--r--	10,108	class_instances_embedding.v
-	rw-r--r--	21,819	class_instances_frame.v
-	rw-r--r--	3,364	class_instances_internal_eq.v
-	rw-r--r--	19,739	class_instances_later.v
-	rw-r--r--	8,671	class_instances_make.v
-	rw-r--r--	4,258	class_instances_plainly.v
-	rw-r--r--	9,257	class_instances_updates.v
-	rw-r--r--	33,935	classes.v
-	rw-r--r--	7,877	classes_make.v
-	rw-r--r--	54,086	coq_tactics.v
-	rw-r--r--	36,510	environments.v
-	rw-r--r--	1,911	ident_name.v
-	rw-r--r--	7,169	intro_patterns.v
-	rw-r--r--	86,037	ltac_tactics.v
-	rw-r--r--	9,165	modalities.v
-	rw-r--r--	2,602	modality_instances.v
-	rw-r--r--	31,429	monpred.v
-	rw-r--r--	1,984	notation.v
-	rw-r--r--	660	proofmode.v
-	rw-r--r--	3,676	reduction.v
-	rw-r--r--	1,432	sel_patterns.v
-	rw-r--r--	3,685	spec_patterns.v
-	rw-r--r--	7,253	string_ident.v
-	rw-r--r--	235	tactics.v
-	rw-r--r--	4,058	tokens.v