Index of /xml/Rocq/SUBST/sur_les_relations

	Name	Last modified	Size	Description
	Parent Directory		-
	strong_conf_conf.con.types.xml.gz	2004-04-09 01:16	9.3K
	strong_conf_conf.con.body.xml.gz	2004-04-09 01:16	8.6K
	inclus_conf.con.types.xml.gz	2004-04-09 01:16	3.9K
	noetherian_course_of_values.con.types.xml.gz	2004-04-09 01:16	3.7K
	Rstar_Rplus_R.con.types.xml.gz	2004-04-09 01:16	3.5K
	Rstar_Rplus_R.con.body.xml.gz	2004-04-09 01:16	3.2K
	inclus_conf.con.body.xml.gz	2004-04-09 01:16	2.9K
	star_case.con.types.xml.gz	2004-04-09 01:16	2.4K
	noetherian_course_of_values.con.body.xml.gz	2004-04-09 01:16	2.4K
	INDEX	2005-07-05 08:12	2.2K
	plus_preserves_noetherian.con.types.xml.gz	2004-04-09 01:16	2.1K
	comp_relplus.con.body.xml.gz	2004-04-09 01:16	2.1K
	star_case.con.body.xml.gz	2004-04-09 01:16	2.0K
	comp_relplus.con.types.xml.gz	2004-04-09 01:16	1.8K
	inclus_reg_star.con.types.xml.gz	2004-04-09 01:16	1.7K
	inclus_comp.con.types.xml.gz	2004-04-09 01:16	1.7K
	inclus_star.con.types.xml.gz	2004-04-09 01:16	1.6K
	noether_inclus.con.types.xml.gz	2004-04-09 01:16	1.6K
	Rplus_transitive.con.body.xml.gz	2004-04-09 01:16	1.5K
	explicit_rel_plus_ind.con.body.xml.gz	2004-04-09 01:16	1.5K
	Rplus_transitive.con.types.xml.gz	2004-04-09 01:16	1.5K
	explicit_rel_plus_ind.con.types.xml.gz	2004-04-09 01:16	1.4K
	star_trans.con.body.xml.gz	2004-04-09 01:16	1.4K
	explicit_star_ind.con.body.xml.gz	2004-04-09 01:16	1.4K
	Ex_PQ.con.body.xml.gz	2004-04-09 01:16	1.4K
	noetherian_induction1.con.types.xml.gz	2004-04-09 01:16	1.4K
	comp_case.con.types.xml.gz	2004-04-09 01:16	1.4K
	Ex_PQ.con.types.xml.gz	2004-04-09 01:16	1.4K
	inclus_comp.con.body.xml.gz	2004-04-09 01:16	1.4K
	star_trans.con.types.xml.gz	2004-04-09 01:16	1.3K
	explicit_star_ind.con.types.xml.gz	2004-04-09 01:16	1.3K
	comp_case.con.body.xml.gz	2004-04-09 01:16	1.3K
	inclus_reg_star.con.body.xml.gz	2004-04-09 01:16	1.3K
	noether_inclus.con.body.xml.gz	2004-04-09 01:16	1.3K
	inclus_star.con.body.xml.gz	2004-04-09 01:16	1.3K
	plus_preserves_noetherian.con.body.xml.gz	2004-04-09 01:16	1.3K
	Rplus_Rstar.con.body.xml.gz	2004-04-09 01:16	1.2K
	Rplus_Rstar.con.types.xml.gz	2004-04-09 01:16	1.2K
	noetherian_induction.con.body.xml.gz	2004-04-09 01:16	1.0K
	noetherian_induction1.con.body.xml.gz	2004-04-09 01:16	1.0K
	noetherian_induction.con.types.xml.gz	2004-04-09 01:16	959
	explicit_comp_rel_ind.con.body.xml.gz	2004-04-09 01:16	958
	inclus_comp.con.xml.gz	2004-04-09 01:16	874
	explicit_rel_plus_ind.con.xml.gz	2004-04-09 01:16	857
	explicit_comp_rel_ind.con.types.xml.gz	2004-04-09 01:16	840
	explicit_rel_plus.ind.xml.gz	2004-04-09 01:16	835
	noetherian_course_of_values.con.xml.gz	2004-04-09 01:16	826
	Rstar_Rplus_R.con.xml.gz	2004-04-09 01:16	825
	star_case.con.xml.gz	2004-04-09 01:16	811
	noetherian_induction.con.xml.gz	2004-04-09 01:16	805
	explicit_star_ind.con.xml.gz	2004-04-09 01:16	805
	confluence_en.con.body.xml.gz	2004-04-09 01:16	785
	explicit_comp_rel_ind.con.xml.gz	2004-04-09 01:16	772
	explicit_star.ind.xml.gz	2004-04-09 01:16	771
	comp_case.con.xml.gz	2004-04-09 01:16	770
	local_confluence_en.con.body.xml.gz	2004-04-09 01:16	754
	explicit_comp_rel.ind.xml.gz	2004-04-09 01:16	750
	noetherian_induction1.con.xml.gz	2004-04-09 01:16	735
	star_step1.con.types.xml.gz	2004-04-09 01:16	717
	inclus_conf.con.xml.gz	2004-04-09 01:16	713
	star_step1.con.body.xml.gz	2004-04-09 01:16	695
	noether_inclus.con.xml.gz	2004-04-09 01:16	687
	Rplus_transitive.con.xml.gz	2004-04-09 01:16	671
	strong_confluence_en.con.body.xml.gz	2004-04-09 01:16	666
	inclus_star.con.xml.gz	2004-04-09 01:16	663
	star_trans.con.xml.gz	2004-04-09 01:16	659
	comp_relplus.con.xml.gz	2004-04-09 01:16	657
	inclus_reg_star.con.xml.gz	2004-04-09 01:16	638
	Ex_PQ.con.xml.gz	2004-04-09 01:16	638
	plus_preserves_noetherian.con.xml.gz	2004-04-09 01:16	606
	Rplus_Rstar.con.xml.gz	2004-04-09 01:16	606
	star_step1.con.xml.gz	2004-04-09 01:16	582
	explicit_inclus.con.body.xml.gz	2004-04-09 01:16	561
	strong_conf_conf.con.xml.gz	2004-04-09 01:16	519
	sub.con.body.xml.gz	2004-04-09 01:16	467
	adjoint.con.body.xml.gz	2004-04-09 01:16	436
	universal.con.body.xml.gz	2004-04-09 01:16	430
	explicit_noetherian.con.body.xml.gz	2004-04-09 01:16	430
	explicit_strong_confluence.con.body.xml.gz	2004-04-09 01:16	417
	explicit_local_confluence.con.body.xml.gz	2004-04-09 01:16	415
	hereditary.con.body.xml.gz	2004-04-09 01:16	411
	explicit_confluence.con.body.xml.gz	2004-04-09 01:16	404
	explicit_inclus.con.xml.gz	2004-04-09 01:16	386
	local_confluence_en.con.xml.gz	2004-04-09 01:16	337
	strong_confluence_en.con.xml.gz	2004-04-09 01:16	335
	hereditary.con.xml.gz	2004-04-09 01:16	330
	confluence_en.con.xml.gz	2004-04-09 01:16	327
	sub.con.xml.gz	2004-04-09 01:16	321
	universal.con.xml.gz	2004-04-09 01:16	318
	a_set.con.body.xml.gz	2004-04-09 01:16	317
	adjoint.con.xml.gz	2004-04-09 01:16	316
	explicit_strong_confluence.con.xml.gz	2004-04-09 01:16	282
	explicit_local_confluence.con.xml.gz	2004-04-09 01:16	280
	explicit_confluence.con.xml.gz	2004-04-09 01:16	270
	explicit_noetherian.con.xml.gz	2004-04-09 01:16	269
	a_set.con.xml.gz	2004-04-09 01:16	242
	explicit_strong_confluence.con.types.xml.gz	2004-04-09 01:16	237
	explicit_local_confluence.con.types.xml.gz	2004-04-09 01:16	236
	strong_confluence_en.con.types.xml.gz	2004-04-09 01:16	226
	explicit_noetherian.con.types.xml.gz	2004-04-09 01:16	226
	explicit_confluence.con.types.xml.gz	2004-04-09 01:16	225
	local_confluence_en.con.types.xml.gz	2004-04-09 01:16	224
	explicit_rel_plus.ind.types.xml.gz	2004-04-09 01:16	222
	explicit_comp_rel.ind.types.xml.gz	2004-04-09 01:16	221
	explicit_inclus.con.types.xml.gz	2004-04-09 01:16	219
	explicit_star.ind.types.xml.gz	2004-04-09 01:16	216
	confluence_en.con.types.xml.gz	2004-04-09 01:16	214
	hereditary.con.types.xml.gz	2004-04-09 01:16	211
	universal.con.types.xml.gz	2004-04-09 01:16	208
	adjoint.con.types.xml.gz	2004-04-09 01:16	206
	a_set.con.types.xml.gz	2004-04-09 01:16	202
	sub.con.types.xml.gz	2004-04-09 01:16	198
	rels_prop/	2005-07-05 08:13	-
	relations_noetherian/	2005-07-05 08:13	-
	Rels/	2005-07-05 08:13	-