src - coq - The formal proof system

Mode	Name	Size
-rw-r--r--	dune	294	log plain
-rw-r--r--	g_ltac2.mlg	29988	log plain
-rw-r--r--	ltac2_plugin.mlpack	139	log plain
-rw-r--r--	tac2core.ml	45225	log plain
-rw-r--r--	tac2core.mli	945	log plain
-rw-r--r--	tac2dyn.ml	951	log plain
-rw-r--r--	tac2dyn.mli	1215	log plain
-rw-r--r--	tac2entries.ml	30708	log plain
-rw-r--r--	tac2entries.mli	2934	log plain
-rw-r--r--	tac2env.ml	8224	log plain
-rw-r--r--	tac2env.mli	4946	log plain
-rw-r--r--	tac2expr.mli	5374	log plain
-rw-r--r--	tac2extffi.ml	1427	log plain
-rw-r--r--	tac2extffi.mli	677	log plain
-rw-r--r--	tac2ffi.ml	9163	log plain
-rw-r--r--	tac2ffi.mli	5621	log plain
-rw-r--r--	tac2intern.ml	51264	log plain
-rw-r--r--	tac2intern.mli	1899	log plain
-rw-r--r--	tac2interp.ml	7298	log plain
-rw-r--r--	tac2interp.mli	1260	log plain
-rw-r--r--	tac2match.ml	8838	log plain
-rw-r--r--	tac2match.mli	1201	log plain
-rw-r--r--	tac2print.ml	15968	log plain
-rw-r--r--	tac2print.mli	1561	log plain
-rw-r--r--	tac2qexpr.mli	4852	log plain
-rw-r--r--	tac2quote.ml	16625	log plain
-rw-r--r--	tac2quote.mli	3370	log plain
-rw-r--r--	tac2stdlib.ml	18286	log plain
-rw-r--r--	tac2stdlib.mli	590	log plain
-rw-r--r--	tac2tactics.ml	15523	log plain
-rw-r--r--	tac2tactics.mli	4631	log plain
-rw-r--r--	tac2types.mli	2508	log plain