]>
-rw-r--r-- | 1997 | .depend | blob | raw |
-rw-r--r-- | 1997 | .depend.opt | blob | raw |
-rw-r--r-- | 333 | Makefile | blob | raw |
-rw-r--r-- | 1417 | cicBlob.ml | blob | raw |
-rw-r--r-- | 911 | cicBlob.mli | blob | raw |
-rw-r--r-- | 1581 | foSubst.ml | blob | raw |
-rw-r--r-- | 1269 | foSubst.mli | blob | raw |
-rw-r--r-- | 4156 | foUnif.ml | blob | raw |
-rw-r--r-- | 1171 | foUnif.mli | blob | raw |
-rw-r--r-- | 4599 | foUtils.ml | blob | raw |
-rw-r--r-- | 2150 | foUtils.mli | blob | raw |
-rw-r--r-- | 3285 | index.ml | blob | raw |
-rw-r--r-- | 1293 | index.mli | blob | raw |
-rw-r--r-- | 2826 | nCicBlob.ml | blob | raw |
-rw-r--r-- | 946 | nCicBlob.mli | blob | raw |
-rw-r--r-- | 2641 | nCicParamod.ml | blob | raw |
-rw-r--r-- | 927 | nCicParamod.mli | blob | raw |
-rw-r--r-- | 7389 | nCicProof.ml | blob | raw |
-rw-r--r-- | 798 | nCicProof.mli | blob | raw |
-rw-r--r-- | 11872 | orderings.ml | blob | raw |
-rw-r--r-- | 1483 | orderings.mli | blob | raw |
-rw-r--r-- | 14800 | paramod.ml | blob | raw |
-rw-r--r-- | 1303 | paramod.mli | blob | raw |
-rw-r--r-- | 4671 | pp.ml | blob | raw |
-rw-r--r-- | 1027 | pp.mli | blob | raw |
-rw-r--r-- | 31606 | superposition.ml | blob | raw |
-rw-r--r-- | 2664 | superposition.mli | blob | raw |
-rw-r--r-- | 2607 | terms.ml | blob | raw |
-rw-r--r-- | 2917 | terms.mli | blob | raw |