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