Index of /~jipsen/tptp/tptplatex

	Name	Last modified	Size	Description
	Parent Directory		-
	SWC.tex	2016-08-29 00:28	1.4M
	SEU.tex	2016-08-29 00:28	1.2M
	SWV.tex	2016-08-29 00:28	1.2M
	SET.tex	2016-08-29 00:28	1.0M
	GRP.tex	2016-08-29 00:27	919K
	SWC.log	2016-08-29 00:28	818K
	SWV.log	2016-08-29 00:28	770K
	NUM.tex	2016-08-29 00:27	702K
	LCL.tex	2016-08-29 00:27	700K
	SYN.tex	2016-08-29 00:28	685K
	CSR.tex	2016-08-29 00:27	603K
	SYO.tex	2016-08-29 00:28	516K
	SEU.log	2016-08-29 00:28	515K
	SEV.tex	2016-08-29 00:28	514K
	GEO.tex	2016-08-29 00:27	457K
	SET.log	2016-08-29 00:28	405K
	PUZ.tex	2016-08-29 00:27	362K
	LCL.log	2016-08-29 00:27	348K
	KRS.tex	2016-08-29 00:27	290K
	SEV.log	2016-08-29 00:28	286K
	SYN.log	2016-08-29 00:28	280K
	LAT.tex	2016-08-29 00:27	273K
	MGT.tex	2016-08-29 00:27	255K
	COL.tex	2016-08-29 00:27	251K
	SWB.tex	2016-08-29 00:28	247K
	NUM.log	2016-08-29 00:27	236K
	SYO.log	2016-08-29 00:28	234K
	MGT.log	2016-08-29 00:27	221K
	ALG.tex	2016-08-29 00:27	210K
	CSR.log	2016-08-29 00:27	205K
	PUZ.log	2016-08-29 00:27	202K
	ARI.tex	2016-08-29 00:27	197K
	FLD.tex	2016-08-29 00:27	195K
	NLP.tex	2016-08-29 00:27	191K
	ANA.tex	2016-08-29 00:27	186K
	GEO.log	2016-08-29 00:27	184K
	SWB.log	2016-08-29 00:28	176K
	COL.log	2016-08-29 00:27	176K
	DAT.tex	2016-08-29 00:27	160K
	GRP.log	2016-08-29 00:27	151K
	ANA.log	2016-08-29 00:27	150K
	NLP.log	2016-08-29 00:27	128K
	SWW.tex	2016-08-29 00:28	119K
	COM.tex	2016-08-29 00:27	109K
	KLE.tex	2017-03-18 19:01	109K
	RNG.tex	2016-08-29 00:27	107K
	COM.log	2016-08-29 00:27	99K
	HWV.tex	2016-08-29 00:27	99K
	KLE.pdf	2017-03-18 19:01	98K
	REL.tex	2016-08-29 00:27	94K
	GRA.tex	2016-08-29 00:27	91K
	LAT.log	2016-08-29 00:27	89K
	ALG.log	2016-08-29 00:27	87K
	SWW.log	2016-08-29 00:28	84K
	DAT.log	2016-08-29 00:27	82K
	GRA.log	2016-08-29 00:27	79K
	ARI.log	2016-08-29 00:27	79K
	KRS.log	2016-08-29 00:27	68K
	BOO.tex	2016-08-29 00:27	66K
	LDA.tex	2016-08-29 00:27	51K
	HEN.tex	2016-08-29 00:27	49K
	MSC.tex	2016-08-29 00:27	48K
	GEG.tex	2016-08-29 00:27	46K
	PLA.tex	2016-08-29 00:27	41K
	KLE.log	2017-03-18 19:01	39K
	CAT.tex	2016-08-29 00:27	39K
	TOP.tex	2016-08-29 00:28	31K
	RNG.log	2016-08-29 00:27	31K
	AGT.tex	2016-08-29 00:27	29K
	GEG.log	2016-08-29 00:27	28K
	MSC.log	2016-08-29 00:27	26K
	TOP.log	2016-08-29 00:28	25K
	PHI.tex	2016-08-29 00:27	23K
	ROB.tex	2016-08-29 00:27	21K
	PLA.log	2016-08-29 00:27	21K
	PHI.log	2016-08-29 00:27	20K
	tptp2latex.py	2017-03-19 18:34	19K
	HWC.log	2016-08-29 00:27	18K
	HAL.tex	2016-08-29 00:27	18K
	HWV.log	2016-08-29 00:27	17K
	HEN.log	2016-08-29 00:27	16K
	MED.log	2016-08-29 00:27	16K
	PRD.log	2016-08-29 00:27	14K
	AGT.log	2016-08-29 00:27	13K
	HWC.tex	2016-08-29 00:27	12K
	QUA.tex	2016-08-29 00:27	12K
	QUA.log	2016-08-29 00:27	12K
	MED.tex	2016-08-29 00:27	12K
	HAL.log	2016-08-29 00:27	12K
	NUN.log	2016-08-29 00:27	9.8K
	NUN.tex	2016-08-29 00:27	8.5K
	SCT.log	2016-08-29 00:27	8.3K
	ROB.log	2016-08-29 00:27	7.9K
	BOO.log	2016-08-29 00:27	7.8K
	REL.log	2016-08-29 00:27	6.8K
	CAT.log	2016-08-29 00:27	6.6K
	SCT.tex	2016-08-29 00:27	6.1K
	FLD.log	2016-08-29 00:27	5.7K
	LDA.log	2016-08-29 00:27	5.5K
	BIO.log	2016-08-29 00:27	5.4K
	PRO.log	2016-08-29 00:27	5.1K
	PRD.tex	2016-08-29 00:27	4.6K
	BIO.tex	2016-08-29 00:27	1.3K
	PRO.tex	2016-08-29 00:27	272
	TOP.aux	2016-08-29 00:28	144
	SYO.aux	2016-08-29 00:28	144
	SYN.aux	2016-08-29 00:28	144
	SWW.aux	2016-08-29 00:28	144
	SWV.aux	2016-08-29 00:28	144
	SWC.aux	2016-08-29 00:28	144
	SWB.aux	2016-08-29 00:28	144
	SEV.aux	2016-08-29 00:28	144
	SEU.aux	2016-08-29 00:28	144
	SET.aux	2016-08-29 00:28	144
	SCT.aux	2016-08-29 00:27	144
	ROB.aux	2016-08-29 00:27	144
	RNG.aux	2016-08-29 00:27	144
	REL.aux	2016-08-29 00:27	144
	QUA.aux	2016-08-29 00:27	144
	PUZ.aux	2016-08-29 00:27	144
	PRO.aux	2016-08-29 00:27	144
	PRD.aux	2016-08-29 00:27	144
	PLA.aux	2016-08-29 00:27	144
	PHI.aux	2016-08-29 00:27	144
	NUN.aux	2016-08-29 00:27	144
	NUM.aux	2016-08-29 00:27	144
	NLP.aux	2016-08-29 00:27	144
	MSC.aux	2016-08-29 00:27	144
	MGT.aux	2016-08-29 00:27	144
	MED.aux	2016-08-29 00:27	144
	LDA.aux	2016-08-29 00:27	144
	LCL.aux	2016-08-29 00:27	144
	LAT.aux	2016-08-29 00:27	144
	KRS.aux	2016-08-29 00:27	144
	KLE.aux	2017-03-18 19:01	144
	HWV.aux	2016-08-29 00:27	144
	HWC.aux	2016-08-29 00:27	144
	HEN.aux	2016-08-29 00:27	144
	HAL.aux	2016-08-29 00:27	144
	GRP.aux	2016-08-29 00:27	144
	GRA.aux	2016-08-29 00:27	144
	GEO.aux	2016-08-29 00:27	144
	GEG.aux	2016-08-29 00:27	144
	FLD.aux	2016-08-29 00:27	144
	DAT.aux	2016-08-29 00:27	144
	CSR.aux	2016-08-29 00:27	144
	COM.aux	2016-08-29 00:27	144
	COL.aux	2016-08-29 00:27	144
	CAT.aux	2016-08-29 00:27	144
	BOO.aux	2016-08-29 00:27	144
	BIO.aux	2016-08-29 00:27	144
	ARI.aux	2016-08-29 00:27	144
	ANA.aux	2016-08-29 00:27	144
	ALG.aux	2016-08-29 00:27	144
	AGT.aux	2016-08-29 00:27	144