]>
-rw-r--r-- | 1859 | .depend | blob | raw |
-rw-r--r-- | 1747 | .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-- | 3618 | foUnif.ml | blob | raw |
-rw-r--r-- | 1182 | foUnif.mli | blob | raw |
-rw-r--r-- | 4627 | foUtils.ml | blob | raw |
-rw-r--r-- | 2096 | foUtils.mli | blob | raw |
-rw-r--r-- | 3281 | index.ml | blob | raw |
-rw-r--r-- | 1289 | index.mli | blob | raw |
-rw-r--r-- | 2826 | nCicBlob.ml | blob | raw |
-rw-r--r-- | 946 | nCicBlob.mli | blob | raw |
-rw-r--r-- | 2621 | 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-- | 11847 | orderings.ml | blob | raw |
-rw-r--r-- | 1107 | orderings.mli | blob | raw |
-rw-r--r-- | 14817 | paramod.ml | blob | raw |
-rw-r--r-- | 1299 | paramod.mli | blob | raw |
-rw-r--r-- | 4671 | pp.ml | blob | raw |
-rw-r--r-- | 1027 | pp.mli | blob | raw |
-rw-r--r-- | 25618 | superposition.ml | blob | raw |
-rw-r--r-- | 2660 | superposition.mli | blob | raw |
-rw-r--r-- | 2607 | terms.ml | blob | raw |
-rw-r--r-- | 2917 | terms.mli | blob | raw |