]> matita.cs.unibo.it Git - helm.git/tree
c4edf96db7e84d08707e27a0589e2870139f33d9
-rw-r--r-- 860 .depend
-rw-r--r-- 860 .depend.opt
-rw-r--r-- 2124 Makefile
-rw-r--r-- 11696 check.ml
-rw-r--r-- 2754 esempio.ma
-rw-r--r-- 4202 nCicCoercion.ml
-rw-r--r-- 1326 nCicCoercion.mli
-rw-r--r-- 16031 nCicMetaSubst.ml
-rw-r--r-- 2886 nCicMetaSubst.mli
-rw-r--r-- 20067 nCicRefiner.ml
-rw-r--r-- 1453 nCicRefiner.mli
-rw-r--r-- 5339 nCicUnifHint.ml
-rw-r--r-- 1096 nCicUnifHint.mli
-rw-r--r-- 22754 nCicUnification.ml
-rw-r--r-- 2431 nCicUnification.mli
-rw-r--r-- 2808 nDiscriminationTree.ml
-rw-r--r-- 1372 nDiscriminationTree.mli
-rw-r--r-- 229 oMeta2nMeta.ml
-rw-r--r-- 1733 rt.ml