Index of /xml/Sophia-Antipolis/Algebra/Integral_domain_facts

	Name	Last modified	Size	Description
	Parent Directory		-
	INTEGRAL_DOMAIN_mult_eq_l.con.body.xml.gz	2006-03-28 19:04	11K
	INTEGRAL_DOMAIN_mult_eq_l.con.types.xml.gz	2006-03-28 19:04	13K
	INTEGRAL_DOMAIN_mult_eq_l.con.xml.gz	2006-03-28 19:04	1.5K
	INTEGRAL_DOMAIN_mult_eq_r.con.body.xml.gz	2006-03-28 19:04	11K
	INTEGRAL_DOMAIN_mult_eq_r.con.types.xml.gz	2006-03-28 19:04	13K
	INTEGRAL_DOMAIN_mult_eq_r.con.xml.gz	2006-03-28 19:04	1.5K
	INTEGRAL_DOMAIN_mult_l.con.body.xml.gz	2006-03-28 19:04	3.6K
	INTEGRAL_DOMAIN_mult_l.con.types.xml.gz	2006-03-28 19:04	6.5K
	INTEGRAL_DOMAIN_mult_l.con.xml.gz	2006-03-28 19:04	1.4K
	INTEGRAL_DOMAIN_mult_n0_l.con.body.xml.gz	2006-03-28 19:04	4.2K
	INTEGRAL_DOMAIN_mult_n0_l.con.types.xml.gz	2006-03-28 19:04	5.4K
	INTEGRAL_DOMAIN_mult_n0_l.con.xml.gz	2006-03-28 19:04	1.5K
	INTEGRAL_DOMAIN_mult_n0_r.con.body.xml.gz	2006-03-28 19:04	4.2K
	INTEGRAL_DOMAIN_mult_n0_r.con.types.xml.gz	2006-03-28 19:04	5.4K
	INTEGRAL_DOMAIN_mult_n0_r.con.xml.gz	2006-03-28 19:04	1.5K
	INTEGRAL_DOMAIN_mult_r.con.body.xml.gz	2006-03-28 19:04	3.6K
	INTEGRAL_DOMAIN_mult_r.con.types.xml.gz	2006-03-28 19:04	6.5K
	INTEGRAL_DOMAIN_mult_r.con.xml.gz	2006-03-28 19:04	1.4K
	INTEGRAL_DOMAIN_prop.con.body.xml.gz	2006-03-28 19:04	12K
	INTEGRAL_DOMAIN_prop.con.types.xml.gz	2006-03-28 19:04	22K
	INTEGRAL_DOMAIN_prop.con.xml.gz	2006-03-28 19:04	1.6K
	INTEGRAL_DOMAIN_prop_rev.con.body.xml.gz	2006-03-28 19:04	400
	INTEGRAL_DOMAIN_prop_rev.con.types.xml.gz	2006-03-28 19:04	1.7K
	INTEGRAL_DOMAIN_prop_rev.con.xml.gz	2006-03-28 19:04	1.7K
	INTEGRAL_DOMAIN_simpl_l.con.body.xml.gz	2006-03-28 19:04	9.0K
	INTEGRAL_DOMAIN_simpl_l.con.types.xml.gz	2006-03-28 19:04	9.7K
	INTEGRAL_DOMAIN_simpl_l.con.xml.gz	2006-03-28 19:04	1.5K
	INTEGRAL_DOMAIN_simpl_r.con.body.xml.gz	2006-03-28 19:04	9.0K
	INTEGRAL_DOMAIN_simpl_r.con.types.xml.gz	2006-03-28 19:04	9.7K
	INTEGRAL_DOMAIN_simpl_r.con.xml.gz	2006-03-28 19:04	1.5K
	Lemmas/	2006-03-28 19:04	-