Index of /xml/Coq/Init/Datatypes

	Name	Last modified	Size	Description
	Parent Directory		-
	projections/	2005-07-05 08:12	-
	INDEX	2005-07-05 08:10	1.9K
	surjective_pairing.con.proof_tree.xml.gz	2004-04-09 18:52	1.7K
	injective_projections.con.proof_tree.xml.gz	2004-04-09 18:52	3.8K
	comparison_rec.con.types.xml.gz	2004-04-08 01:27	206
	CompOpp.con.xml.gz	2004-04-08 01:27	286
	CompOpp.con.types.xml.gz	2004-04-08 01:27	194
	CompOpp.con.body.xml.gz	2004-04-08 01:27	467
	unit_rect.con.xml.gz	2004-04-08 01:27	447
	unit_rect.con.types.xml.gz	2004-04-08 01:27	197
	unit_rect.con.body.xml.gz	2004-04-08 01:27	586
	unit_rec.con.xml.gz	2004-04-08 01:27	441
	unit_rec.con.types.xml.gz	2004-04-08 01:27	196
	unit_rec.con.body.xml.gz	2004-04-08 01:27	403
	unit_ind.con.xml.gz	2004-04-08 01:27	447
	unit_ind.con.types.xml.gz	2004-04-08 01:27	535
	unit_ind.con.body.xml.gz	2004-04-08 01:27	407
	unit.ind.xml.gz	2004-04-08 01:27	301
	unit.ind.types.xml.gz	2004-04-08 01:27	188
	surjective_pairing.con.xml.gz	2004-04-08 01:27	655
	surjective_pairing.con.types.xml.gz	2004-04-08 01:27	1.6K
	surjective_pairing.con.body.xml.gz	2004-04-08 01:27	1.1K
	sum_rect.con.xml.gz	2004-04-08 01:27	681
	sum_rect.con.types.xml.gz	2004-04-08 01:27	197
	sum_rect.con.body.xml.gz	2004-04-08 01:27	864
	sum_rec.con.xml.gz	2004-04-08 01:27	678
	sum_rec.con.types.xml.gz	2004-04-08 01:27	195
	sum_rec.con.body.xml.gz	2004-04-08 01:27	486
	sum_ind.con.xml.gz	2004-04-08 01:27	687
	sum_ind.con.types.xml.gz	2004-04-08 01:27	879
	sum_ind.con.body.xml.gz	2004-04-08 01:27	495
	sum.ind.xml.gz	2004-04-08 01:27	529
	sum.ind.types.xml.gz	2004-04-08 01:27	187
	snd.con.xml.gz	2004-04-08 01:27	342
	snd.con.types.xml.gz	2004-04-08 01:27	187
	snd.con.body.xml.gz	2004-04-08 01:27	560
	prod_rect.con.xml.gz	2004-04-08 01:27	641
	prod_rect.con.types.xml.gz	2004-04-08 01:27	198
	prod_rect.con.body.xml.gz	2004-04-08 01:27	809
	prod_rec.con.xml.gz	2004-04-08 01:27	639
	prod_rec.con.types.xml.gz	2004-04-08 01:27	196
	prod_rec.con.body.xml.gz	2004-04-08 01:27	493
	prod_ind.con.xml.gz	2004-04-08 01:27	645
	prod_ind.con.types.xml.gz	2004-04-08 01:27	825
	prod_ind.con.body.xml.gz	2004-04-08 01:27	502
	prod.ind.xml.gz	2004-04-08 01:27	478
	prod.ind.types.xml.gz	2004-04-08 01:27	188
	option_rect.con.xml.gz	2004-04-08 01:27	615
	option_rect.con.types.xml.gz	2004-04-08 01:27	202
	option_rect.con.body.xml.gz	2004-04-08 01:27	788
	option_rec.con.xml.gz	2004-04-08 01:27	613
	option_rec.con.types.xml.gz	2004-04-08 01:27	201
	option_rec.con.body.xml.gz	2004-04-08 01:27	463
	option_ind.con.xml.gz	2004-04-08 01:27	621
	option_ind.con.types.xml.gz	2004-04-08 01:27	789
	option_ind.con.body.xml.gz	2004-04-08 01:27	471
	option.ind.xml.gz	2004-04-08 01:27	474
	option.ind.types.xml.gz	2004-04-08 01:27	193
	nat_rect.con.xml.gz	2004-04-08 01:27	548
	nat_rect.con.types.xml.gz	2004-04-08 01:27	196
	nat_rect.con.body.xml.gz	2004-04-08 01:27	889
	nat_rec.con.xml.gz	2004-04-08 01:27	550
	nat_rec.con.types.xml.gz	2004-04-08 01:27	195
	nat_rec.con.body.xml.gz	2004-04-08 01:27	405
	nat_ind.con.xml.gz	2004-04-08 01:27	555
	nat_ind.con.types.xml.gz	2004-04-08 01:27	712
	nat_ind.con.body.xml.gz	2004-04-08 01:27	408
	nat.ind.xml.gz	2004-04-08 01:27	353
	nat.ind.types.xml.gz	2004-04-08 01:27	186
	injective_projections.con.xml.gz	2004-04-08 01:27	790
	injective_projections.con.types.xml.gz	2004-04-08 01:27	3.6K
	injective_projections.con.body.xml.gz	2004-04-08 01:27	2.3K
	identity_rect.con.xml.gz	2004-04-08 01:27	632
	identity_rect.con.types.xml.gz	2004-04-08 01:27	205
	identity_rect.con.body.xml.gz	2004-04-08 01:27	842
	identity_rec.con.xml.gz	2004-04-08 01:27	628
	identity_rec.con.types.xml.gz	2004-04-08 01:27	203
	identity_rec.con.body.xml.gz	2004-04-08 01:27	530
	identity_ind.con.xml.gz	2004-04-08 01:27	636
	identity_ind.con.types.xml.gz	2004-04-08 01:27	797
	identity_ind.con.body.xml.gz	2004-04-08 01:27	532
	identity.ind.xml.gz	2004-04-08 01:27	488
	identity.ind.types.xml.gz	2004-04-08 01:27	195
	fst.con.xml.gz	2004-04-08 01:27	343
	fst.con.types.xml.gz	2004-04-08 01:27	187
	fst.con.body.xml.gz	2004-04-08 01:27	561
	comparison_rect.con.xml.gz	2004-04-08 01:27	502
	comparison_rect.con.types.xml.gz	2004-04-08 01:27	208
	comparison_rect.con.body.xml.gz	2004-04-08 01:27	681
	comparison_rec.con.xml.gz	2004-04-08 01:27	496
	comparison_rec.con.body.xml.gz	2004-04-08 01:27	416
	comparison_ind.con.xml.gz	2004-04-08 01:27	505
	comparison_ind.con.types.xml.gz	2004-04-08 01:27	627
	comparison_ind.con.body.xml.gz	2004-04-08 01:27	419
	comparison.ind.xml.gz	2004-04-08 01:27	331
	comparison.ind.types.xml.gz	2004-04-08 01:27	198
	bool_rect.con.xml.gz	2004-04-08 01:27	468
	bool_rect.con.types.xml.gz	2004-04-08 01:27	198
	bool_rect.con.body.xml.gz	2004-04-08 01:27	633
	bool_rec.con.xml.gz	2004-04-08 01:27	464
	bool_rec.con.types.xml.gz	2004-04-08 01:27	196
	bool_rec.con.body.xml.gz	2004-04-08 01:27	405
	bool_ind.con.xml.gz	2004-04-08 01:27	474
	bool_ind.con.types.xml.gz	2004-04-08 01:27	568
	bool_ind.con.body.xml.gz	2004-04-08 01:27	408
	bool.ind.xml.gz	2004-04-08 01:27	311
	bool.ind.types.xml.gz	2004-04-08 01:27	188
	Empty_set_rect.con.xml.gz	2004-04-08 01:27	409
	Empty_set_rect.con.types.xml.gz	2004-04-08 01:27	207
	Empty_set_rect.con.body.xml.gz	2004-04-08 01:27	521
	Empty_set_rec.con.xml.gz	2004-04-08 01:27	406
	Empty_set_rec.con.types.xml.gz	2004-04-08 01:27	205
	Empty_set_rec.con.body.xml.gz	2004-04-08 01:27	412
	Empty_set_ind.con.xml.gz	2004-04-08 01:27	410
	Empty_set_ind.con.types.xml.gz	2004-04-08 01:27	474
	Empty_set_ind.con.body.xml.gz	2004-04-08 01:27	415
	Empty_set.ind.xml.gz	2004-04-08 01:27	254
	Empty_set.ind.types.xml.gz	2004-04-08 01:27	198