Index of /xml/Nijmegen/QArith/Q_order

	Name	Last modified	Size	Description
	Parent Directory		-
	INDEX	2005-07-05 08:11	1.5K
	Q_distr_left.con.body.xml.gz	2004-04-08 15:25	10K
	Q_distr_left.con.types.xml.gz	2004-04-08 15:25	8.5K
	Q_distr_left.con.xml.gz	2004-04-08 15:25	556
	Q_distr_left_aux.con.body.xml.gz	2004-04-08 15:25	47K
	Q_distr_left_aux.con.types.xml.gz	2004-04-08 15:25	109K
	Q_distr_left_aux.con.xml.gz	2004-04-08 15:25	629
	Q_eq.con.body.xml.gz	2004-04-08 15:24	1.5K
	Q_eq.con.types.xml.gz	2004-04-08 15:24	196
	Q_eq.con.xml.gz	2004-04-08 15:24	310
	Q_eq_dec.con.body.xml.gz	2004-04-08 15:24	8.1K
	Q_eq_dec.con.types.xml.gz	2004-04-08 15:24	4.1K
	Q_eq_dec.con.xml.gz	2004-04-08 15:24	490
	Q_eq_prop.con.body.xml.gz	2004-04-08 15:24	4.6K
	Q_eq_prop.con.types.xml.gz	2004-04-08 15:24	7.9K
	Q_eq_prop.con.xml.gz	2004-04-08 15:24	497
	Q_integral.con.body.xml.gz	2004-04-08 15:24	4.1K
	Q_integral.con.types.xml.gz	2004-04-08 15:24	7.8K
	Q_integral.con.xml.gz	2004-04-08 15:24	548
	Q_opp_def.con.body.xml.gz	2004-04-08 15:24	5.1K
	Q_opp_def.con.types.xml.gz	2004-04-08 15:24	12K
	Q_opp_def.con.xml.gz	2004-04-08 15:24	459
	Qdiv.con.body.xml.gz	2004-04-08 15:25	410
	Qdiv.con.types.xml.gz	2004-04-08 15:25	195
	Qdiv.con.xml.gz	2004-04-08 15:25	291
	Qgt.ind.types.xml.gz	2004-04-08 15:24	193
	Qgt.ind.xml.gz	2004-04-08 15:24	935
	Qgt_antisym.con.body.xml.gz	2004-04-08 15:24	28K
	Qgt_antisym.con.types.xml.gz	2004-04-08 15:24	34K
	Qgt_antisym.con.xml.gz	2004-04-08 15:24	471
	Qgt_ind.con.body.xml.gz	2004-04-08 15:24	1.3K
	Qgt_ind.con.types.xml.gz	2004-04-08 15:24	1.0K
	Qgt_ind.con.xml.gz	2004-04-08 15:24	1.0K
	Qgt_mult.con.body.xml.gz	2004-04-08 15:25	49K
	Qgt_mult.con.types.xml.gz	2004-04-08 15:25	74K
	Qgt_mult.con.xml.gz	2004-04-08 15:25	543
	Qgt_plus.con.body.xml.gz	2004-04-08 15:24	39K
	Qgt_plus.con.types.xml.gz	2004-04-08 15:24	88K
	Qgt_plus.con.xml.gz	2004-04-08 15:24	502
	Qgt_total.con.body.xml.gz	2004-04-08 15:24	8.2K
	Qgt_total.con.types.xml.gz	2004-04-08 15:24	8.9K
	Qgt_total.con.xml.gz	2004-04-08 15:24	508
	Qgt_trans.con.body.xml.gz	2004-04-08 15:24	26K
	Qgt_trans.con.types.xml.gz	2004-04-08 15:24	35K
	Qgt_trans.con.xml.gz	2004-04-08 15:24	466
	Qinv.con.body.xml.gz	2004-04-08 15:24	580
	Qinv.con.types.xml.gz	2004-04-08 15:24	195
	Qinv.con.xml.gz	2004-04-08 15:24	280
	Qinv_def.con.body.xml.gz	2004-04-08 15:24	1.5K
	Qinv_def.con.types.xml.gz	2004-04-08 15:24	2.0K
	Qinv_def.con.xml.gz	2004-04-08 15:24	556
	Qminus.con.body.xml.gz	2004-04-08 15:25	411
	Qminus.con.types.xml.gz	2004-04-08 15:25	199
	Qminus.con.xml.gz	2004-04-08 15:25	295
	Qmult_assoc.con.body.xml.gz	2004-04-08 15:24	8.4K
	Qmult_assoc.con.types.xml.gz	2004-04-08 15:24	16K
	Qmult_assoc.con.xml.gz	2004-04-08 15:24	526
	Qmult_neg.con.body.xml.gz	2004-04-08 15:25	1.0K
	Qmult_neg.con.types.xml.gz	2004-04-08 15:25	1.7K
	Qmult_neg.con.xml.gz	2004-04-08 15:25	543
	Qmult_one_left.con.body.xml.gz	2004-04-08 15:24	1.1K
	Qmult_one_left.con.types.xml.gz	2004-04-08 15:24	1.4K
	Qmult_one_left.con.xml.gz	2004-04-08 15:24	475
	Qmult_sym.con.body.xml.gz	2004-04-08 15:24	2.6K
	Qmult_sym.con.types.xml.gz	2004-04-08 15:24	3.9K
	Qmult_sym.con.xml.gz	2004-04-08 15:24	457
	Qmult_zero.con.body.xml.gz	2004-04-08 15:25	690
	Qmult_zero.con.types.xml.gz	2004-04-08 15:25	971
	Qmult_zero.con.xml.gz	2004-04-08 15:25	442
	Qopp_plus.con.body.xml.gz	2004-04-08 15:25	5.5K
	Qopp_plus.con.types.xml.gz	2004-04-08 15:25	4.2K
	Qopp_plus.con.xml.gz	2004-04-08 15:25	503
	Qplus_zero_left.con.body.xml.gz	2004-04-08 15:24	716
	Qplus_zero_left.con.types.xml.gz	2004-04-08 15:24	1.0K
	Qplus_zero_left.con.xml.gz	2004-04-08 15:24	448
	Qpositive_le_plus_simpl.con.body.xml.gz	2004-04-08 15:24	2.0K
	Qpositive_le_plus_simpl.con.types.xml.gz	2004-04-08 15:24	1.7K
	Qpositive_le_plus_simpl.con.xml.gz	2004-04-08 15:24	527
	Qpositive_le_sub_simpl_l.con.body.xml.gz	2004-04-08 15:24	3.1K
	Qpositive_le_sub_simpl_l.con.types.xml.gz	2004-04-08 15:24	2.5K
	Qpositive_le_sub_simpl_l.con.xml.gz	2004-04-08 15:24	696
	Qpositive_le_sub_simpl_r.con.body.xml.gz	2004-04-08 15:24	1.5K
	Qpositive_le_sub_simpl_r.con.types.xml.gz	2004-04-08 15:24	1.2K
	Qpositive_le_sub_simpl_r.con.xml.gz	2004-04-08 15:24	702
	Qpositive_mult_simpl.con.body.xml.gz	2004-04-08 15:25	3.9K
	Qpositive_mult_simpl.con.types.xml.gz	2004-04-08 15:25	2.7K
	Qpositive_mult_simpl.con.xml.gz	2004-04-08 15:25	542
	not_one_zero.con.body.xml.gz	2004-04-08 15:24	872
	not_one_zero.con.types.xml.gz	2004-04-08 15:24	812
	not_one_zero.con.xml.gz	2004-04-08 15:24	384