ssr « plugins - coq - The formal proof system

Mode	Name	Size
-rw-r--r--	plugin_base.dune	187	log plain
-rw-r--r--	ssrast.mli	6108	log plain
-rw-r--r--	ssrbool.v	88348	log plain
-rw-r--r--	ssrbwd.ml	5852	log plain
-rw-r--r--	ssrbwd.mli	816	log plain
-rw-r--r--	ssrcommon.ml	61473	log plain
-rw-r--r--	ssrcommon.mli	16074	log plain
-rw-r--r--	ssreflect.v	24224	log plain
-rw-r--r--	ssreflect_plugin.mlpack	114	log plain
-rw-r--r--	ssrelim.ml	21875	log plain
-rw-r--r--	ssrelim.mli	1856	log plain
-rw-r--r--	ssrequality.ml	29517	log plain
-rw-r--r--	ssrequality.mli	2258	log plain
-rw-r--r--	ssrfun.v	36699	log plain
-rw-r--r--	ssrfwd.ml	13664	log plain
-rw-r--r--	ssrfwd.mli	2095	log plain
-rw-r--r--	ssripats.ml	27128	log plain
-rw-r--r--	ssripats.mli	2182	log plain
-rw-r--r--	ssrparser.ml4	81827	log plain
-rw-r--r--	ssrparser.mli	1948	log plain
-rw-r--r--	ssrprinters.ml	5141	log plain
-rw-r--r--	ssrprinters.mli	1857	log plain
-rw-r--r--	ssrtacticals.ml	6908	log plain
-rw-r--r--	ssrtacticals.mli	1670	log plain
-rw-r--r--	ssrvernac.ml4	24778	log plain
-rw-r--r--	ssrvernac.mli	752	log plain
-rw-r--r--	ssrview.ml	13501	log plain
-rw-r--r--	ssrview.mli	1809	log plain