g++ -O2 -Wall -Wno-sign-compare -g -o ArgoCLP Unifier.cpp Expression.cpp Statement.cpp Signature.cpp Variable.cpp Relation.cpp DataBase.cpp opste.cpp Output.cpp NLOutput.cpp IsarOutput.cpp XMLOutput.cpp ProofTraceStep.cpp ProofTraceStepBranchBegin.cpp ProofTraceStepBranchName.cpp ProofTraceStepBranchEnd.cpp ProofTraceStepBranchEndThesis.cpp ProofTraceStepRegular.cpp ProofTraceStepEqContradiction.cpp ProofTrace.cpp Clause.cpp ClauseStack.cpp DisjointSets.cpp Proof.cpp Tptp.cpp Main.cpp 