Index of /xml/Nijmegen/QArith/positive_fraction_encoding

	Name	Last modified	Size	Description
	Parent Directory		-
	INDEX	2005-07-05 08:11	1.6K
	Zminus2_wf.con.body.xml.gz	2004-04-08 15:24	10K
	Zminus2_wf.con.types.xml.gz	2004-04-08 15:24	11K
	Zminus2_wf.con.xml.gz	2004-04-08 15:24	550
	encoding_algorithm.con.body.xml.gz	2004-04-08 15:24	1.9K
	encoding_algorithm.con.types.xml.gz	2004-04-08 15:24	710
	encoding_algorithm.con.xml.gz	2004-04-08 15:24	535
	encoding_algorithm_0.con.body.xml.gz	2004-04-08 15:24	4.1K
	encoding_algorithm_0.con.types.xml.gz	2004-04-08 15:24	11K
	encoding_algorithm_0.con.xml.gz	2004-04-08 15:24	707
	encoding_algorithm_1.con.body.xml.gz	2004-04-08 15:24	5.1K
	encoding_algorithm_1.con.types.xml.gz	2004-04-08 15:24	13K
	encoding_algorithm_1.con.xml.gz	2004-04-08 15:24	933
	encoding_algorithm_2.con.body.xml.gz	2004-04-08 15:24	5.1K
	encoding_algorithm_2.con.types.xml.gz	2004-04-08 15:24	13K
	encoding_algorithm_2.con.xml.gz	2004-04-08 15:24	929
	encoding_algorithm_equal.con.body.xml.gz	2004-04-08 15:24	48K
	encoding_algorithm_equal.con.types.xml.gz	2004-04-08 15:24	125K
	encoding_algorithm_equal.con.xml.gz	2004-04-08 15:24	810
	encoding_algorithm_equal_1.con.body.xml.gz	2004-04-08 15:24	44K
	encoding_algorithm_equal_1.con.types.xml.gz	2004-04-08 15:24	120K
	encoding_algorithm_equal_1.con.xml.gz	2004-04-08 15:24	744
	encoding_algorithm_equal_strong.con.body.xml.gz	2004-04-08 15:24	2.0K
	encoding_algorithm_equal_strong.con.types.xml.gz	2004-04-08 15:24	2.3K
	encoding_algorithm_equal_strong.con.xml.gz	2004-04-08 15:24	931
	encoding_algorithm_ind.con.body.xml.gz	2004-04-08 15:24	6.6K
	encoding_algorithm_ind.con.types.xml.gz	2004-04-08 15:24	6.8K
	encoding_algorithm_ind.con.xml.gz	2004-04-08 15:24	3.1K
	fraction_encoding.con.body.xml.gz	2004-04-08 15:24	2.4K
	fraction_encoding.con.types.xml.gz	2004-04-08 15:24	1.7K
	fraction_encoding.con.xml.gz	2004-04-08 15:24	472
	fractionalAcc.ind.types.xml.gz	2004-04-08 15:24	217
	fractionalAcc.ind.xml.gz	2004-04-08 15:24	918
	fractionalAcc_ind.con.body.xml.gz	2004-04-08 15:24	2.2K
	fractionalAcc_ind.con.types.xml.gz	2004-04-08 15:24	2.0K
	fractionalAcc_ind.con.xml.gz	2004-04-08 15:24	1.1K
	fractionalAcc_ind_dep.con.body.xml.gz	2004-04-08 15:24	2.4K
	fractionalAcc_ind_dep.con.types.xml.gz	2004-04-08 15:24	2.9K
	fractionalAcc_ind_dep.con.xml.gz	2004-04-08 15:24	1.3K
	fractionalacc_0.con.body.xml.gz	2004-04-08 15:24	466
	fractionalacc_0.con.types.xml.gz	2004-04-08 15:24	503
	fractionalacc_0.con.xml.gz	2004-04-08 15:24	394
	fractionalacc_1.con.body.xml.gz	2004-04-08 15:24	1.9K
	fractionalacc_1.con.types.xml.gz	2004-04-08 15:24	1.6K
	fractionalacc_1.con.xml.gz	2004-04-08 15:24	573
	fractionalacc_2.con.body.xml.gz	2004-04-08 15:24	1.9K
	fractionalacc_2.con.types.xml.gz	2004-04-08 15:24	1.6K
	fractionalacc_2.con.xml.gz	2004-04-08 15:24	573
	positive_fraction_encoding.con.body.xml.gz	2004-04-08 15:24	620
	positive_fraction_encoding.con.types.xml.gz	2004-04-08 15:24	508
	positive_fraction_encoding.con.xml.gz	2004-04-08 15:24	484
	positive_fraction_encoding_0.con.body.xml.gz	2004-04-08 15:24	702
	positive_fraction_encoding_0.con.types.xml.gz	2004-04-08 15:24	1.0K
	positive_fraction_encoding_0.con.xml.gz	2004-04-08 15:24	648
	positive_fraction_encoding_1.con.body.xml.gz	2004-04-08 15:24	855
	positive_fraction_encoding_1.con.types.xml.gz	2004-04-08 15:24	1.5K
	positive_fraction_encoding_1.con.xml.gz	2004-04-08 15:24	815
	positive_fraction_encoding_2.con.body.xml.gz	2004-04-08 15:24	862
	positive_fraction_encoding_2.con.types.xml.gz	2004-04-08 15:24	1.5K
	positive_fraction_encoding_2.con.xml.gz	2004-04-08 15:24	813
	positive_fraction_encoding_equal.con.body.xml.gz	2004-04-08 15:24	767
	positive_fraction_encoding_equal.con.types.xml.gz	2004-04-08 15:24	1.3K
	positive_fraction_encoding_equal.con.xml.gz	2004-04-08 15:24	711
	positive_fraction_encoding_equal_strong.con.body.xml.gz	2004-04-08 15:24	948
	positive_fraction_encoding_equal_strong.con.types.xml.gz	2004-04-08 15:24	1.4K
	positive_fraction_encoding_equal_strong.con.xml.gz	2004-04-08 15:24	840