]> matita.cs.unibo.it Git - helm.git/tree - matita/components/ng_refiner/
Cic.term and Cic.obj unused!
[helm.git] / matita / components / ng_refiner /
drwxr-xr-x   ..
-rw-r--r-- 1342 .depend
-rw-r--r-- 1342 .depend.opt
-rw-r--r-- 483 Makefile
-rw-r--r-- 2754 esempio.ma
-rw-r--r-- 7255 nCicCoercion.ml
-rw-r--r-- 1847 nCicCoercion.mli
-rw-r--r-- 22641 nCicMetaSubst.ml
-rw-r--r-- 3228 nCicMetaSubst.mli
-rw-r--r-- 5361 nCicRefineUtil.ml
-rw-r--r-- 1023 nCicRefineUtil.mli
-rw-r--r-- 53155 nCicRefiner.ml
-rw-r--r-- 1257 nCicRefiner.mli
-rw-r--r-- 13561 nCicUnifHint.ml
-rw-r--r-- 1467 nCicUnifHint.mli
-rw-r--r-- 36412 nCicUnification.ml
-rw-r--r-- 1692 nCicUnification.mli
-rw-r--r-- 3164 nDiscriminationTree.ml
-rw-r--r-- 1442 nDiscriminationTree.mli
-rw-r--r-- 793 nRstatus.ml
-rw-r--r-- 793 nRstatus.mli
-rw-r--r-- 229 oMeta2nMeta.ml