Index of /xml/Coq/Setoids/Setoid

	Name	Last modified	Size	Description
	Parent Directory		-
	INDEX	2005-07-05 08:11	940
	Prop_S.con.body.xml.gz	2004-04-08 01:49	399
	Prop_S.con.proof_tree.xml.gz	2004-04-09 18:52	1.1K
	Prop_S.con.types.xml.gz	2004-04-08 01:49	357
	Prop_S.con.xml.gz	2004-04-08 01:49	325
	Seq_refl.con.body.xml.gz	2004-04-08 01:49	861
	Seq_refl.con.types.xml.gz	2004-04-08 01:49	778
	Seq_refl.con.xml.gz	2004-04-08 01:49	383
	Seq_sym.con.body.xml.gz	2004-04-08 01:49	918
	Seq_sym.con.types.xml.gz	2004-04-08 01:49	916
	Seq_sym.con.xml.gz	2004-04-08 01:49	434
	Seq_trans.con.body.xml.gz	2004-04-08 01:49	969
	Seq_trans.con.types.xml.gz	2004-04-08 01:49	1.0K
	Seq_trans.con.xml.gz	2004-04-08 01:49	487
	Setoid/	2005-07-05 08:13	-
	Setoid_Theory.ind.types.xml.gz	2004-04-08 01:49	201
	Setoid_Theory.ind.xml.gz	2004-04-08 01:49	730
	Setoid_Theory_ind.con.body.xml.gz	2004-04-08 01:49	377
	Setoid_Theory_ind.con.types.xml.gz	2004-04-08 01:49	949
	Setoid_Theory_ind.con.xml.gz	2004-04-08 01:49	718
	Setoid_Theory_rec.con.body.xml.gz	2004-04-08 01:49	375
	Setoid_Theory_rec.con.types.xml.gz	2004-04-08 01:49	209
	Setoid_Theory_rec.con.xml.gz	2004-04-08 01:49	725
	Setoid_Theory_rect.con.body.xml.gz	2004-04-08 01:49	820
	Setoid_Theory_rect.con.types.xml.gz	2004-04-08 01:49	210
	Setoid_Theory_rect.con.xml.gz	2004-04-08 01:49	720
	and_ext.con.body.xml.gz	2004-04-08 01:49	1.5K
	and_ext.con.proof_tree.xml.gz	2004-04-09 18:52	4.1K
	and_ext.con.types.xml.gz	2004-04-08 01:49	1.3K
	and_ext.con.xml.gz	2004-04-08 01:49	502
	and_ext2.con.body.xml.gz	2004-04-08 01:49	961
	and_ext2.con.types.xml.gz	2004-04-08 01:49	1.0K
	and_ext2.con.xml.gz	2004-04-08 01:49	607
	fleche.con.body.xml.gz	2004-04-08 01:49	357
	fleche.con.types.xml.gz	2004-04-08 01:49	192
	fleche.con.xml.gz	2004-04-08 01:49	262
	fleche_ext.con.body.xml.gz	2004-04-08 01:49	1.3K
	fleche_ext.con.proof_tree.xml.gz	2004-04-09 18:52	4.2K
	fleche_ext.con.types.xml.gz	2004-04-08 01:49	1.3K
	fleche_ext.con.xml.gz	2004-04-08 01:49	503
	fleche_ext2.con.body.xml.gz	2004-04-08 01:49	961
	fleche_ext2.con.types.xml.gz	2004-04-08 01:49	1.0K
	fleche_ext2.con.xml.gz	2004-04-08 01:49	627
	not_ext.con.body.xml.gz	2004-04-08 01:49	901
	not_ext.con.proof_tree.xml.gz	2004-04-09 18:52	2.6K
	not_ext.con.types.xml.gz	2004-04-08 01:49	899
	not_ext.con.xml.gz	2004-04-08 01:49	412
	not_ext2.con.body.xml.gz	2004-04-08 01:49	761
	not_ext2.con.types.xml.gz	2004-04-08 01:49	798
	not_ext2.con.xml.gz	2004-04-08 01:49	528
	or_ext.con.body.xml.gz	2004-04-08 01:49	1.5K
	or_ext.con.proof_tree.xml.gz	2004-04-09 18:52	3.8K
	or_ext.con.types.xml.gz	2004-04-08 01:49	1.4K
	or_ext.con.xml.gz	2004-04-08 01:49	494
	or_ext2.con.body.xml.gz	2004-04-08 01:49	963
	or_ext2.con.types.xml.gz	2004-04-08 01:49	1.0K
	or_ext2.con.xml.gz	2004-04-08 01:49	608
	setoid_eq_ext1.con.body.xml.gz	2004-04-08 01:49	793
	setoid_eq_ext1.con.types.xml.gz	2004-04-08 01:49	619
	setoid_eq_ext1.con.xml.gz	2004-04-08 01:49	496
	setoid_eq_ext2.con.body.xml.gz	2004-04-08 01:49	1.2K
	setoid_eq_ext2.con.types.xml.gz	2004-04-08 01:49	1.0K
	setoid_eq_ext2.con.xml.gz	2004-04-08 01:49	622