gtkInterface.ml cicReduction.ml cicReduction.mli cicTypeChecker.ml \
cicTypeChecker.mli reduction.ml tgtkInterface.ml theory.ml \
theoryParser.ml theoryParser2.ml theoryPp.ml theoryTypeChecker.ml \
cicCooking.ml cicCooking.mli cicFindParameters.ml theoryCache.ml \
fix_params.ml cic2Xml.ml xml.ml uriManager.ml uriManager.mli \
cicSubstitution.ml cicSubstitution.mli \
gtkInterface.ml cicReduction.ml cicReduction.mli cicTypeChecker.ml \
cicTypeChecker.mli reduction.ml tgtkInterface.ml theory.ml \
theoryParser.ml theoryParser2.ml theoryPp.ml theoryTypeChecker.ml \
cicCooking.ml cicCooking.mli cicFindParameters.ml theoryCache.ml \
fix_params.ml cic2Xml.ml xml.ml uriManager.ml uriManager.mli \
cicSubstitution.ml cicSubstitution.mli \