Index of /xml/Coq/Sets/Ensembles

	Name	Last modified	Size	Description
	Parent Directory		-
	Ensembles/	2005-07-05 08:13	-
	INDEX	2005-07-05 08:11	1.6K
	Union_ind.con.xml.gz	2004-04-08 01:32	675
	Union_ind.con.types.xml.gz	2004-04-08 01:32	727
	Union_ind.con.body.xml.gz	2004-04-08 01:32	852
	Union.ind.xml.gz	2004-04-08 01:32	647
	Union.ind.types.xml.gz	2004-04-08 01:32	192
	Triple_ind.con.xml.gz	2004-04-08 01:32	579
	Triple_ind.con.types.xml.gz	2004-04-08 01:32	638
	Triple_ind.con.body.xml.gz	2004-04-08 01:32	788
	Triple.ind.xml.gz	2004-04-08 01:32	644
	Triple.ind.types.xml.gz	2004-04-08 01:32	192
	Subtract.con.xml.gz	2004-04-08 01:32	304
	Subtract.con.types.xml.gz	2004-04-08 01:32	197
	Subtract.con.body.xml.gz	2004-04-08 01:32	423
	Strict_Included.con.xml.gz	2004-04-08 01:32	321
	Strict_Included.con.types.xml.gz	2004-04-08 01:32	209
	Strict_Included.con.body.xml.gz	2004-04-08 01:32	490
	Singleton_rect.con.xml.gz	2004-04-08 01:32	491
	Singleton_rect.con.types.xml.gz	2004-04-08 01:32	208
	Singleton_rect.con.body.xml.gz	2004-04-08 01:32	655
	Singleton_rec.con.xml.gz	2004-04-08 01:32	497
	Singleton_rec.con.types.xml.gz	2004-04-08 01:32	207
	Singleton_rec.con.body.xml.gz	2004-04-08 01:32	438
	Singleton_ind.con.xml.gz	2004-04-08 01:32	497
	Singleton_ind.con.types.xml.gz	2004-04-08 01:32	607
	Singleton_ind.con.body.xml.gz	2004-04-08 01:32	442
	Singleton.ind.xml.gz	2004-04-08 01:32	468
	Singleton.ind.types.xml.gz	2004-04-08 01:32	198
	Setminus.con.xml.gz	2004-04-08 01:32	293
	Setminus.con.types.xml.gz	2004-04-08 01:32	195
	Setminus.con.body.xml.gz	2004-04-08 01:32	492
	Same_set.con.xml.gz	2004-04-08 01:32	308
	Same_set.con.types.xml.gz	2004-04-08 01:32	198
	Same_set.con.body.xml.gz	2004-04-08 01:32	447
	Intersection_ind.con.xml.gz	2004-04-08 01:32	645
	Intersection_ind.con.types.xml.gz	2004-04-08 01:32	698
	Intersection_ind.con.body.xml.gz	2004-04-08 01:32	807
	Intersection.ind.xml.gz	2004-04-08 01:32	604
	Intersection.ind.types.xml.gz	2004-04-08 01:32	203
	Inhabited_ind.con.xml.gz	2004-04-08 01:32	493
	Inhabited_ind.con.types.xml.gz	2004-04-08 01:32	541
	Inhabited_ind.con.body.xml.gz	2004-04-08 01:32	610
	Inhabited.ind.xml.gz	2004-04-08 01:32	521
	Inhabited.ind.types.xml.gz	2004-04-08 01:32	198
	Full_set_ind.con.xml.gz	2004-04-08 01:32	500
	Full_set_ind.con.types.xml.gz	2004-04-08 01:32	564
	Full_set_ind.con.body.xml.gz	2004-04-08 01:32	663
	Full_set.ind.xml.gz	2004-04-08 01:32	447
	Full_set.ind.types.xml.gz	2004-04-08 01:32	198
	Extensionality_Ensembles.con.xml.gz	2004-04-08 01:32	462
	Extensionality_Ensembles.con.types.xml.gz	2004-04-08 01:32	221
	Empty_set_rec.con.xml.gz	2004-04-08 01:32	441
	Empty_set_rec.con.types.xml.gz	2004-04-08 01:32	207
	Empty_set_rec.con.body.xml.gz	2004-04-08 01:32	410
	Empty_set_ind.con.xml.gz	2004-04-08 01:32	445
	Empty_set_ind.con.types.xml.gz	2004-04-08 01:32	541
	Empty_set_ind.con.body.xml.gz	2004-04-08 01:32	413
	Disjoint_rect.con.xml.gz	2004-04-08 01:32	613
	Disjoint_rect.con.types.xml.gz	2004-04-08 01:32	206
	Disjoint_rect.con.body.xml.gz	2004-04-08 01:32	723
	Disjoint_rec.con.xml.gz	2004-04-08 01:32	617
	Disjoint_rec.con.types.xml.gz	2004-04-08 01:32	204
	Disjoint_rec.con.body.xml.gz	2004-04-08 01:32	425
	Disjoint_ind.con.xml.gz	2004-04-08 01:32	608
	Disjoint_ind.con.types.xml.gz	2004-04-08 01:32	771
	Disjoint_ind.con.body.xml.gz	2004-04-08 01:32	430
	Disjoint.ind.xml.gz	2004-04-08 01:32	637
	Disjoint.ind.types.xml.gz	2004-04-08 01:32	195
	Couple_ind.con.xml.gz	2004-04-08 01:32	537
	Couple_ind.con.types.xml.gz	2004-04-08 01:32	599
	Couple_ind.con.body.xml.gz	2004-04-08 01:32	712
	Couple.ind.xml.gz	2004-04-08 01:32	555
	Couple.ind.types.xml.gz	2004-04-08 01:32	192
	Complement.con.xml.gz	2004-04-08 01:32	287
	Complement.con.types.xml.gz	2004-04-08 01:32	198
	Complement.con.body.xml.gz	2004-04-08 01:32	410
	Add.con.xml.gz	2004-04-08 01:32	296
	Add.con.types.xml.gz	2004-04-08 01:32	189
	Add.con.body.xml.gz	2004-04-08 01:32	413
	Included.con.xml.gz	2004-04-08 01:31	306
	Included.con.types.xml.gz	2004-04-08 01:31	197
	Included.con.body.xml.gz	2004-04-08 01:31	462
	In.con.xml.gz	2004-04-08 01:31	305
	In.con.types.xml.gz	2004-04-08 01:31	186
	In.con.body.xml.gz	2004-04-08 01:31	364
	Ensemble.con.xml.gz	2004-04-08 01:31	222
	Ensemble.con.types.xml.gz	2004-04-08 01:31	192
	Ensemble.con.body.xml.gz	2004-04-08 01:31	297
	Empty_set_rect.con.xml.gz	2004-04-08 01:31	444
	Empty_set_rect.con.types.xml.gz	2004-04-08 01:31	208
	Empty_set_rect.con.body.xml.gz	2004-04-08 01:31	577
	Empty_set.ind.xml.gz	2004-04-08 01:31	339
	Empty_set.ind.types.xml.gz	2004-04-08 01:31	199