matita.cs.unibo.it Git - helm.git/tree

-rw-r--r--	0	.depend	blob \| raw
-rw-r--r--	525	Makefile	blob \| raw
-rw-r--r--	1493	README	blob \| raw
-rw-r--r--	4249	equality_indexing.ml	blob \| raw
-rw-r--r--	1608	equality_indexing.mli	blob \| raw
-rw-r--r--	36431	indexing.ml	blob \| raw
-rw-r--r--	2955	indexing.mli	blob \| raw
-rw-r--r--	31557	inference.ml	blob \| raw
-rw-r--r--	4611	inference.mli	blob \| raw
-rw-r--r--	5891	saturate_main.ml	blob \| raw
-rw-r--r--	81270	saturation.ml	blob \| raw
-rw-r--r--	1836	saturation.mli	blob \| raw
-rw-r--r--	8703	test_indexing.ml	blob \| raw
-rw-r--r--	19966	utils.ml	blob \| raw
-rw-r--r--	2621	utils.mli	blob \| raw