Index of /xml/Coq/Setoids/Setoid

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