Index of /xml/Nijmegen/QArith/Qhomographic_Qpositive_to_Q_properties

	Name	Last modified	Size	Description
	Parent Directory		-
	INDEX	2005-07-05 08:11	2.4K
	Qhomographic_Qpositive_to_Q_0.con.body.xml.gz	2004-04-08 15:30	641
	Qhomographic_Qpositive_to_Q_0.con.types.xml.gz	2004-04-08 15:30	2.2K
	Qhomographic_Qpositive_to_Q_0.con.xml.gz	2004-04-08 15:30	911
	Qhomographic_Qpositive_to_Q_0_subproof.con.body.xml.gz	2004-04-08 15:30	28K
	Qhomographic_Qpositive_to_Q_0_subproof.con.types.xml.gz	2004-04-08 15:30	38K
	Qhomographic_Qpositive_to_Q_0_subproof.con.xml.gz	2004-04-08 15:30	1.2K
	Qhomographic_Qpositive_to_Q_1.con.body.xml.gz	2004-04-08 15:30	635
	Qhomographic_Qpositive_to_Q_1.con.types.xml.gz	2004-04-08 15:30	2.1K
	Qhomographic_Qpositive_to_Q_1.con.xml.gz	2004-04-08 15:30	870
	Qhomographic_Qpositive_to_Q_1_subproof.con.body.xml.gz	2004-04-08 15:30	27K
	Qhomographic_Qpositive_to_Q_1_subproof.con.types.xml.gz	2004-04-08 15:30	37K
	Qhomographic_Qpositive_to_Q_1_subproof.con.xml.gz	2004-04-08 15:30	1.1K
	Qhomographic_Qpositive_to_Q_2.con.body.xml.gz	2004-04-08 15:30	635
	Qhomographic_Qpositive_to_Q_2.con.types.xml.gz	2004-04-08 15:30	2.2K
	Qhomographic_Qpositive_to_Q_2.con.xml.gz	2004-04-08 15:30	879
	Qhomographic_Qpositive_to_Q_2_subproof.con.body.xml.gz	2004-04-08 15:30	38K
	Qhomographic_Qpositive_to_Q_2_subproof.con.types.xml.gz	2004-04-08 15:30	54K
	Qhomographic_Qpositive_to_Q_2_subproof.con.xml.gz	2004-04-08 15:30	1.2K
	Qhomographic_Qpositive_to_Q_3.con.body.xml.gz	2004-04-08 15:30	651
	Qhomographic_Qpositive_to_Q_3.con.types.xml.gz	2004-04-08 15:30	5.0K
	Qhomographic_Qpositive_to_Q_3.con.xml.gz	2004-04-08 15:30	1.6K
	Qhomographic_Qpositive_to_Q_3_subproof.con.body.xml.gz	2004-04-08 15:30	50K
	Qhomographic_Qpositive_to_Q_3_subproof.con.types.xml.gz	2004-04-08 15:30	78K
	Qhomographic_Qpositive_to_Q_3_subproof.con.xml.gz	2004-04-08 15:30	2.0K
	Qhomographic_Qpositive_to_Q_4.con.body.xml.gz	2004-04-08 15:31	653
	Qhomographic_Qpositive_to_Q_4.con.types.xml.gz	2004-04-08 15:31	5.2K
	Qhomographic_Qpositive_to_Q_4.con.xml.gz	2004-04-08 15:31	1.8K
	Qhomographic_Qpositive_to_Q_4_subproof.con.body.xml.gz	2004-04-08 15:30	51K
	Qhomographic_Qpositive_to_Q_4_subproof.con.types.xml.gz	2004-04-08 15:31	78K
	Qhomographic_Qpositive_to_Q_4_subproof.con.xml.gz	2004-04-08 15:30	2.1K
	Qhomographic_Qpositive_to_Q_5.con.body.xml.gz	2004-04-08 15:31	651
	Qhomographic_Qpositive_to_Q_5.con.types.xml.gz	2004-04-08 15:31	5.4K
	Qhomographic_Qpositive_to_Q_5.con.xml.gz	2004-04-08 15:31	1.7K
	Qhomographic_Qpositive_to_Q_5_subproof.con.body.xml.gz	2004-04-08 15:31	49K
	Qhomographic_Qpositive_to_Q_5_subproof.con.types.xml.gz	2004-04-08 15:31	77K
	Qhomographic_Qpositive_to_Q_5_subproof.con.xml.gz	2004-04-08 15:31	2.1K
	Qhomographic_Qpositive_to_Q_6.con.body.xml.gz	2004-04-08 15:31	652
	Qhomographic_Qpositive_to_Q_6.con.types.xml.gz	2004-04-08 15:31	5.3K
	Qhomographic_Qpositive_to_Q_6.con.xml.gz	2004-04-08 15:31	1.7K
	Qhomographic_Qpositive_to_Q_6_subproof.con.body.xml.gz	2004-04-08 15:31	49K
	Qhomographic_Qpositive_to_Q_6_subproof.con.types.xml.gz	2004-04-08 15:31	76K
	Qhomographic_Qpositive_to_Q_6_subproof.con.xml.gz	2004-04-08 15:31	2.0K
	Qhomographic_Qpositive_to_Q_equal.con.body.xml.gz	2004-04-08 15:31	54K
	Qhomographic_Qpositive_to_Q_equal.con.types.xml.gz	2004-04-08 15:31	95K
	Qhomographic_Qpositive_to_Q_equal.con.xml.gz	2004-04-08 15:31	746
	Qhomographic_Qpositive_to_Q_ind.con.body.xml.gz	2004-04-08 15:30	32K
	Qhomographic_Qpositive_to_Q_ind.con.types.xml.gz	2004-04-08 15:30	30K
	Qhomographic_Qpositive_to_Q_ind.con.xml.gz	2004-04-08 15:30	15K
	fraction_encoding_equal.con.body.xml.gz	2004-04-08 15:30	586
	fraction_encoding_equal.con.types.xml.gz	2004-04-08 15:30	841
	fraction_encoding_equal.con.xml.gz	2004-04-08 15:30	658
	fraction_encoding_equal_subproof.con.body.xml.gz	2004-04-08 15:30	39K
	fraction_encoding_equal_subproof.con.types.xml.gz	2004-04-08 15:30	122K
	fraction_encoding_equal_subproof.con.xml.gz	2004-04-08 15:30	676
	h_sign_equal.con.body.xml.gz	2004-04-08 15:31	281
	h_sign_equal.con.types.xml.gz	2004-04-08 15:31	233
	h_sign_equal.con.xml.gz	2004-04-08 15:31	708
	h_sign_equal_subproof.con.body.xml.gz	2004-04-08 15:31	1.1K
	h_sign_equal_subproof.con.types.xml.gz	2004-04-08 15:31	1.5K
	h_sign_equal_subproof.con.xml.gz	2004-04-08 15:31	731
	new_a_equal.con.body.xml.gz	2004-04-08 15:31	280
	new_a_equal.con.types.xml.gz	2004-04-08 15:31	232
	new_a_equal.con.xml.gz	2004-04-08 15:31	714
	new_a_equal_subproof.con.body.xml.gz	2004-04-08 15:31	2.4K
	new_a_equal_subproof.con.types.xml.gz	2004-04-08 15:31	2.7K
	new_a_equal_subproof.con.xml.gz	2004-04-08 15:31	735
	new_b_equal.con.body.xml.gz	2004-04-08 15:31	281
	new_b_equal.con.types.xml.gz	2004-04-08 15:31	232
	new_b_equal.con.xml.gz	2004-04-08 15:31	714
	new_b_equal_subproof.con.body.xml.gz	2004-04-08 15:31	3.2K
	new_b_equal_subproof.con.types.xml.gz	2004-04-08 15:31	3.5K
	new_b_equal_subproof.con.xml.gz	2004-04-08 15:31	732
	new_c_equal.con.body.xml.gz	2004-04-08 15:31	280
	new_c_equal.con.types.xml.gz	2004-04-08 15:31	232
	new_c_equal.con.xml.gz	2004-04-08 15:31	714
	new_c_equal_subproof.con.body.xml.gz	2004-04-08 15:31	4.0K
	new_c_equal_subproof.con.types.xml.gz	2004-04-08 15:31	4.3K
	new_c_equal_subproof.con.xml.gz	2004-04-08 15:31	735
	new_d_equal.con.body.xml.gz	2004-04-08 15:31	280
	new_d_equal.con.types.xml.gz	2004-04-08 15:31	232
	new_d_equal.con.xml.gz	2004-04-08 15:31	714
	new_d_equal_subproof.con.body.xml.gz	2004-04-08 15:31	4.0K
	new_d_equal_subproof.con.types.xml.gz	2004-04-08 15:31	4.3K
	new_d_equal_subproof.con.xml.gz	2004-04-08 15:31	735
	new_p_equal.con.body.xml.gz	2004-04-08 15:31	280
	new_p_equal.con.types.xml.gz	2004-04-08 15:31	232
	new_p_equal.con.xml.gz	2004-04-08 15:31	714
	new_p_equal_subproof.con.body.xml.gz	2004-04-08 15:31	1.8K
	new_p_equal_subproof.con.types.xml.gz	2004-04-08 15:31	2.1K
	new_p_equal_subproof.con.xml.gz	2004-04-08 15:31	736
	sg_ind.con.body.xml.gz	2004-04-08 15:30	75K
	sg_ind.con.types.xml.gz	2004-04-08 15:30	68K
	sg_ind.con.xml.gz	2004-04-08 15:30	33K