Index of /xml/Nijmegen/QArith/Qhomographic_sign_properties

	Name	Last modified	Size	Description
	Parent Directory		-
	INDEX	2005-07-05 08:11	557
	sg_neg_2.con.xml.gz	2004-04-08 15:30	1.6K
	sg_neg_2.con.types.xml.gz	2004-04-08 15:30	66K
	sg_neg_2.con.body.xml.gz	2004-04-08 15:30	230K
	sg_neg_1.con.xml.gz	2004-04-08 15:29	1.4K
	sg_neg_1.con.types.xml.gz	2004-04-08 15:29	64K
	sg_neg_1.con.body.xml.gz	2004-04-08 15:29	185K
	sg_pos_2.con.types.xml.gz	2004-04-08 15:29	67K
	sg_pos_2.con.body.xml.gz	2004-04-08 15:29	223K
	sg_pos_2.con.xml.gz	2004-04-08 15:29	1.6K
	sg_pos_1.con.xml.gz	2004-04-08 15:29	1.4K
	sg_pos_1.con.types.xml.gz	2004-04-08 15:29	61K
	sg_pos_1.con.body.xml.gz	2004-04-08 15:29	178K
	inside_interval_2_inf_subproof.con.xml.gz	2004-04-08 15:29	655
	inside_interval_2_inf_subproof.con.types.xml.gz	2004-04-08 15:29	2.5K
	inside_interval_2_inf_subproof.con.body.xml.gz	2004-04-08 15:29	5.1K
	inside_interval_2_inf.con.xml.gz	2004-04-08 15:29	631
	inside_interval_2_inf.con.types.xml.gz	2004-04-08 15:29	242
	inside_interval_2_inf.con.body.xml.gz	2004-04-08 15:29	525
	inside_interval_1_inf_subproof.con.xml.gz	2004-04-08 15:29	655
	inside_interval_1_inf_subproof.con.types.xml.gz	2004-04-08 15:29	2.5K
	inside_interval_1_inf_subproof.con.body.xml.gz	2004-04-08 15:29	5.0K
	inside_interval_1_inf.con.xml.gz	2004-04-08 15:29	630
	inside_interval_1_inf.con.types.xml.gz	2004-04-08 15:29	241
	inside_interval_1_inf.con.body.xml.gz	2004-04-08 15:29	525
	sg_tuple_equal.con.xml.gz	2004-04-08 15:29	1.7K
	sg_tuple_equal.con.types.xml.gz	2004-04-08 15:29	26K
	sg_tuple_equal.con.body.xml.gz	2004-04-08 15:29	21K