Index of /xml/Coq/Arith/Minus

	Name	Last modified	Size	Description
	Parent Directory		-
	pred_of_minus.con.xml.gz	2004-04-08 01:28	474
	pred_of_minus.con.types.xml.gz	2004-04-08 01:28	1.0K
	pred_of_minus.con.proof_tree.xml.gz	2004-04-09 18:52	671
	pred_of_minus.con.body.xml.gz	2004-04-08 01:28	737
	plus_minus.con.xml.gz	2004-04-08 01:28	513
	plus_minus.con.types.xml.gz	2004-04-08 01:28	3.0K
	plus_minus.con.proof_tree.xml.gz	2004-04-09 18:52	3.9K
	plus_minus.con.body.xml.gz	2004-04-08 01:28	2.0K
	not_le_minus_0.con.xml.gz	2004-04-08 01:28	530
	not_le_minus_0.con.types.xml.gz	2004-04-08 01:28	2.2K
	not_le_minus_0.con.proof_tree.xml.gz	2004-04-09 18:52	4.4K
	not_le_minus_0.con.body.xml.gz	2004-04-08 01:28	1.6K
	minus_plus_simpl_l_reverse.con.xml.gz	2004-04-08 01:28	543
	minus_plus_simpl_l_reverse.con.types.xml.gz	2004-04-08 01:28	1.3K
	minus_plus_simpl_l_reverse.con.proof_tree.xml.gz	2004-04-09 18:52	1.9K
	minus_plus_simpl_l_reverse.con.body.xml.gz	2004-04-08 01:28	864
	minus_plus.con.xml.gz	2004-04-08 01:28	457
	minus_plus.con.types.xml.gz	2004-04-08 01:28	698
	minus_plus.con.proof_tree.xml.gz	2004-04-09 18:52	1.0K
	minus_plus.con.body.xml.gz	2004-04-08 01:28	672
	minus_n_n.con.xml.gz	2004-04-08 01:28	423
	minus_n_n.con.types.xml.gz	2004-04-08 01:28	874
	minus_n_n.con.proof_tree.xml.gz	2004-04-09 18:52	1.3K
	minus_n_n.con.body.xml.gz	2004-04-08 01:28	646
	minus_n_O.con.xml.gz	2004-04-08 01:28	427
	minus_n_O.con.types.xml.gz	2004-04-08 01:28	868
	minus_n_O.con.proof_tree.xml.gz	2004-04-09 18:52	1.4K
	minus_n_O.con.body.xml.gz	2004-04-08 01:28	683
	minus_Sn_m.con.xml.gz	2004-04-08 01:28	539
	minus_Sn_m.con.types.xml.gz	2004-04-08 01:28	2.4K
	minus_Sn_m.con.proof_tree.xml.gz	2004-04-09 18:52	3.0K
	minus_Sn_m.con.body.xml.gz	2004-04-08 01:28	1.3K
	lt_minus.con.xml.gz	2004-04-08 01:28	507
	lt_minus.con.types.xml.gz	2004-04-08 01:28	2.6K
	lt_minus.con.proof_tree.xml.gz	2004-04-09 18:52	3.3K
	lt_minus.con.body.xml.gz	2004-04-08 01:28	2.7K
	lt_O_minus_lt.con.xml.gz	2004-04-08 01:28	484
	lt_O_minus_lt.con.types.xml.gz	2004-04-08 01:28	1.9K
	lt_O_minus_lt.con.proof_tree.xml.gz	2004-04-09 18:52	2.9K
	lt_O_minus_lt.con.body.xml.gz	2004-04-08 01:28	1.4K
	le_plus_minus_r.con.xml.gz	2004-04-08 01:28	509
	le_plus_minus_r.con.types.xml.gz	2004-04-08 01:28	687
	le_plus_minus_r.con.proof_tree.xml.gz	2004-04-09 18:52	1.2K
	le_plus_minus_r.con.body.xml.gz	2004-04-08 01:28	653
	le_plus_minus.con.xml.gz	2004-04-08 01:28	505
	le_plus_minus.con.types.xml.gz	2004-04-08 01:28	1.3K
	le_plus_minus.con.proof_tree.xml.gz	2004-04-09 18:52	2.2K
	le_plus_minus.con.body.xml.gz	2004-04-08 01:28	1.1K
	le_minus.con.xml.gz	2004-04-08 01:28	414
	le_minus.con.types.xml.gz	2004-04-08 01:28	1.2K
	le_minus.con.proof_tree.xml.gz	2004-04-09 18:52	2.3K
	le_minus.con.body.xml.gz	2004-04-08 01:28	870
	INDEX	2005-07-05 08:10	693