ssr « plugins - coq - The formal proof system

Mode	Name	Size
-rw-r--r--	plugin_base.dune	220	log plain
-rw-r--r--	ssrast.mli	6079	log plain
-rw-r--r--	ssrbool.v	91635	log plain
-rw-r--r--	ssrbwd.ml	5725	log plain
-rw-r--r--	ssrbwd.mli	816	log plain
-rw-r--r--	ssrclasses.v	1453	log plain
-rw-r--r--	ssrcommon.ml	61309	log plain
-rw-r--r--	ssrcommon.mli	16612	log plain
-rw-r--r--	ssreflect.v	30178	log plain
-rw-r--r--	ssreflect_plugin.mlpack	113	log plain
-rw-r--r--	ssrelim.ml	25044	log plain
-rw-r--r--	ssrelim.mli	1790	log plain
-rw-r--r--	ssrequality.ml	30718	log plain
-rw-r--r--	ssrequality.mli	2491	log plain
-rw-r--r--	ssrfun.v	33757	log plain
-rw-r--r--	ssrfwd.ml	21273	log plain
-rw-r--r--	ssrfwd.mli	2687	log plain
-rw-r--r--	ssripats.ml	37969	log plain
-rw-r--r--	ssripats.mli	3230	log plain
-rw-r--r--	ssrparser.mlg	85268	log plain
-rw-r--r--	ssrparser.mli	4734	log plain
-rw-r--r--	ssrprinters.ml	5575	log plain
-rw-r--r--	ssrprinters.mli	1888	log plain
-rw-r--r--	ssrsetoid.v	4824	log plain
-rw-r--r--	ssrtacticals.ml	7023	log plain
-rw-r--r--	ssrtacticals.mli	1670	log plain
-rw-r--r--	ssrunder.v	2983	log plain
-rw-r--r--	ssrvernac.mlg	24326	log plain
-rw-r--r--	ssrvernac.mli	752	log plain
-rw-r--r--	ssrview.ml	15599	log plain
-rw-r--r--	ssrview.mli	1854	log plain