]> matita.cs.unibo.it Git - helm.git/tree - matitaB/components/ng_paramodulation/
The Blob is not abstracted on the context any more.
[helm.git] / matitaB / components / ng_paramodulation /
drwxr-xr-x   ..
-rw-r--r-- 2091 .depend
-rw-r--r-- 2091 .depend.opt
-rw-r--r-- 334 Makefile
-rw-r--r-- 1936 foSubst.ml
-rw-r--r-- 1434 foSubst.mli
-rw-r--r-- 4227 foUnif.ml
-rw-r--r-- 1185 foUnif.mli
-rw-r--r-- 4667 foUtils.ml
-rw-r--r-- 2150 foUtils.mli
-rw-r--r-- 3626 index.ml
-rw-r--r-- 1516 index.mli
-rw-r--r-- 4143 nCicBlob.ml
-rw-r--r-- 1160 nCicBlob.mli
-rw-r--r-- 6068 nCicParamod.ml
-rw-r--r-- 1955 nCicParamod.mli
-rw-r--r-- 15160 nCicProof.ml
-rw-r--r-- 1032 nCicProof.mli
-rw-r--r-- 14004 orderings.ml
-rw-r--r-- 1483 orderings.mli
-rw-r--r-- 20517 paramod.ml
-rw-r--r-- 2088 paramod.mli
-rw-r--r-- 4703 pp.ml
-rw-r--r-- 1027 pp.mli
-rw-r--r-- 4583 stats.ml
-rw-r--r-- 1072 stats.mli
-rw-r--r-- 34376 superposition.ml
-rw-r--r-- 2810 superposition.mli
-rw-r--r-- 2790 terms.ml
-rw-r--r-- 3046 terms.mli