Index of /xml/Rocq/GRAPHS/zcgraph

	Name	Last modified	Size	Description
	Parent Directory		-
	ZCGeval_correct.con.types.xml.gz	2004-04-08 14:25	89K
	ZCGeval_correct.con.body.xml.gz	2004-04-08 14:25	61K
	ZCGForm_rect.con.body.xml.gz	2004-04-08 14:25	8.7K
	ZCGForm_ind.con.types.xml.gz	2004-04-08 14:25	8.1K
	ZCGtranslate.con.body.xml.gz	2004-04-08 14:25	5.4K
	ZCGeval.con.body.xml.gz	2004-04-08 14:25	4.9K
	ZCGForm_ind.con.xml.gz	2004-04-08 14:25	4.3K
	ZCGForm_rec.con.xml.gz	2004-04-08 14:25	4.3K
	ZCGForm_rect.con.xml.gz	2004-04-08 14:25	4.3K
	ZCG_solve_correct.con.body.xml.gz	2004-04-08 14:25	3.0K
	ZCGForm.ind.xml.gz	2004-04-08 14:25	1.7K
	ZCG_prove_complete.con.types.xml.gz	2004-04-08 14:25	1.6K
	ZCG_solve_correct.con.types.xml.gz	2004-04-08 14:25	1.6K
	ZCG_prove_complete.con.body.xml.gz	2004-04-08 14:25	1.6K
	ZCG_prove_correct.con.types.xml.gz	2004-04-08 14:25	1.4K
	ZCG_solve_complete.con.types.xml.gz	2004-04-08 14:25	1.4K
	ZCG_prove_correct.con.body.xml.gz	2004-04-08 14:25	1.4K
	ZCG_solve_complete.con.body.xml.gz	2004-04-08 14:25	1.4K
	ZCG_solve_correct.con.xml.gz	2004-04-08 14:25	783
	INDEX	2005-07-05 08:12	755
	ZCG_prove_complete.con.xml.gz	2004-04-08 14:25	702
	ZCG_solve_complete.con.xml.gz	2004-04-08 14:25	672
	ZCG_prove_correct.con.xml.gz	2004-04-08 14:25	665
	ZCG_solve.con.body.xml.gz	2004-04-08 14:25	592
	ZCG_prove.con.body.xml.gz	2004-04-08 14:25	592
	ZCGeval_correct.con.xml.gz	2004-04-08 14:25	496
	ZCGForm_ind.con.body.xml.gz	2004-04-08 14:25	423
	ZCGForm_rec.con.body.xml.gz	2004-04-08 14:25	420
	ZCG_eval.con.xml.gz	2004-04-08 14:25	419
	ZCG_eval.con.body.xml.gz	2004-04-08 14:25	378
	ZCGtranslate.con.xml.gz	2004-04-08 14:25	372
	ZCGeval.con.xml.gz	2004-04-08 14:25	315
	ZCG_solve.con.xml.gz	2004-04-08 14:25	313
	ZCG_prove.con.xml.gz	2004-04-08 14:25	313
	ZCGForm_rect.con.types.xml.gz	2004-04-08 14:25	209
	ZCGtranslate.con.types.xml.gz	2004-04-08 14:25	208
	ZCGForm_rec.con.types.xml.gz	2004-04-08 14:25	207
	ZCG_solve.con.types.xml.gz	2004-04-08 14:25	204
	ZCG_prove.con.types.xml.gz	2004-04-08 14:25	204
	ZCG_eval.con.types.xml.gz	2004-04-08 14:25	203
	ZCGeval.con.types.xml.gz	2004-04-08 14:25	200
	ZCGForm.ind.types.xml.gz	2004-04-08 14:25	199
	ZCGevalDef/	2005-07-05 08:13	-