contrib/SystemOnTPTP/remote
2008-10-13 wenzelm 2008-10-13 ** Update from Fabian ** added remote prover functions;