at.logic.gapt.cli.GAPScalaInteractiveShellLibrary
***************************************************************************** Miscellaneous ****************************************************************************
***************************************************************************** Miscellaneous ****************************************************************************