***************************************************************************** Cut-Introduction ****************************************************************************
**********************************************************
***************************************************************************** Proof Theory ****************************************************************************
**************************************************************************************
***************************************************************************** Cut-Elimination by Resolution ****************************************************************************
****************** Proof loaders ************************
***************************************************************************** File Input / Output ****************************************************************************
***************************************************************************** Parsing ****************************************************************************
***************************************************************************** Automated Deduction ****************************************************************************
****************** CERES operations ************************
***************************************************************************** Miscellaneous ****************************************************************************
***************************************************************************** Formulas / Sequents / Expressions ****************************************************************************
***************************************************************************** Proof Schemata ****************************************************************************