Index of /lambdadelta/static/matita/lambda-delta/plain/Legacy/coq/props

	Name	Last modified	Size	Description
	Parent Directory		-
	O_S.con.body.html	2008-06-18 16:57	17K
	O_S.con.html	2008-06-18 16:57	2.8K
	S_pred.con.body.html	2008-06-18 16:57	25K
	S_pred.con.html	2008-06-18 16:57	3.2K
	eq_add_S.con.body.html	2008-06-18 16:57	10K
	eq_add_S.con.html	2008-06-18 16:57	3.4K
	eq_ind_r.con.body.html	2008-06-18 16:56	5.4K
	eq_ind_r.con.html	2008-06-18 16:56	2.0K
	f_equal.con.body.html	2008-06-18 16:56	7.8K
	f_equal.con.html	2008-06-18 16:56	2.2K
	f_equal2.con.body.html	2008-06-18 16:56	13K
	f_equal2.con.html	2008-06-18 16:56	2.7K
	f_equal3.con.body.html	2008-06-18 16:56	21K
	f_equal3.con.html	2008-06-18 16:56	3.3K
	le_O_n.con.body.html	2008-06-18 16:58	11K
	le_O_n.con.html	2008-06-18 16:58	2.2K
	le_S_n.con.body.html	2008-06-18 16:58	20K
	le_S_n.con.html	2008-06-18 16:58	2.9K
	le_Sn_O.con.body.html	2008-06-18 16:58	18K
	le_Sn_O.con.html	2008-06-18 16:58	2.6K
	le_Sn_n.con.body.html	2008-06-18 16:58	21K
	le_Sn_n.con.html	2008-06-18 16:58	2.4K
	le_antisym.con.body.html	2008-06-18 16:58	27K
	le_antisym.con.html	2008-06-18 16:58	3.0K
	le_elim_rel.con.body.html	2008-06-18 16:59	41K
	le_elim_rel.con.html	2008-06-18 16:59	4.8K
	le_lt_n_Sm.con.body.html	2008-06-18 17:00	7.6K
	le_lt_n_Sm.con.html	2008-06-18 17:00	2.7K
	le_lt_or_eq.con.body.html	2008-06-18 17:00	21K
	le_lt_or_eq.con.html	2008-06-18 17:00	3.2K
	le_lt_plus_plus.con.body.html	2008-06-18 17:04	22K
	le_lt_plus_plus.con.html	2008-06-18 17:04	3.8K
	le_lt_trans.con.body.html	2008-06-18 17:00	18K
	le_lt_trans.con.html	2008-06-18 17:00	3.0K
	le_n_O_eq.con.body.html	2008-06-18 16:59	8.2K
	le_n_O_eq.con.html	2008-06-18 16:58	2.9K
	le_n_S.con.body.html	2008-06-18 16:58	16K
	le_n_S.con.html	2008-06-18 16:58	2.9K
	le_not_lt.con.body.html	2008-06-18 17:00	20K
	le_not_lt.con.html	2008-06-18 17:00	2.7K
	le_or_lt.con.body.html	2008-06-18 17:01	47K
	le_or_lt.con.html	2008-06-18 17:00	2.7K
	le_plus_l.con.body.html	2008-06-18 17:02	20K
	le_plus_l.con.html	2008-06-18 17:02	2.4K
	le_plus_minus.con.body.html	2008-06-18 17:03	27K
	le_plus_minus.con.html	2008-06-18 17:03	3.2K
	le_plus_minus_r.con.body.html	2008-06-18 17:03	9.7K
	le_plus_minus_r.con.html	2008-06-18 17:03	3.2K
	le_plus_plus.con.body.html	2008-06-18 17:03	20K
	le_plus_plus.con.html	2008-06-18 17:03	3.8K
	le_plus_r.con.body.html	2008-06-18 17:02	15K
	le_plus_r.con.html	2008-06-18 17:02	2.4K
	le_plus_trans.con.body.html	2008-06-18 17:03	8.6K
	le_plus_trans.con.html	2008-06-18 17:03	3.0K
	le_pred_n.con.body.html	2008-06-18 17:02	15K
	le_pred_n.con.html	2008-06-18 17:02	2.2K
	le_reg_l.con.body.html	2008-06-18 17:03	26K
	le_reg_l.con.html	2008-06-18 17:03	3.2K
	le_trans.con.body.html	2008-06-18 16:58	11K
	le_trans.con.html	2008-06-18 16:57	3.0K
	le_trans_S.con.body.html	2008-06-18 16:58	8.4K
	le_trans_S.con.html	2008-06-18 16:58	2.7K
	lt_O_Sn.con.body.html	2008-06-18 16:59	6.7K
	lt_O_Sn.con.html	2008-06-18 16:59	2.4K
	lt_S_n.con.body.html	2008-06-18 16:59	10K
	lt_S_n.con.html	2008-06-18 16:59	2.9K
	lt_le_S.con.body.html	2008-06-18 17:00	6.8K
	lt_le_S.con.html	2008-06-18 17:00	2.7K
	lt_le_plus_plus.con.body.html	2008-06-18 17:04	18K
	lt_le_plus_plus.con.html	2008-06-18 17:04	3.8K
	lt_le_trans.con.body.html	2008-06-18 17:00	13K
	lt_le_trans.con.html	2008-06-18 17:00	3.0K
	lt_le_weak.con.body.html	2008-06-18 17:00	7.1K
	lt_le_weak.con.html	2008-06-18 17:00	2.5K
	lt_n_O.con.body.html	2008-06-18 16:59	4.9K
	lt_n_O.con.html	2008-06-18 16:59	2.4K
	lt_n_S.con.body.html	2008-06-18 16:59	9.5K
	lt_n_S.con.html	2008-06-18 16:59	2.9K
	lt_n_Sm_le.con.body.html	2008-06-18 17:00	8.3K
	lt_n_Sm_le.con.html	2008-06-18 17:00	2.7K
	lt_n_Sn.con.body.html	2008-06-18 16:59	4.8K
	lt_n_Sn.con.html	2008-06-18 16:59	2.2K
	lt_n_n.con.body.html	2008-06-18 16:59	4.2K
	lt_n_n.con.html	2008-06-18 16:59	2.2K
	lt_plus_plus.con.body.html	2008-06-18 17:04	11K
	lt_plus_plus.con.html	2008-06-18 17:04	3.8K
	lt_reg_l.con.body.html	2008-06-18 17:03	26K
	lt_reg_l.con.html	2008-06-18 17:03	3.2K
	lt_reg_r.con.body.html	2008-06-18 17:04	29K
	lt_reg_r.con.html	2008-06-18 17:03	3.2K
	lt_trans.con.body.html	2008-06-18 16:59	19K
	lt_trans.con.html	2008-06-18 16:59	3.0K
	lt_wf.con.body.html	2008-06-18 17:04	4.5K
	lt_wf.con.html	2008-06-18 17:04	2.1K
	lt_wf_ind.con.body.html	2008-06-18 17:04	12K
	lt_wf_ind.con.html	2008-06-18 17:04	2.9K
	minus_Sn_m.con.body.html	2008-06-18 17:02	53K
	minus_Sn_m.con.html	2008-06-18 17:02	3.7K
	minus_n_O.con.body.html	2008-06-18 17:02	19K
	minus_n_O.con.html	2008-06-18 17:01	2.6K
	minus_n_n.con.body.html	2008-06-18 17:02	19K
	minus_n_n.con.html	2008-06-18 17:02	2.6K
	minus_plus.con.body.html	2008-06-18 17:02	10K
	minus_plus.con.html	2008-06-18 17:02	2.9K
	nat_double_ind.con.body.html	2008-06-18 16:57	24K
	nat_double_ind.con.html	2008-06-18 16:57	5.0K
	not_eq_S.con.body.html	2008-06-18 16:57	16K
	not_eq_S.con.html	2008-06-18 16:57	3.9K
	plus_Snm_nSm.con.body.html	2008-06-18 17:01	24K
	plus_Snm_nSm.con.html	2008-06-18 17:01	3.4K
	plus_assoc_l.con.body.html	2008-06-18 17:01	27K
	plus_assoc_l.con.html	2008-06-18 17:01	3.7K
	plus_assoc_r.con.body.html	2008-06-18 17:01	12K
	plus_assoc_r.con.html	2008-06-18 17:01	3.7K
	plus_minus.con.body.html	2008-06-18 17:02	77K
	plus_minus.con.html	2008-06-18 17:02	3.7K
	plus_n_O.con.body.html	2008-06-18 17:01	19K
	plus_n_O.con.html	2008-06-18 17:01	2.6K
	plus_n_Sm.con.body.html	2008-06-18 17:01	26K
	plus_n_Sm.con.html	2008-06-18 17:01	3.4K
	plus_sym.con.body.html	2008-06-18 17:01	29K
	plus_sym.con.html	2008-06-18 17:01	2.9K
	pred_Sn.con.body.html	2008-06-18 16:57	7.0K
	pred_Sn.con.html	2008-06-18 16:57	2.6K
	simpl_le_plus_l.con.body.html	2008-06-18 17:03	39K
	simpl_le_plus_l.con.html	2008-06-18 17:02	3.2K
	simpl_lt_plus_l.con.body.html	2008-06-18 17:03	34K
	simpl_lt_plus_l.con.html	2008-06-18 17:03	3.2K
	simpl_plus_l.con.body.html	2008-06-18 17:01	51K
	simpl_plus_l.con.html	2008-06-18 17:01	3.7K
	sym_eq.con.body.html	2008-06-18 16:56	7.2K
	sym_eq.con.html	2008-06-18 16:56	2.1K
	sym_not_eq.con.body.html	2008-06-18 16:57	12K
	sym_not_eq.con.html	2008-06-18 16:57	2.5K
	trans_eq.con.body.html	2008-06-18 16:57	6.1K
	trans_eq.con.html	2008-06-18 16:57	2.4K
	well_founded_ltof.con.body.html	2008-06-18 17:04	44K
	well_founded_ltof.con.html	2008-06-18 17:04	2.3K