at.logic.gapt.cli.GAPScalaInteractiveShellLibrary
****************** CERES operations ************************
****************** CERES operations ************************