Index of /xml/Coq/Sets/Multiset

	Name	Last modified	Size	Description
	Parent Directory		-
	multiset_defs/	2005-07-05 08:13	-
	meq.con.types.xml.gz	2004-04-08 01:32	188
	munion.con.types.xml.gz	2004-04-08 01:32	192
	multiset.ind.types.xml.gz	2004-04-08 01:32	194
	EmptyBag.con.types.xml.gz	2004-04-08 01:32	197
	multiplicity.con.types.xml.gz	2004-04-08 01:32	202
	multiset_rec.con.types.xml.gz	2004-04-08 01:32	203
	multiset_rect.con.types.xml.gz	2004-04-08 01:32	204
	SingletonBag.con.types.xml.gz	2004-04-08 01:32	205
	EmptyBag.con.xml.gz	2004-04-08 01:32	246
	munion.con.xml.gz	2004-04-08 01:32	299
	meq.con.xml.gz	2004-04-08 01:32	311
	SingletonBag.con.xml.gz	2004-04-08 01:32	330
	multiplicity.con.xml.gz	2004-04-08 01:32	337
	meq_refl.con.xml.gz	2004-04-08 01:32	376
	EmptyBag.con.body.xml.gz	2004-04-08 01:32	380
	multiset_rec.con.body.xml.gz	2004-04-08 01:32	416
	multiset_ind.con.body.xml.gz	2004-04-08 01:32	420
	multiset.ind.xml.gz	2004-04-08 01:32	423
	munion_empty_left.con.xml.gz	2004-04-08 01:32	426
	meq_sym.con.xml.gz	2004-04-08 01:32	431
	munion_empty_right.con.xml.gz	2004-04-08 01:32	431
	munion_comm.con.xml.gz	2004-04-08 01:32	450
	munion_empty_right.con.body.xml.gz	2004-04-08 01:32	474
	meq_trans.con.xml.gz	2004-04-08 01:32	478
	munion_empty_left.con.body.xml.gz	2004-04-08 01:32	499
	meq_left.con.xml.gz	2004-04-08 01:32	503
	meq_right.con.xml.gz	2004-04-08 01:32	504
	munion_rotate.con.xml.gz	2004-04-08 01:32	513
	munion_ass.con.xml.gz	2004-04-08 01:32	516
	munion_perm_left.con.xml.gz	2004-04-08 01:32	518
	meq.con.body.xml.gz	2004-04-08 01:32	523
	munion.con.body.xml.gz	2004-04-08 01:32	530
	meq_congr.con.xml.gz	2004-04-08 01:32	545
	multiset_rect.con.xml.gz	2004-04-08 01:32	555
	multiset_rec.con.xml.gz	2004-04-08 01:32	559
	multiset_ind.con.xml.gz	2004-04-08 01:32	565
	multiset_twist1.con.xml.gz	2004-04-08 01:32	570
	multiset_twist2.con.xml.gz	2004-04-08 01:32	573
	multiplicity.con.body.xml.gz	2004-04-08 01:32	586
	treesort_twist1.con.xml.gz	2004-04-08 01:32	626
	treesort_twist2.con.xml.gz	2004-04-08 01:32	627
	multiset_rect.con.body.xml.gz	2004-04-08 01:32	685
	multiset_ind.con.types.xml.gz	2004-04-08 01:32	689
	meq_refl.con.body.xml.gz	2004-04-08 01:32	717
	munion_empty_left.con.types.xml.gz	2004-04-08 01:32	828
	SingletonBag.con.body.xml.gz	2004-04-08 01:32	858
	munion_rotate.con.body.xml.gz	2004-04-08 01:32	875
	munion_empty_right.con.types.xml.gz	2004-04-08 01:32	878
	meq_refl.con.types.xml.gz	2004-04-08 01:32	886
	treesort_twist1.con.body.xml.gz	2004-04-08 01:32	910
	treesort_twist2.con.body.xml.gz	2004-04-08 01:32	910
	multiset_twist2.con.body.xml.gz	2004-04-08 01:32	964
	meq_congr.con.body.xml.gz	2004-04-08 01:32	1.0K
	munion_perm_left.con.body.xml.gz	2004-04-08 01:32	1.0K
	treesort_twist1.con.types.xml.gz	2004-04-08 01:32	1.0K
	treesort_twist2.con.types.xml.gz	2004-04-08 01:32	1.0K
	meq_congr.con.types.xml.gz	2004-04-08 01:32	1.0K
	multiset_twist1.con.body.xml.gz	2004-04-08 01:32	1.1K
	multiset_twist2.con.types.xml.gz	2004-04-08 01:32	1.1K
	meq_refl.con.proof_tree.xml.gz	2004-04-09 18:52	1.1K
	munion_rotate.con.types.xml.gz	2004-04-08 01:32	1.2K
	INDEX	2005-07-05 08:11	1.3K
	munion_comm.con.body.xml.gz	2004-04-08 01:32	1.3K
	munion_perm_left.con.types.xml.gz	2004-04-08 01:32	1.4K
	munion_comm.con.types.xml.gz	2004-04-08 01:32	1.5K
	meq_sym.con.body.xml.gz	2004-04-08 01:32	1.6K
	meq_sym.con.types.xml.gz	2004-04-08 01:32	1.7K
	multiset_twist1.con.types.xml.gz	2004-04-08 01:32	1.7K
	munion_empty_left.con.proof_tree.xml.gz	2004-04-09 18:52	1.9K
	munion_empty_right.con.proof_tree.xml.gz	2004-04-09 18:52	2.0K
	treesort_twist1.con.proof_tree.xml.gz	2004-04-09 18:52	2.1K
	treesort_twist2.con.proof_tree.xml.gz	2004-04-09 18:52	2.1K
	meq_sym.con.proof_tree.xml.gz	2004-04-09 18:52	2.2K
	multiset_twist2.con.proof_tree.xml.gz	2004-04-09 18:52	2.3K
	meq_congr.con.proof_tree.xml.gz	2004-04-09 18:52	2.3K
	munion_rotate.con.proof_tree.xml.gz	2004-04-09 18:52	2.4K
	meq_trans.con.body.xml.gz	2004-04-08 01:32	2.6K
	munion_perm_left.con.proof_tree.xml.gz	2004-04-09 18:52	2.7K
	munion_comm.con.proof_tree.xml.gz	2004-04-09 18:52	2.7K
	meq_trans.con.types.xml.gz	2004-04-08 01:32	2.8K
	multiset_twist1.con.proof_tree.xml.gz	2004-04-09 18:52	3.1K
	munion_ass.con.body.xml.gz	2004-04-08 01:32	3.3K
	meq_right.con.body.xml.gz	2004-04-08 01:32	3.4K
	meq_left.con.body.xml.gz	2004-04-08 01:32	3.4K
	meq_trans.con.proof_tree.xml.gz	2004-04-09 18:52	3.7K
	munion_ass.con.proof_tree.xml.gz	2004-04-09 18:52	5.3K
	meq_right.con.proof_tree.xml.gz	2004-04-09 18:52	5.7K
	munion_ass.con.types.xml.gz	2004-04-08 01:32	5.7K
	meq_left.con.proof_tree.xml.gz	2004-04-09 18:52	5.7K
	meq_left.con.types.xml.gz	2004-04-08 01:32	5.7K
	meq_right.con.types.xml.gz	2004-04-08 01:32	5.7K