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

	Name	Last modified	Size	Description
	Parent Directory		-
	add_in.con.body.xml.gz	2006-03-28 19:04	1.9K
	add_in.con.types.xml.gz	2006-03-28 19:04	3.7K
	add_in.con.xml.gz	2006-03-28 19:04	587
	add_minus.con.body.xml.gz	2006-03-28 19:04	3.0K
	add_minus.con.types.xml.gz	2006-03-28 19:04	5.6K
	add_minus.con.xml.gz	2006-03-28 19:04	653
	add_part.con.body.xml.gz	2006-03-28 19:04	562
	add_part.con.types.xml.gz	2006-03-28 19:04	207
	add_part.con.xml.gz	2006-03-28 19:04	443
	add_part_com.con.body.xml.gz	2006-03-28 19:04	1.9K
	add_part_com.con.types.xml.gz	2006-03-28 19:04	2.3K
	add_part_com.con.xml.gz	2006-03-28 19:04	639
	add_part_comp.con.body.xml.gz	2006-03-28 19:04	866
	add_part_comp.con.types.xml.gz	2006-03-28 19:04	1.1K
	add_part_comp.con.xml.gz	2006-03-28 19:04	733
	add_part_in.con.body.xml.gz	2006-03-28 19:04	637
	add_part_in.con.types.xml.gz	2006-03-28 19:04	901
	add_part_in.con.xml.gz	2006-03-28 19:04	532
	add_part_in_el_diff.con.body.xml.gz	2006-03-28 19:04	1.6K
	add_part_in_el_diff.con.types.xml.gz	2006-03-28 19:04	2.5K
	add_part_in_el_diff.con.xml.gz	2006-03-28 19:04	685
	add_part_in_el_not_in.con.body.xml.gz	2006-03-28 19:04	1.6K
	add_part_in_el_not_in.con.types.xml.gz	2006-03-28 19:04	2.6K
	add_part_in_el_not_in.con.xml.gz	2006-03-28 19:04	692
	add_part_simpl.con.body.xml.gz	2006-03-28 19:04	7.0K
	add_part_simpl.con.types.xml.gz	2006-03-28 19:04	10K
	add_part_simpl.con.xml.gz	2006-03-28 19:04	789
	cardinal.ind.types.xml.gz	2006-03-28 19:04	207
	cardinal.ind.xml.gz	2006-03-28 19:04	1.1K
	cardinalO_unique.con.body.xml.gz	2006-03-28 19:04	5.8K
	cardinalO_unique.con.types.xml.gz	2006-03-28 19:04	5.9K
	cardinalO_unique.con.xml.gz	2006-03-28 19:04	625
	cardinal_1_single.con.body.xml.gz	2006-03-28 19:04	7.2K
	cardinal_1_single.con.types.xml.gz	2006-03-28 19:04	11K
	cardinal_1_single.con.xml.gz	2006-03-28 19:04	779
	cardinal_O_empty.con.body.xml.gz	2006-03-28 19:04	4.6K
	cardinal_O_empty.con.types.xml.gz	2006-03-28 19:04	5.9K
	cardinal_O_empty.con.xml.gz	2006-03-28 19:04	609
	cardinal_S.con.body.xml.gz	2006-03-28 19:04	20K
	cardinal_S.con.types.xml.gz	2006-03-28 19:04	22K
	cardinal_S.con.xml.gz	2006-03-28 19:04	829
	cardinal_comp.con.body.xml.gz	2006-03-28 19:04	6.0K
	cardinal_comp.con.types.xml.gz	2006-03-28 19:04	5.6K
	cardinal_comp.con.xml.gz	2006-03-28 19:04	729
	cardinal_comp_l.con.body.xml.gz	2006-03-28 19:04	785
	cardinal_comp_l.con.types.xml.gz	2006-03-28 19:04	765
	cardinal_comp_l.con.xml.gz	2006-03-28 19:04	665
	cardinal_comp_r.con.body.xml.gz	2006-03-28 19:04	760
	cardinal_comp_r.con.types.xml.gz	2006-03-28 19:04	768
	cardinal_comp_r.con.xml.gz	2006-03-28 19:04	628
	cardinal_empty_O.con.body.xml.gz	2006-03-28 19:04	478
	cardinal_empty_O.con.types.xml.gz	2006-03-28 19:04	524
	cardinal_empty_O.con.xml.gz	2006-03-28 19:04	418
	cardinal_ind.con.body.xml.gz	2006-03-28 19:04	2.4K
	cardinal_ind.con.types.xml.gz	2006-03-28 19:04	2.1K
	cardinal_ind.con.xml.gz	2006-03-28 19:04	1.2K
	cardinal_ind2.con.body.xml.gz	2006-03-28 19:04	7.2K
	cardinal_ind2.con.types.xml.gz	2006-03-28 19:04	8.8K
	cardinal_ind2.con.xml.gz	2006-03-28 19:04	1.4K
	cardinal_pair.con.body.xml.gz	2006-03-28 19:04	1.1K
	cardinal_pair.con.types.xml.gz	2006-03-28 19:04	1.7K
	cardinal_pair.con.xml.gz	2006-03-28 19:04	732
	cardinal_single.con.body.xml.gz	2006-03-28 19:04	748
	cardinal_single.con.types.xml.gz	2006-03-28 19:04	1.0K
	cardinal_single.con.xml.gz	2006-03-28 19:04	550
	cardinal_sup3.con.body.xml.gz	2006-03-28 19:04	5.3K
	cardinal_sup3.con.types.xml.gz	2006-03-28 19:04	5.7K
	cardinal_sup3.con.xml.gz	2006-03-28 19:04	1.4K
	cardinal_unique.con.body.xml.gz	2006-03-28 19:04	3.5K
	cardinal_unique.con.types.xml.gz	2006-03-28 19:04	3.3K
	cardinal_unique.con.xml.gz	2006-03-28 19:04	631
	fparts_in_def/	2006-03-28 19:04	-
	minus_add.con.body.xml.gz	2006-03-28 19:04	4.8K
	minus_add.con.types.xml.gz	2006-03-28 19:04	6.8K
	minus_add.con.xml.gz	2006-03-28 19:04	617
	minus_not_in.con.body.xml.gz	2006-03-28 19:04	2.7K
	minus_not_in.con.types.xml.gz	2006-03-28 19:04	6.3K
	minus_not_in.con.xml.gz	2006-03-28 19:04	637
	minus_part.con.body.xml.gz	2006-03-28 19:04	565
	minus_part.con.types.xml.gz	2006-03-28 19:04	210
	minus_part.con.xml.gz	2006-03-28 19:04	451
	minus_part_com.con.body.xml.gz	2006-03-28 19:04	4.3K
	minus_part_com.con.types.xml.gz	2006-03-28 19:04	5.4K
	minus_part_com.con.xml.gz	2006-03-28 19:04	635
	minus_part_comp.con.body.xml.gz	2006-03-28 19:04	869
	minus_part_comp.con.types.xml.gz	2006-03-28 19:04	1.1K
	minus_part_comp.con.xml.gz	2006-03-28 19:04	737
	minus_part_not_in.con.body.xml.gz	2006-03-28 19:04	1.4K
	minus_part_not_in.con.types.xml.gz	2006-03-28 19:04	1.7K
	minus_part_not_in.con.xml.gz	2006-03-28 19:04	576
	minus_trans_not_in.con.body.xml.gz	2006-03-28 19:04	1.6K
	minus_trans_not_in.con.types.xml.gz	2006-03-28 19:04	2.5K
	minus_trans_not_in.con.xml.gz	2006-03-28 19:04	648
	not_in_empty.con.body.xml.gz	2006-03-28 19:04	1.4K
	not_in_empty.con.types.xml.gz	2006-03-28 19:04	2.4K
	not_in_empty.con.xml.gz	2006-03-28 19:04	632
	not_in_part_trans.con.body.xml.gz	2006-03-28 19:04	2.4K
	not_in_part_trans.con.types.xml.gz	2006-03-28 19:04	3.3K
	not_in_part_trans.con.xml.gz	2006-03-28 19:04	697
	not_in_part_trans_eq.con.body.xml.gz	2006-03-28 19:04	1.3K
	not_in_part_trans_eq.con.types.xml.gz	2006-03-28 19:04	2.1K
	not_in_part_trans_eq.con.xml.gz	2006-03-28 19:04	662
	single_add.con.body.xml.gz	2006-03-28 19:04	683
	single_add.con.types.xml.gz	2006-03-28 19:04	1.0K
	single_add.con.xml.gz	2006-03-28 19:04	576
	union_unit_l.con.body.xml.gz	2006-03-28 19:04	1.2K
	union_unit_l.con.types.xml.gz	2006-03-28 19:04	2.1K
	union_unit_l.con.xml.gz	2006-03-28 19:04	558