]>
-rw-r--r-- | 2091 | .depend | blob | raw |
-rw-r--r-- | 2091 | .depend.opt | blob | raw |
-rw-r--r-- | 334 | Makefile | blob | raw |
-rw-r--r-- | 1936 | foSubst.ml | blob | raw |
-rw-r--r-- | 1434 | foSubst.mli | blob | raw |
-rw-r--r-- | 4227 | foUnif.ml | blob | raw |
-rw-r--r-- | 1185 | foUnif.mli | blob | raw |
-rw-r--r-- | 4667 | foUtils.ml | blob | raw |
-rw-r--r-- | 2150 | foUtils.mli | blob | raw |
-rw-r--r-- | 3708 | index.ml | blob | raw |
-rw-r--r-- | 1516 | index.mli | blob | raw |
-rw-r--r-- | 4336 | nCicBlob.ml | blob | raw |
-rw-r--r-- | 1012 | nCicBlob.mli | blob | raw |
-rw-r--r-- | 7489 | nCicParamod.ml | blob | raw |
-rw-r--r-- | 1907 | nCicParamod.mli | blob | raw |
-rw-r--r-- | 13597 | nCicProof.ml | blob | raw |
-rw-r--r-- | 1021 | nCicProof.mli | blob | raw |
-rw-r--r-- | 14004 | orderings.ml | blob | raw |
-rw-r--r-- | 1483 | orderings.mli | blob | raw |
-rw-r--r-- | 20847 | paramod.ml | blob | raw |
-rw-r--r-- | 2034 | 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-- | 36051 | superposition.ml | blob | raw |
-rw-r--r-- | 2810 | superposition.mli | blob | raw |
-rw-r--r-- | 2785 | terms.ml | blob | raw |
-rw-r--r-- | 3040 | terms.mli | blob | raw |