Index of /xml/Nijmegen/QArith/Qpositive_sub

	Name	Last modified	Size	Description
	Parent Directory		-
	INDEX	2005-07-05 08:11	1.2K
	Qpositive_le_sub_l.con.body.xml.gz	2004-04-08 15:24	93K
	Qpositive_le_sub_l.con.types.xml.gz	2004-04-08 15:24	110K
	Qpositive_le_sub_l.con.xml.gz	2004-04-08 15:24	693
	Qpositive_le_sub_r.con.body.xml.gz	2004-04-08 15:24	87K
	Qpositive_le_sub_r.con.types.xml.gz	2004-04-08 15:24	108K
	Qpositive_le_sub_r.con.xml.gz	2004-04-08 15:24	686
	Qpositive_mult_minus_distr.con.body.xml.gz	2004-04-08 15:24	255K
	Qpositive_mult_minus_distr.con.types.xml.gz	2004-04-08 15:24	293K
	Qpositive_mult_minus_distr.con.xml.gz	2004-04-08 15:24	691
	Qpositive_plus_simpl.con.body.xml.gz	2004-04-08 15:24	1.3K
	Qpositive_plus_simpl.con.types.xml.gz	2004-04-08 15:24	1.0K
	Qpositive_plus_simpl.con.xml.gz	2004-04-08 15:24	542
	Qpositive_plus_sub_assoc.con.body.xml.gz	2004-04-08 15:24	3.1K
	Qpositive_plus_sub_assoc.con.types.xml.gz	2004-04-08 15:24	2.5K
	Qpositive_plus_sub_assoc.con.xml.gz	2004-04-08 15:24	666
	Qpositive_sub.con.body.xml.gz	2004-04-08 15:24	1.0K
	Qpositive_sub.con.types.xml.gz	2004-04-08 15:24	208
	Qpositive_sub.con.xml.gz	2004-04-08 15:24	305
	Qpositive_sub_correct.con.body.xml.gz	2004-04-08 15:24	52K
	Qpositive_sub_correct.con.types.xml.gz	2004-04-08 15:24	55K
	Qpositive_sub_correct.con.xml.gz	2004-04-08 15:24	501
	Qpositive_sub_correct2.con.body.xml.gz	2004-04-08 15:24	97K
	Qpositive_sub_correct2.con.types.xml.gz	2004-04-08 15:24	98K
	Qpositive_sub_correct2.con.xml.gz	2004-04-08 15:24	612
	Qpositive_sub_diff.con.body.xml.gz	2004-04-08 15:24	1.7K
	Qpositive_sub_diff.con.types.xml.gz	2004-04-08 15:24	1.5K
	Qpositive_sub_diff.con.xml.gz	2004-04-08 15:24	581
	Qpositive_sub_le.con.body.xml.gz	2004-04-08 15:24	1.4K
	Qpositive_sub_le.con.types.xml.gz	2004-04-08 15:24	1.2K
	Qpositive_sub_le.con.xml.gz	2004-04-08 15:24	552
	Qpositive_sub_simpl_l.con.body.xml.gz	2004-04-08 15:24	2.3K
	Qpositive_sub_simpl_l.con.types.xml.gz	2004-04-08 15:24	1.7K
	Qpositive_sub_simpl_l.con.xml.gz	2004-04-08 15:24	715
	Qpositive_sub_simpl_r.con.body.xml.gz	2004-04-08 15:24	1.5K
	Qpositive_sub_simpl_r.con.types.xml.gz	2004-04-08 15:24	1.1K
	Qpositive_sub_simpl_r.con.xml.gz	2004-04-08 15:24	713
	Qpositive_sub_sub_assoc.con.body.xml.gz	2004-04-08 15:24	4.1K
	Qpositive_sub_sub_assoc.con.types.xml.gz	2004-04-08 15:24	3.4K
	Qpositive_sub_sub_assoc.con.xml.gz	2004-04-08 15:24	778
	Qpositive_sub_sub_assoc_l.con.body.xml.gz	2004-04-08 15:24	6.3K
	Qpositive_sub_sub_assoc_l.con.types.xml.gz	2004-04-08 15:24	6.2K
	Qpositive_sub_sub_assoc_l.con.xml.gz	2004-04-08 15:24	717
	le_minus_left.con.body.xml.gz	2004-04-08 15:24	4.6K
	le_minus_left.con.types.xml.gz	2004-04-08 15:24	5.9K
	le_minus_left.con.xml.gz	2004-04-08 15:24	556
	le_minus_left_subproof.con.body.xml.gz	2004-04-08 15:24	60K
	le_minus_left_subproof.con.types.xml.gz	2004-04-08 15:24	44K
	le_minus_left_subproof.con.xml.gz	2004-04-08 15:24	967
	le_minus_right.con.body.xml.gz	2004-04-08 15:24	4.8K
	le_minus_right.con.types.xml.gz	2004-04-08 15:24	5.7K
	le_minus_right.con.xml.gz	2004-04-08 15:24	556
	lt_mult_conv.con.body.xml.gz	2004-04-08 15:24	1.5K
	lt_mult_conv.con.types.xml.gz	2004-04-08 15:24	1.9K
	lt_mult_conv.con.xml.gz	2004-04-08 15:24	542