]>
-rw-r--r-- | 2169 | .depend | blob | raw |
-rw-r--r-- | 2097 | .depend.opt | blob | raw |
-rw-r--r-- | 346 | 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-- | 4227 | foUnif.ml | blob | raw |
-rw-r--r-- | 1185 | foUnif.mli | blob | raw |
-rw-r--r-- | 4599 | foUtils.ml | blob | raw |
-rw-r--r-- | 2150 | foUtils.mli | blob | raw |
-rw-r--r-- | 3632 | index.ml | blob | raw |
-rw-r--r-- | 1300 | index.mli | blob | raw |
-rw-r--r-- | 2826 | nCicBlob.ml | blob | raw |
-rw-r--r-- | 946 | nCicBlob.mli | blob | raw |
-rw-r--r-- | 2654 | 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-- | 13819 | orderings.ml | blob | raw |
-rw-r--r-- | 1483 | orderings.mli | blob | raw |
-rw-r--r-- | 15676 | paramod.ml | blob | raw |
-rw-r--r-- | 1401 | paramod.mli | blob | raw |
-rw-r--r-- | 4703 | pp.ml | blob | raw |
-rw-r--r-- | 1027 | pp.mli | blob | raw |
-rw-r--r-- | 4583 | stats.ml | blob | raw |
-rw-r--r-- | 1072 | stats.mli | blob | raw |
-rw-r--r-- | 32078 | superposition.ml | blob | raw |
-rw-r--r-- | 2664 | superposition.mli | blob | raw |
-rw-r--r-- | 2620 | terms.ml | blob | raw |
-rw-r--r-- | 2930 | terms.mli | blob | raw |