Index of /xml/Sophia-Antipolis/Buchberger/Pspminus

	Name	Last modified	Size	Description
	Parent Directory		-
	INDEX	2005-07-05 08:12	1.5K
	Pspminus/	2005-07-05 08:13	-
	canonical_spminusf.con.body.xml.gz	2004-04-08 10:00	1.9K
	canonical_spminusf.con.types.xml.gz	2004-04-08 10:00	2.0K
	canonical_spminusf.con.xml.gz	2004-04-08 10:00	1.2K
	canonical_spminusf_full.con.body.xml.gz	2004-04-08 10:00	1.5K
	canonical_spminusf_full.con.types.xml.gz	2004-04-08 10:00	1.5K
	canonical_spminusf_full.con.xml.gz	2004-04-08 10:00	1.3K
	canonical_spminusf_full_t.con.body.xml.gz	2004-04-08 10:00	8.8K
	canonical_spminusf_full_t.con.types.xml.gz	2004-04-08 10:00	13K
	canonical_spminusf_full_t.con.xml.gz	2004-04-08 10:00	1.3K
	divP_is_not_order.con.body.xml.gz	2004-04-08 10:00	12K
	divP_is_not_order.con.types.xml.gz	2004-04-08 10:00	9.7K
	divP_is_not_order.con.xml.gz	2004-04-08 10:00	813
	divP_ltT_comp.con.body.xml.gz	2004-04-08 10:00	4.5K
	divP_ltT_comp.con.types.xml.gz	2004-04-08 10:00	4.8K
	divP_ltT_comp.con.xml.gz	2004-04-08 10:00	1.0K
	divP_minusTerm_comp.con.body.xml.gz	2004-04-08 10:00	2.7K
	divP_minusTerm_comp.con.types.xml.gz	2004-04-08 10:00	2.3K
	divP_minusTerm_comp.con.xml.gz	2004-04-08 10:00	1.1K
	eqTerm_spminusf_com.con.body.xml.gz	2004-04-08 10:00	3.9K
	eqTerm_spminusf_com.con.types.xml.gz	2004-04-08 10:00	4.9K
	eqTerm_spminusf_com.con.xml.gz	2004-04-08 10:00	1.3K
	eqp_spminusf_com.con.body.xml.gz	2004-04-08 10:00	2.1K
	eqp_spminusf_com.con.types.xml.gz	2004-04-08 10:00	1.9K
	eqp_spminusf_com.con.xml.gz	2004-04-08 10:00	1.5K
	eqptail_spminusf_com.con.body.xml.gz	2004-04-08 10:00	2.8K
	eqptail_spminusf_com.con.types.xml.gz	2004-04-08 10:00	3.0K
	eqptail_spminusf_com.con.xml.gz	2004-04-08 10:00	1.4K
	ltP_divP_pX.con.body.xml.gz	2004-04-08 10:01	3.2K
	ltP_divP_pX.con.types.xml.gz	2004-04-08 10:01	3.9K
	ltP_divP_pX.con.xml.gz	2004-04-08 10:01	1.1K
	rew_spminusf.con.body.xml.gz	2004-04-08 10:00	1.2K
	rew_spminusf.con.types.xml.gz	2004-04-08 10:00	2.1K
	rew_spminusf.con.xml.gz	2004-04-08 10:00	1.3K
	sp_rew.con.body.xml.gz	2004-04-08 10:00	2.4K
	sp_rew.con.types.xml.gz	2004-04-08 10:00	2.3K
	sp_rew.con.xml.gz	2004-04-08 10:00	1.0K
	spminusf.con.body.xml.gz	2004-04-08 10:00	1.1K
	spminusf.con.types.xml.gz	2004-04-08 10:00	209
	spminusf.con.xml.gz	2004-04-08 10:00	750
	spminusf_extend.con.body.xml.gz	2004-04-08 10:00	15K
	spminusf_extend.con.types.xml.gz	2004-04-08 10:00	26K
	spminusf_extend.con.xml.gz	2004-04-08 10:00	1.4K
	spminusf_minusTerm.con.body.xml.gz	2004-04-08 10:00	31K
	spminusf_minusTerm.con.types.xml.gz	2004-04-08 10:00	33K
	spminusf_minusTerm.con.xml.gz	2004-04-08 10:00	2.1K
	spminusf_minusTerm_l.con.body.xml.gz	2004-04-08 10:00	6.3K
	spminusf_minusTerm_l.con.types.xml.gz	2004-04-08 10:00	6.2K
	spminusf_minusTerm_l.con.xml.gz	2004-04-08 10:00	1.7K
	spminusf_minusTerm_r.con.body.xml.gz	2004-04-08 10:00	26K
	spminusf_minusTerm_r.con.types.xml.gz	2004-04-08 10:00	23K
	spminusf_minusTerm_r.con.xml.gz	2004-04-08 10:00	1.7K
	spminusf_minusTerm_z.con.body.xml.gz	2004-04-08 10:00	160K
	spminusf_minusTerm_z.con.types.xml.gz	2004-04-08 10:00	151K
	spminusf_minusTerm_z.con.xml.gz	2004-04-08 10:00	1.9K
	spminusf_minuspf.con.body.xml.gz	2004-04-08 10:00	6.3K
	spminusf_minuspf.con.types.xml.gz	2004-04-08 10:00	6.2K
	spminusf_minuspf.con.xml.gz	2004-04-08 10:00	1.7K
	spminusf_multTerm.con.body.xml.gz	2004-04-08 10:00	17K
	spminusf_multTerm.con.types.xml.gz	2004-04-08 10:00	18K
	spminusf_multTerm.con.xml.gz	2004-04-08 10:00	1.5K
	spminusf_plusTerm.con.body.xml.gz	2004-04-08 10:00	129K
	spminusf_plusTerm.con.types.xml.gz	2004-04-08 10:00	171K
	spminusf_plusTerm.con.xml.gz	2004-04-08 10:00	2.0K
	spminusf_plusTerm_l.con.body.xml.gz	2004-04-08 10:00	2.8K
	spminusf_plusTerm_l.con.types.xml.gz	2004-04-08 10:00	2.7K
	spminusf_plusTerm_l.con.xml.gz	2004-04-08 10:00	1.6K
	spminusf_plusTerm_r.con.body.xml.gz	2004-04-08 10:00	4.0K
	spminusf_plusTerm_r.con.types.xml.gz	2004-04-08 10:00	4.0K
	spminusf_plusTerm_r.con.xml.gz	2004-04-08 10:00	1.6K
	spminusf_plusTerm_z.con.body.xml.gz	2004-04-08 10:01	131K
	spminusf_plusTerm_z.con.types.xml.gz	2004-04-08 10:01	127K
	spminusf_plusTerm_z.con.xml.gz	2004-04-08 10:01	1.8K
	spminusf_pluspf.con.body.xml.gz	2004-04-08 10:00	29K
	spminusf_pluspf.con.types.xml.gz	2004-04-08 10:00	35K
	spminusf_pluspf.con.xml.gz	2004-04-08 10:00	1.6K