Index of /xml/Coq/Init/Logic_Type

	Name	Last modified	Size	Description
	Parent Directory		-
	INDEX	2005-07-05 08:10	785
	congr_id.con.body.xml.gz	2004-04-08 01:27	715
	congr_id.con.proof_tree.xml.gz	2004-04-09 18:52	1.1K
	congr_id.con.types.xml.gz	2004-04-08 01:27	197
	congr_id.con.xml.gz	2004-04-08 01:27	444
	fstT.con.body.xml.gz	2004-04-08 01:27	552
	fstT.con.types.xml.gz	2004-04-08 01:27	191
	fstT.con.xml.gz	2004-04-08 01:27	343
	identity_ind_r.con.body.xml.gz	2004-04-08 01:27	866
	identity_ind_r.con.proof_tree.xml.gz	2004-04-09 18:52	1.3K
	identity_ind_r.con.types.xml.gz	2004-04-08 01:27	596
	identity_ind_r.con.xml.gz	2004-04-08 01:27	525
	identity_is_a_congruence/	2005-07-05 08:12	-
	identity_rec_r.con.body.xml.gz	2004-04-08 01:27	859
	identity_rec_r.con.proof_tree.xml.gz	2004-04-09 18:52	1.3K
	identity_rec_r.con.types.xml.gz	2004-04-08 01:27	207
	identity_rec_r.con.xml.gz	2004-04-08 01:27	512
	identity_rect_r.con.body.xml.gz	2004-04-08 01:27	850
	identity_rect_r.con.proof_tree.xml.gz	2004-04-09 18:52	1.3K
	identity_rect_r.con.types.xml.gz	2004-04-08 01:27	209
	identity_rect_r.con.xml.gz	2004-04-08 01:27	512
	notT.con.body.xml.gz	2004-04-08 01:27	362
	notT.con.types.xml.gz	2004-04-08 01:27	190
	notT.con.xml.gz	2004-04-08 01:27	248
	prodT.ind.types.xml.gz	2004-04-08 01:27	192
	prodT.ind.xml.gz	2004-04-08 01:27	479
	prodT_curry.con.body.xml.gz	2004-04-08 01:27	690
	prodT_curry.con.types.xml.gz	2004-04-08 01:27	203
	prodT_curry.con.xml.gz	2004-04-08 01:27	446
	prodT_ind.con.body.xml.gz	2004-04-08 01:27	498
	prodT_ind.con.types.xml.gz	2004-04-08 01:27	817
	prodT_ind.con.xml.gz	2004-04-08 01:27	634
	prodT_proj/	2005-07-05 08:12	-
	prodT_rec.con.body.xml.gz	2004-04-08 01:27	498
	prodT_rec.con.types.xml.gz	2004-04-08 01:27	199
	prodT_rec.con.xml.gz	2004-04-08 01:27	628
	prodT_rect.con.body.xml.gz	2004-04-08 01:27	788
	prodT_rect.con.types.xml.gz	2004-04-08 01:27	201
	prodT_rect.con.xml.gz	2004-04-08 01:27	627
	prodT_uncurry.con.body.xml.gz	2004-04-08 01:27	589
	prodT_uncurry.con.types.xml.gz	2004-04-08 01:27	206
	prodT_uncurry.con.xml.gz	2004-04-08 01:27	462
	sndT.con.body.xml.gz	2004-04-08 01:27	546
	sndT.con.types.xml.gz	2004-04-08 01:27	190
	sndT.con.xml.gz	2004-04-08 01:27	343
	sym_id.con.body.xml.gz	2004-04-08 01:27	651
	sym_id.con.proof_tree.xml.gz	2004-04-09 18:52	1.0K
	sym_id.con.types.xml.gz	2004-04-08 01:27	194
	sym_id.con.xml.gz	2004-04-08 01:27	394
	sym_not_id.con.body.xml.gz	2004-04-08 01:27	963
	sym_not_id.con.proof_tree.xml.gz	2004-04-09 18:52	1.7K
	sym_not_id.con.types.xml.gz	2004-04-08 01:27	681
	sym_not_id.con.xml.gz	2004-04-08 01:27	447
	trans_id.con.body.xml.gz	2004-04-08 01:27	657
	trans_id.con.proof_tree.xml.gz	2004-04-09 18:52	1.0K
	trans_id.con.types.xml.gz	2004-04-08 01:27	197
	trans_id.con.xml.gz	2004-04-08 01:27	433