]>
-rw-r--r-- | 2157 | .depend | blob | raw |
-rw-r--r-- | 2157 | .depend.opt | blob | raw |
-rw-r--r-- | 346 | Makefile | blob | raw |
-rw-r--r-- | 1447 | cicBlob.ml | blob | raw |
-rw-r--r-- | 911 | cicBlob.mli | blob | raw |
-rw-r--r-- | 1854 | foSubst.ml | blob | raw |
-rw-r--r-- | 1362 | 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-- | 3626 | index.ml | blob | raw |
-rw-r--r-- | 1516 | index.mli | blob | raw |
-rw-r--r-- | 4350 | nCicBlob.ml | blob | raw |
-rw-r--r-- | 1089 | nCicBlob.mli | blob | raw |
-rw-r--r-- | 5457 | nCicParamod.ml | blob | raw |
-rw-r--r-- | 1592 | nCicParamod.mli | blob | raw |
-rw-r--r-- | 15141 | nCicProof.ml | blob | raw |
-rw-r--r-- | 1064 | nCicProof.mli | blob | raw |
-rw-r--r-- | 13908 | orderings.ml | blob | raw |
-rw-r--r-- | 1483 | orderings.mli | blob | raw |
-rw-r--r-- | 19926 | paramod.ml | blob | raw |
-rw-r--r-- | 1975 | 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-- | 33947 | 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 |