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