ssr « plugins - coq - The formal proof system

Mode	Name	Size
-rw-r--r--	plugin_base.dune	220	log plain
-rw-r--r--	ssrast.mli	5992	log plain
-rw-r--r--	ssrbool.v	81467	log plain
-rw-r--r--	ssrbwd.ml	5712	log plain
-rw-r--r--	ssrbwd.mli	816	log plain
-rw-r--r--	ssrcommon.ml	59668	log plain
-rw-r--r--	ssrcommon.mli	16095	log plain
-rw-r--r--	ssreflect.v	22489	log plain
-rw-r--r--	ssreflect_plugin.mlpack	114	log plain
-rw-r--r--	ssrelim.ml	23705	log plain
-rw-r--r--	ssrelim.mli	1790	log plain
-rw-r--r--	ssrequality.ml	29510	log plain
-rw-r--r--	ssrequality.mli	2258	log plain
-rw-r--r--	ssrfun.v	32152	log plain
-rw-r--r--	ssrfwd.ml	14084	log plain
-rw-r--r--	ssrfwd.mli	2118	log plain
-rw-r--r--	ssripats.ml	37645	log plain
-rw-r--r--	ssripats.mli	3230	log plain
-rw-r--r--	ssrparser.mlg	84306	log plain
-rw-r--r--	ssrparser.mli	2345	log plain
-rw-r--r--	ssrprinters.ml	5344	log plain
-rw-r--r--	ssrprinters.mli	1889	log plain
-rw-r--r--	ssrtacticals.ml	6908	log plain
-rw-r--r--	ssrtacticals.mli	1670	log plain
-rw-r--r--	ssrvernac.mlg	24836	log plain
-rw-r--r--	ssrvernac.mli	752	log plain
-rw-r--r--	ssrview.ml	15602	log plain
-rw-r--r--	ssrview.mli	1854	log plain