at.logic.gapt.cli.GAPScalaInteractiveShellLibrary
***************************************************************************** Proof Theory ****************************************************************************
***************************************************************************** Proof Theory ****************************************************************************