at.logic.gapt.cli.GAPScalaInteractiveShellLibrary
***************************************************************************** Automated Deduction ****************************************************************************
***************************************************************************** Automated Deduction ****************************************************************************