at.logic.gapt.cli.GAPScalaInteractiveShellLibrary
***************************************************************************** File Input / Output ****************************************************************************
***************************************************************************** File Input / Output ****************************************************************************