Index of /~tptp/Seminars/ATP/Applications

	Name	Last modified	Size	Description
	Parent Directory		-
	ACE.html	24-Mar-2010 16:03	3.4K
	Isabelle.gif	17-Mar-2010 14:47	9.6K
	Isabelle.html	26-Apr-2010 10:11	1.1K
	MPTP.html	25-Apr-2008 08:13	1.4K
	MPTPCrossVerification.GIF	17-Aug-2007 14:06	100K
	MPTPCrossVerificationGIF.html	17-Aug-2007 14:08	342
	Mizar.gif	21-Apr-2008 13:33	2.6K
	MizarSummary.html	25-Apr-2008 13:28	1.0K
	NASA.html	17-Mar-2010 14:08	1.2K
	NASACodeCertification.GIF	17-Aug-2007 10:50	36K
	NASACodeCertificationGIF.html	17-Aug-2007 10:58	326
	Naproche.html	17-Mar-2010 14:30	1.2K
	NaprocheWebInterface.GIF	17-Mar-2010 13:32	178K
	NaprocheWebInterfaceGIF.html	17-Mar-2010 13:42	328
	SUMOCyc.GIF	17-Aug-2007 17:35	26K
	SUMOCyc.html	31-Aug-2007 10:33	955
	Summary.html	26-Apr-2010 09:42	4.1K
	Talk.jpg	11-May-2009 11:01	30K
	Verisoft.gif	26-Jun-2008 08:07	3.2K
	Verisoft.html	26-Jun-2008 08:39	1.0K
	WarAndPeace.GIF	26-Apr-2004 17:59	68K