- xml2Gdome.ml xml2Gdome.mli proofEngine.ml proofEngine.mli \
- doubleTypeInference.ml doubleTypeInference.mli cic2acic.ml cic2acic.mli\
- cic2Xml.ml cic2Xml.mli logicalOperations.ml logicalOperations.mli \
- sequentPp.ml sequentPp.mli mQueryGenerator.mli mQueryLevels.ml \
- mQueryLevels2.mli mQueryLevels2.ml mQueryGenerator.ml misc.ml misc.mli \
- disambiguate.ml disambiguate.mli termEditor.ml termEditor.mli \
- texTermEditor.ml texTermEditor.mli applyStylesheets.ml \
- applyStylesheets.mli termViewer.ml termViewer.mli invokeTactics.ml \
- invokeTactics.mli hbugs.ml hbugs.mli gTopLevel.ml
+ proofEngine.ml proofEngine.mli eta_fixing.ml eta_fixing.mli \
+ content2cic.ml content2cic.mli logicalOperations.ml \
+ logicalOperations.mli disambiguate.ml disambiguate.mli termEditor.ml \
+ termEditor.mli texTermEditor.ml texTermEditor.mli termViewer.ml \
+ termViewer.mli invokeTactics.ml invokeTactics.mli hbugs.ml hbugs.mli \
+ gTopLevel.ml