Index of /xml/Coq/Arith/Plus

	Name	Last modified	Size	Description
	Parent Directory		-
	INDEX	2005-07-05 08:10	1.5K
	le_plus_l.con.body.xml.gz	2004-04-08 01:28	782
	le_plus_l.con.proof_tree.xml.gz	2004-04-09 18:52	1.5K
	le_plus_l.con.types.xml.gz	2004-04-08 01:28	1.0K
	le_plus_l.con.xml.gz	2004-04-08 01:28	422
	le_plus_r.con.body.xml.gz	2004-04-08 01:28	690
	le_plus_r.con.proof_tree.xml.gz	2004-04-09 18:52	1.4K
	le_plus_r.con.types.xml.gz	2004-04-08 01:28	867
	le_plus_r.con.xml.gz	2004-04-08 01:28	420
	le_plus_trans.con.body.xml.gz	2004-04-08 01:28	572
	le_plus_trans.con.proof_tree.xml.gz	2004-04-09 18:52	1.2K
	le_plus_trans.con.types.xml.gz	2004-04-08 01:28	613
	le_plus_trans.con.xml.gz	2004-04-08 01:28	475
	lt_plus_trans.con.body.xml.gz	2004-04-08 01:28	575
	lt_plus_trans.con.proof_tree.xml.gz	2004-04-09 18:52	1.2K
	lt_plus_trans.con.types.xml.gz	2004-04-08 01:28	621
	lt_plus_trans.con.xml.gz	2004-04-08 01:28	476
	plus_0_l.con.body.xml.gz	2004-04-08 01:28	396
	plus_0_l.con.proof_tree.xml.gz	2004-04-09 18:52	688
	plus_0_l.con.types.xml.gz	2004-04-08 01:28	564
	plus_0_l.con.xml.gz	2004-04-08 01:28	427
	plus_0_r.con.body.xml.gz	2004-04-08 01:28	532
	plus_0_r.con.proof_tree.xml.gz	2004-04-09 18:52	1.0K
	plus_0_r.con.types.xml.gz	2004-04-08 01:28	578
	plus_0_r.con.xml.gz	2004-04-08 01:28	427
	plus_Snm_nSm.con.body.xml.gz	2004-04-08 01:28	1.0K
	plus_Snm_nSm.con.proof_tree.xml.gz	2004-04-09 18:52	1.2K
	plus_Snm_nSm.con.types.xml.gz	2004-04-08 01:28	1.1K
	plus_Snm_nSm.con.xml.gz	2004-04-08 01:28	503
	plus_acc.con.body.xml.gz	2004-04-08 01:28	689
	plus_acc.con.types.xml.gz	2004-04-08 01:28	197
	plus_acc.con.xml.gz	2004-04-08 01:28	293
	plus_assoc.con.body.xml.gz	2004-04-08 01:28	1.0K
	plus_assoc.con.proof_tree.xml.gz	2004-04-09 18:52	2.0K
	plus_assoc.con.types.xml.gz	2004-04-08 01:28	1.4K
	plus_assoc.con.xml.gz	2004-04-08 01:28	507
	plus_assoc_reverse.con.body.xml.gz	2004-04-08 01:28	643
	plus_assoc_reverse.con.proof_tree.xml.gz	2004-04-09 18:52	919
	plus_assoc_reverse.con.types.xml.gz	2004-04-08 01:28	773
	plus_assoc_reverse.con.xml.gz	2004-04-08 01:28	526
	plus_comm.con.body.xml.gz	2004-04-08 01:28	1.1K
	plus_comm.con.proof_tree.xml.gz	2004-04-09 18:52	2.3K
	plus_comm.con.types.xml.gz	2004-04-08 01:28	1.2K
	plus_comm.con.xml.gz	2004-04-08 01:28	446
	plus_is_O.con.body.xml.gz	2004-04-08 01:28	1.5K
	plus_is_O.con.proof_tree.xml.gz	2004-04-09 18:52	2.0K
	plus_is_O.con.types.xml.gz	2004-04-08 01:28	1.9K
	plus_is_O.con.xml.gz	2004-04-08 01:28	541
	plus_is_one.con.body.xml.gz	2004-04-08 01:28	3.3K
	plus_is_one.con.proof_tree.xml.gz	2004-04-09 18:52	4.2K
	plus_is_one.con.types.xml.gz	2004-04-08 01:28	1.5K
	plus_is_one.con.xml.gz	2004-04-08 01:28	686
	plus_le_compat.con.body.xml.gz	2004-04-08 01:28	1.0K
	plus_le_compat.con.proof_tree.xml.gz	2004-04-09 18:52	1.7K
	plus_le_compat.con.types.xml.gz	2004-04-08 01:28	1.1K
	plus_le_compat.con.xml.gz	2004-04-08 01:28	544
	plus_le_compat_l.con.body.xml.gz	2004-04-08 01:28	951
	plus_le_compat_l.con.proof_tree.xml.gz	2004-04-09 18:52	1.9K
	plus_le_compat_l.con.types.xml.gz	2004-04-08 01:28	1.3K
	plus_le_compat_l.con.xml.gz	2004-04-08 01:28	506
	plus_le_compat_r.con.body.xml.gz	2004-04-08 01:28	911
	plus_le_compat_r.con.proof_tree.xml.gz	2004-04-09 18:52	693
	plus_le_compat_r.con.types.xml.gz	2004-04-08 01:28	1.0K
	plus_le_compat_r.con.xml.gz	2004-04-08 01:28	503
	plus_le_lt_compat.con.body.xml.gz	2004-04-08 01:28	899
	plus_le_lt_compat.con.proof_tree.xml.gz	2004-04-09 18:52	2.1K
	plus_le_lt_compat.con.types.xml.gz	2004-04-08 01:28	1.1K
	plus_le_lt_compat.con.xml.gz	2004-04-08 01:28	552
	plus_le_reg_l.con.body.xml.gz	2004-04-08 01:28	1.0K
	plus_le_reg_l.con.proof_tree.xml.gz	2004-04-09 18:52	1.9K
	plus_le_reg_l.con.types.xml.gz	2004-04-08 01:28	1.5K
	plus_le_reg_l.con.xml.gz	2004-04-08 01:28	494
	plus_lt_compat.con.body.xml.gz	2004-04-08 01:28	625
	plus_lt_compat.con.proof_tree.xml.gz	2004-04-09 18:52	1.4K
	plus_lt_compat.con.types.xml.gz	2004-04-08 01:28	700
	plus_lt_compat.con.xml.gz	2004-04-08 01:28	550
	plus_lt_compat_l.con.body.xml.gz	2004-04-08 01:28	944
	plus_lt_compat_l.con.proof_tree.xml.gz	2004-04-09 18:52	1.9K
	plus_lt_compat_l.con.types.xml.gz	2004-04-08 01:28	1.3K
	plus_lt_compat_l.con.xml.gz	2004-04-08 01:28	507
	plus_lt_compat_r.con.body.xml.gz	2004-04-08 01:28	1.2K
	plus_lt_compat_r.con.proof_tree.xml.gz	2004-04-09 18:52	1.7K
	plus_lt_compat_r.con.types.xml.gz	2004-04-08 01:28	1.2K
	plus_lt_compat_r.con.xml.gz	2004-04-08 01:28	508
	plus_lt_le_compat.con.body.xml.gz	2004-04-08 01:28	638
	plus_lt_le_compat.con.proof_tree.xml.gz	2004-04-09 18:52	2.1K
	plus_lt_le_compat.con.types.xml.gz	2004-04-08 01:28	1.0K
	plus_lt_le_compat.con.xml.gz	2004-04-08 01:28	561
	plus_lt_reg_l.con.body.xml.gz	2004-04-08 01:28	1.0K
	plus_lt_reg_l.con.proof_tree.xml.gz	2004-04-09 18:52	1.9K
	plus_lt_reg_l.con.types.xml.gz	2004-04-08 01:28	1.4K
	plus_lt_reg_l.con.xml.gz	2004-04-08 01:28	499
	plus_permute.con.body.xml.gz	2004-04-08 01:28	1.0K
	plus_permute.con.proof_tree.xml.gz	2004-04-09 18:52	1.2K
	plus_permute.con.types.xml.gz	2004-04-08 01:28	1.0K
	plus_permute.con.xml.gz	2004-04-08 01:28	513
	plus_permute_2_in_4.con.body.xml.gz	2004-04-08 01:28	1.7K
	plus_permute_2_in_4.con.proof_tree.xml.gz	2004-04-09 18:52	1.7K
	plus_permute_2_in_4.con.types.xml.gz	2004-04-08 01:28	1.6K
	plus_permute_2_in_4.con.xml.gz	2004-04-08 01:28	572
	plus_reg_l.con.body.xml.gz	2004-04-08 01:28	1.0K
	plus_reg_l.con.proof_tree.xml.gz	2004-04-09 18:52	807
	plus_reg_l.con.types.xml.gz	2004-04-08 01:28	1.5K
	plus_reg_l.con.xml.gz	2004-04-08 01:28	512
	plus_tail_plus.con.body.xml.gz	2004-04-08 01:28	1.1K
	plus_tail_plus.con.proof_tree.xml.gz	2004-04-09 18:52	2.3K
	plus_tail_plus.con.types.xml.gz	2004-04-08 01:28	1.5K
	plus_tail_plus.con.xml.gz	2004-04-08 01:28	464
	tail_plus.con.body.xml.gz	2004-04-08 01:28	400
	tail_plus.con.types.xml.gz	2004-04-08 01:28	198
	tail_plus.con.xml.gz	2004-04-08 01:28	295