Index of /xml/Coq/Sets/Multiset

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