ssr « plugins - coq - the Coq proof assistant

Mode	Name	Size
-rw-r--r--	ssrast.mli	4959	log plain
-rw-r--r--	ssrbool.v	88222	log plain
-rw-r--r--	ssrbwd.ml	4748	log plain
-rw-r--r--	ssrbwd.mli	982	log plain
-rw-r--r--	ssrcommon.ml	51347	log plain
-rw-r--r--	ssrcommon.mli	13866	log plain
-rw-r--r--	ssreflect.v	23996	log plain
-rw-r--r--	ssreflect_plugin.mlpack	114	log plain
-rw-r--r--	ssrelim.ml	21687	log plain
-rw-r--r--	ssrelim.mli	1878	log plain
-rw-r--r--	ssrequality.ml	29386	log plain
-rw-r--r--	ssrequality.mli	2162	log plain
-rw-r--r--	ssrfun.v	36438	log plain
-rw-r--r--	ssrfwd.ml	18468	log plain
-rw-r--r--	ssrfwd.mli	2369	log plain
-rw-r--r--	ssripats.ml	16064	log plain
-rw-r--r--	ssripats.mli	2766	log plain
-rw-r--r--	ssrparser.ml4	82017	log plain
-rw-r--r--	ssrparser.mli	1203	log plain
-rw-r--r--	ssrprinters.ml	3365	log plain
-rw-r--r--	ssrprinters.mli	1515	log plain
-rw-r--r--	ssrtacticals.ml	6787	log plain
-rw-r--r--	ssrtacticals.mli	1694	log plain
-rw-r--r--	ssrvernac.ml4	23618	log plain
-rw-r--r--	ssrvernac.mli	602	log plain
-rw-r--r--	ssrview.ml	4784	log plain
-rw-r--r--	ssrview.mli	1351	log plain
-rw-r--r--	vo.itarget	34	log plain