

/********************************************************************
 * PROGRAM NAME: STP (Simple Theorem Prover)	
 *		
 * AUTHORS: Vijay Ganesh
 *	
 * BEGIN DATE: November, 2005
 *
 * LICENSE: Please view LICENSE file in the home dir of this Program
 ********************************************************************/

svn co https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk/stp stp



