Index of /xml/Rocq/SUBST/comparith

	Name	Last modified	Size	Description
	Parent Directory		-
	INDEX	2005-07-05 08:12	1.3K
	S_plus.con.body.xml.gz	2004-04-09 01:16	921
	S_plus.con.types.xml.gz	2004-04-09 01:16	1.1K
	S_plus.con.xml.gz	2004-04-09 01:16	454
	eq_mult_reg_l.con.body.xml.gz	2004-04-09 01:16	1.3K
	eq_mult_reg_l.con.types.xml.gz	2004-04-09 01:16	1.2K
	eq_mult_reg_l.con.xml.gz	2004-04-09 01:16	512
	eq_mult_reg_r.con.body.xml.gz	2004-04-09 01:16	1.3K
	eq_mult_reg_r.con.types.xml.gz	2004-04-09 01:16	1.2K
	eq_mult_reg_r.con.xml.gz	2004-04-09 01:16	510
	eq_plus_reg_l.con.body.xml.gz	2004-04-09 01:16	1.3K
	eq_plus_reg_l.con.types.xml.gz	2004-04-09 01:16	1.2K
	eq_plus_reg_l.con.xml.gz	2004-04-09 01:16	512
	eq_plus_reg_r.con.body.xml.gz	2004-04-09 01:16	1.3K
	eq_plus_reg_r.con.types.xml.gz	2004-04-09 01:16	1.2K
	eq_plus_reg_r.con.xml.gz	2004-04-09 01:16	511
	gt_S_l.con.body.xml.gz	2004-04-09 01:16	512
	gt_S_l.con.types.xml.gz	2004-04-09 01:16	677
	gt_S_l.con.xml.gz	2004-04-09 01:16	455
	gt_S_r.con.body.xml.gz	2004-04-09 01:16	537
	gt_S_r.con.types.xml.gz	2004-04-09 01:16	668
	gt_S_r.con.xml.gz	2004-04-09 01:16	458
	gt_mult_l.con.body.xml.gz	2004-04-09 01:16	2.1K
	gt_mult_l.con.types.xml.gz	2004-04-09 01:16	2.2K
	gt_mult_l.con.xml.gz	2004-04-09 01:16	525
	gt_mult_r.con.body.xml.gz	2004-04-09 01:16	763
	gt_mult_r.con.types.xml.gz	2004-04-09 01:16	736
	gt_mult_r.con.xml.gz	2004-04-09 01:16	526
	gt_mult_reg_l.con.body.xml.gz	2004-04-09 01:16	2.5K
	gt_mult_reg_l.con.types.xml.gz	2004-04-09 01:16	2.7K
	gt_mult_reg_l.con.xml.gz	2004-04-09 01:16	543
	gt_mult_reg_r.con.body.xml.gz	2004-04-09 01:16	1.0K
	gt_mult_reg_r.con.types.xml.gz	2004-04-09 01:16	910
	gt_mult_reg_r.con.xml.gz	2004-04-09 01:16	544
	gt_mult_trans_l.con.body.xml.gz	2004-04-09 01:16	780
	gt_mult_trans_l.con.types.xml.gz	2004-04-09 01:16	748
	gt_mult_trans_l.con.xml.gz	2004-04-09 01:16	535
	gt_mult_trans_r.con.body.xml.gz	2004-04-09 01:16	2.1K
	gt_mult_trans_r.con.types.xml.gz	2004-04-09 01:16	2.3K
	gt_mult_trans_r.con.xml.gz	2004-04-09 01:16	530
	gt_plus_l.con.body.xml.gz	2004-04-09 01:16	1.0K
	gt_plus_l.con.types.xml.gz	2004-04-09 01:16	1.2K
	gt_plus_l.con.xml.gz	2004-04-09 01:16	468
	gt_plus_plus.con.body.xml.gz	2004-04-09 01:16	1.3K
	gt_plus_plus.con.types.xml.gz	2004-04-09 01:16	1.7K
	gt_plus_plus.con.xml.gz	2004-04-09 01:16	543
	gt_plus_r.con.body.xml.gz	2004-04-09 01:16	701
	gt_plus_r.con.types.xml.gz	2004-04-09 01:16	694
	gt_plus_r.con.xml.gz	2004-04-09 01:16	471
	gt_plus_trans_l.con.body.xml.gz	2004-04-09 01:16	724
	gt_plus_trans_l.con.types.xml.gz	2004-04-09 01:16	701
	gt_plus_trans_l.con.xml.gz	2004-04-09 01:16	477
	gt_plus_trans_r.con.body.xml.gz	2004-04-09 01:16	560
	gt_plus_trans_r.con.types.xml.gz	2004-04-09 01:16	739
	gt_plus_trans_r.con.xml.gz	2004-04-09 01:16	483
	gt_power2_O.con.body.xml.gz	2004-04-09 01:16	970
	gt_power2_O.con.types.xml.gz	2004-04-09 01:16	1.0K
	gt_power2_O.con.xml.gz	2004-04-09 01:16	429
	gt_reg_r.con.body.xml.gz	2004-04-09 01:16	1.0K
	gt_reg_r.con.types.xml.gz	2004-04-09 01:16	1.0K
	gt_reg_r.con.xml.gz	2004-04-09 01:16	490
	mult_assoc_l.con.body.xml.gz	2004-04-09 01:16	1.6K
	mult_assoc_l.con.types.xml.gz	2004-04-09 01:16	1.8K
	mult_assoc_l.con.xml.gz	2004-04-09 01:16	511
	mult_n_1.con.body.xml.gz	2004-04-09 01:16	883
	mult_n_1.con.types.xml.gz	2004-04-09 01:16	1.0K
	mult_n_1.con.xml.gz	2004-04-09 01:16	445
	mult_n_2.con.body.xml.gz	2004-04-09 01:16	1.2K
	mult_n_2.con.types.xml.gz	2004-04-09 01:16	1.4K
	mult_n_2.con.xml.gz	2004-04-09 01:16	484
	mult_permut.con.body.xml.gz	2004-04-09 01:16	1.0K
	mult_permut.con.types.xml.gz	2004-04-09 01:16	1.0K
	mult_permut.con.xml.gz	2004-04-09 01:16	511
	mult_plus_distr_r.con.body.xml.gz	2004-04-09 01:16	2.8K
	mult_plus_distr_r.con.types.xml.gz	2004-04-09 01:16	2.8K
	mult_plus_distr_r.con.xml.gz	2004-04-09 01:16	556
	mult_sym.con.body.xml.gz	2004-04-09 01:16	1.3K
	mult_sym.con.types.xml.gz	2004-04-09 01:16	1.5K
	mult_sym.con.xml.gz	2004-04-09 01:16	451
	power2.con.body.xml.gz	2004-04-09 01:16	717
	power2.con.types.xml.gz	2004-04-09 01:16	197
	power2.con.xml.gz	2004-04-09 01:16	278