- paramodulation/utils.mli \
- paramodulation/subst.mli\
- paramodulation/equality.mli\
- paramodulation/inference.mli\
- paramodulation/equality_indexing.mli\
- paramodulation/indexing.mli \
- paramodulation/saturation.mli \
+ universe.mli \
+ autoTypes.mli \
+ autoCache.mli \
+ paramodulation/utils.mli \
+ closeCoercionGraph.mli \
+ paramodulation/subst.mli \
+ paramodulation/equality.mli\
+ paramodulation/founif.mli\
+ paramodulation/equality_indexing.mli\
+ paramodulation/indexing.mli \
+ paramodulation/saturation.mli \
+ automationCache.mli \