at.logic.gapt.cli.GAPScalaInteractiveShellLibrary
***************************************************************************** Formulas / Sequents / Expressions ****************************************************************************
***************************************************************************** Formulas / Sequents / Expressions ****************************************************************************