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