Index of /lambdadelta/static/matita/lambdadelta/ground_1/ext/arith

	Name	Last modified	Size	Description
	Parent Directory		-
	O_minus.con.body.html	2008-06-18 18:48	79K
	O_minus.con.html	2008-06-18 18:47	3.2K
	arith0.con.body.html	2008-06-18 18:47	40K
	arith0.con.html	2008-06-18 18:47	4.0K
	eq_nat_dec.con.body.html	2008-06-18 18:44	90K
	eq_nat_dec.con.html	2008-06-18 18:44	3.4K
	le_S_minus.con.body.html	2008-06-18 18:48	13K
	le_S_minus.con.html	2008-06-18 18:48	3.4K
	le_Sx_x.con.body.html	2008-06-18 18:44	6.1K
	le_Sx_x.con.html	2008-06-18 18:44	2.3K
	le_false.con.body.html	2008-06-18 18:44	124K
	le_false.con.html	2008-06-18 18:44	2.8K
	le_gen_S.con.body.html	2008-06-18 18:46	64K
	le_gen_S.con.html	2008-06-18 18:45	4.4K
	le_lt_false.con.body.html	2008-06-18 18:47	6.9K
	le_lt_false.con.html	2008-06-18 18:47	2.6K
	le_minus.con.body.html	2008-06-18 18:45	15K
	le_minus.con.html	2008-06-18 18:45	3.2K
	le_minus_minus.con.body.html	2008-06-18 18:45	18K
	le_minus_minus.con.html	2008-06-18 18:45	3.5K
	le_minus_plus.con.body.html	2008-06-18 18:45	199K
	le_minus_plus.con.html	2008-06-18 18:45	4.0K
	le_n_pred.con.body.html	2008-06-18 18:44	18K
	le_n_pred.con.html	2008-06-18 18:44	2.9K
	le_plus_minus_sym.con.body.html	2008-06-18 18:45	14K
	le_plus_minus_sym.con.html	2008-06-18 18:45	3.2K
	le_trans_plus_r.con.body.html	2008-06-18 18:45	8.6K
	le_trans_plus_r.con.html	2008-06-18 18:45	3.0K
	le_x_pred_y.con.body.html	2008-06-18 18:46	68K
	le_x_pred_y.con.html	2008-06-18 18:46	2.7K
	lt_eq_e.con.body.html	2008-06-18 18:47	10K
	lt_eq_e.con.html	2008-06-18 18:47	3.2K
	lt_eq_gt_e.con.body.html	2008-06-18 18:47	12K
	lt_eq_gt_e.con.html	2008-06-18 18:47	3.3K
	lt_gen_xS.con.body.html	2008-06-18 18:47	66K
	lt_gen_xS.con.html	2008-06-18 18:47	5.4K
	lt_le_e.con.body.html	2008-06-18 18:47	9.3K
	lt_le_e.con.html	2008-06-18 18:47	2.6K
	lt_le_minus.con.body.html	2008-06-18 18:47	16K
	lt_le_minus.con.html	2008-06-18 18:46	3.2K
	lt_neq.con.body.html	2008-06-18 18:47	13K
	lt_neq.con.html	2008-06-18 18:47	2.9K
	lt_plus_minus.con.body.html	2008-06-18 18:46	12K
	lt_plus_minus.con.html	2008-06-18 18:46	3.7K
	lt_plus_minus_r.con.body.html	2008-06-18 18:46	16K
	lt_plus_minus_r.con.html	2008-06-18 18:46	3.7K
	lt_x_O.con.body.html	2008-06-18 18:45	21K
	lt_x_O.con.html	2008-06-18 18:45	2.2K
	lt_x_plus_x_Sy.con.body.html	2008-06-18 18:46	18K
	lt_x_plus_x_Sy.con.html	2008-06-18 18:46	2.7K
	lt_x_pred_y.con.body.html	2008-06-18 18:48	35K
	lt_x_pred_y.con.html	2008-06-18 18:48	2.9K
	minus_Sx_SO.con.body.html	2008-06-18 18:44	13K
	minus_Sx_SO.con.html	2008-06-18 18:44	3.1K
	minus_Sx_Sy.con.body.html	2008-06-18 18:43	9.8K
	minus_Sx_Sy.con.html	2008-06-18 18:43	3.4K
	minus_le.con.body.html	2008-06-18 18:45	32K
	minus_le.con.html	2008-06-18 18:45	2.4K
	minus_minus.con.body.html	2008-06-18 18:48	179K
	minus_minus.con.html	2008-06-18 18:48	4.3K
	minus_plus_r.con.body.html	2008-06-18 18:43	13K
	minus_plus_r.con.html	2008-06-18 18:43	2.9K
	minus_x_SO.con.body.html	2008-06-18 18:46	22K
	minus_x_SO.con.html	2008-06-18 18:46	3.6K
	minus_x_Sy.con.body.html	2008-06-18 18:46	135K
	minus_x_Sy.con.html	2008-06-18 18:46	3.7K
	nat_dec.con.body.html	2008-06-18 18:43	136K
	nat_dec.con.html	2008-06-18 18:43	3.2K
	neq_eq_e.con.body.html	2008-06-18 18:44	12K
	neq_eq_e.con.html	2008-06-18 18:44	3.4K
	plus_O.con.body.html	2008-06-18 18:44	83K
	plus_O.con.html	2008-06-18 18:44	4.6K
	plus_permute_2_in_3.con.body.html	2008-06-18 18:43	30K
	plus_permute_2_in_3.con.html	2008-06-18 18:43	3.7K
	plus_permute_2_in_3_assoc.con.body.html	2008-06-18 18:44	22K
	plus_permute_2_in_3_assoc.con.html	2008-06-18 18:43	3.7K
	plus_plus.con.body.html	2008-06-18 18:48	443K
	plus_plus.con.html	2008-06-18 18:48	6.0K
	simpl_lt_plus_r.con.body.html	2008-06-18 18:46	19K
	simpl_lt_plus_r.con.html	2008-06-18 18:46	3.2K
	simpl_plus_r.con.body.html	2008-06-18 18:43	19K
	simpl_plus_r.con.html	2008-06-18 18:43	3.7K