Index of /xml/Coq/Wellfounded/Well_Ordering

	Name	Last modified	Size	Description
	Parent Directory		-
	B.con.body.xml.gz	2004-04-08 01:34	470
	B.con.types.xml.gz	2004-04-08 01:34	196
	B.con.xml.gz	2004-04-08 01:34	315
	Characterisation_wf_relations/	2005-07-05 08:13	-
	INDEX	2005-07-05 08:11	384
	WO.ind.types.xml.gz	2004-04-08 01:34	196
	WO.ind.xml.gz	2004-04-08 01:34	489
	WO_ind.con.body.xml.gz	2004-04-08 01:34	430
	WO_ind.con.types.xml.gz	2004-04-08 01:34	896
	WO_ind.con.xml.gz	2004-04-08 01:34	697
	WO_rec.con.body.xml.gz	2004-04-08 01:34	426
	WO_rec.con.types.xml.gz	2004-04-08 01:34	204
	WO_rec.con.xml.gz	2004-04-08 01:34	689
	WO_rect.con.body.xml.gz	2004-04-08 01:34	1.1K
	WO_rect.con.types.xml.gz	2004-04-08 01:34	206
	WO_rect.con.xml.gz	2004-04-08 01:34	693
	WellOrdering/	2005-07-05 08:13	-
	le_WO.ind.types.xml.gz	2004-04-08 01:34	201
	le_WO.ind.xml.gz	2004-04-08 01:34	663
	le_WO_ind.con.body.xml.gz	2004-04-08 01:34	930
	le_WO_ind.con.types.xml.gz	2004-04-08 01:34	814
	le_WO_ind.con.xml.gz	2004-04-08 01:34	758
	wf_WO.con.body.xml.gz	2004-04-08 01:34	8.7K
	wf_WO.con.proof_tree.xml.gz	2004-04-09 18:52	18K
	wf_WO.con.types.xml.gz	2004-04-08 01:34	9.7K
	wf_WO.con.xml.gz	2004-04-08 01:34	344
	wof.con.body.xml.gz	2004-04-08 01:34	1.4K
	wof.con.proof_tree.xml.gz	2004-04-09 18:52	2.5K
	wof.con.types.xml.gz	2004-04-08 01:34	198
	wof.con.xml.gz	2004-04-08 01:34	466