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

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

projects / helm.git / tree

a6dd271cf0e9a902b37873ce8fff16c1d899d5b0

-rw-r--r--	41	.cvsignore	blob \| raw
-rw-r--r--	3863	Makefile	blob \| raw
-rw-r--r--	30360	inference.ml	blob \| raw
-rw-r--r--	2127	inference.mli	blob \| raw
-rw-r--r--	12984	saturation.ml	blob \| raw
-rw-r--r--	8940	utils.ml	blob \| raw
-rw-r--r--	789	utils.mli	blob \| raw

Unnamed repository; edit this file 'description' to name the repository.