ssr « plugins - coq - The formal proof system

Mode	Name	Size
-rw-r--r--	ssrast.mli	4948	log plain
-rw-r--r--	ssrbool.v	88222	log plain
-rw-r--r--	ssrbwd.ml	4739	log plain
-rw-r--r--	ssrbwd.mli	972	log plain
-rw-r--r--	ssrcommon.ml	51320	log plain
-rw-r--r--	ssrcommon.mli	14043	log plain
-rw-r--r--	ssreflect.v	23996	log plain
-rw-r--r--	ssreflect_plugin.mlpack	114	log plain
-rw-r--r--	ssrelim.ml	21678	log plain
-rw-r--r--	ssrelim.mli	1869	log plain
-rw-r--r--	ssrequality.ml	29355	log plain
-rw-r--r--	ssrequality.mli	2153	log plain
-rw-r--r--	ssrfun.v	36438	log plain
-rw-r--r--	ssrfwd.ml	18459	log plain
-rw-r--r--	ssrfwd.mli	2360	log plain
-rw-r--r--	ssripats.ml	16055	log plain
-rw-r--r--	ssripats.mli	2757	log plain
-rw-r--r--	ssrparser.ml4	81991	log plain
-rw-r--r--	ssrparser.mli	1176	log plain
-rw-r--r--	ssrprinters.ml	3356	log plain
-rw-r--r--	ssrprinters.mli	1506	log plain
-rw-r--r--	ssrtacticals.ml	6775	log plain
-rw-r--r--	ssrtacticals.mli	1684	log plain
-rw-r--r--	ssrvernac.ml4	23595	log plain
-rw-r--r--	ssrvernac.mli	602	log plain
-rw-r--r--	ssrview.ml	4775	log plain
-rw-r--r--	ssrview.mli	1342	log plain
-rw-r--r--	vo.itarget	34	log plain