Index of /xml/Nijmegen/QArith

	Name	Last modified	Size	Description
	Parent Directory		-
	sqrt2/	2005-07-05 08:11	-
	second_Field_Theory_Q/	2005-07-05 08:11	-
	quadratic_correctness/	2005-07-05 08:11	-
	quadraticAcc_Qquadratic_sign/	2005-07-05 08:11	-
	positive_fraction_encoding/	2005-07-05 08:11	-
	homographic_correctness/	2005-07-05 08:11	-
	homographicAcc_Qhomographic_sign/	2005-07-05 08:11	-
	general_Q/	2005-07-05 08:11	-
	Zaux/	2005-07-05 08:11	-
	Qquadratic_sign_properties/	2005-07-05 08:11	-
	Qquadratic_sign/	2005-07-05 08:11	-
	Qquadratic_Qpositive_to_Qpositive/	2005-07-05 08:11	-
	Qquadratic_Qpositive_to_Q_properties/	2005-07-05 08:11	-
	Qquadratic/	2005-07-05 08:11	-
	Qpositive_sub/	2005-07-05 08:11	-
	Qpositive_plus_mult/	2005-07-05 08:11	-
	Qpositive_order/	2005-07-05 08:11	-
	Qpositive_le/	2005-07-05 08:11	-
	Qpositive/	2005-07-05 08:11	-
	Qhomographic_sign_properties/	2005-07-05 08:11	-
	Qhomographic_sign/	2005-07-05 08:11	-
	Qhomographic_Qpositive_to_Qpositive/	2005-07-05 08:11	-
	Qhomographic_Qpositive_to_Q_properties/	2005-07-05 08:11	-
	Qhomographic/	2005-07-05 08:11	-
	Q_order/	2005-07-05 08:11	-
	Q_field/	2005-07-05 08:11	-
	Merge_Order/	2005-07-05 08:11	-
	INDEX	2005-07-05 08:10	582
	Field_Theory_Q/	2005-07-05 08:11	-