at.logic.gapt.cli.GAPScalaInteractiveShellLibrary
***************************************************************************** Cut-Introduction ****************************************************************************
***************************************************************************** Cut-Introduction ****************************************************************************