Index of /xml/Nijmegen/QArith/Qhomographic_Qpositive_to_Q_properties

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]INDEX2005-07-05 08:11 2.4K 
[ ]Qhomographic_Qpositive_to_Q_equal.con.types.xml.gz2004-04-08 15:31 95K 
[ ]Qhomographic_Qpositive_to_Q_equal.con.body.xml.gz2004-04-08 15:31 54K 
[ ]Qhomographic_Qpositive_to_Q_equal.con.xml.gz2004-04-08 15:31 746  
[ ]new_p_equal_subproof.con.xml.gz2004-04-08 15:31 736  
[ ]new_p_equal_subproof.con.types.xml.gz2004-04-08 15:31 2.1K 
[ ]new_p_equal_subproof.con.body.xml.gz2004-04-08 15:31 1.8K 
[ ]new_p_equal.con.xml.gz2004-04-08 15:31 714  
[ ]new_p_equal.con.types.xml.gz2004-04-08 15:31 232  
[ ]new_p_equal.con.body.xml.gz2004-04-08 15:31 280  
[ ]new_d_equal_subproof.con.xml.gz2004-04-08 15:31 735  
[ ]new_d_equal_subproof.con.types.xml.gz2004-04-08 15:31 4.3K 
[ ]new_d_equal_subproof.con.body.xml.gz2004-04-08 15:31 4.0K 
[ ]new_d_equal.con.xml.gz2004-04-08 15:31 714  
[ ]new_d_equal.con.types.xml.gz2004-04-08 15:31 232  
[ ]new_d_equal.con.body.xml.gz2004-04-08 15:31 280  
[ ]new_c_equal_subproof.con.types.xml.gz2004-04-08 15:31 4.3K 
[ ]new_c_equal.con.xml.gz2004-04-08 15:31 714  
[ ]new_c_equal.con.types.xml.gz2004-04-08 15:31 232  
[ ]new_c_equal.con.body.xml.gz2004-04-08 15:31 280  
[ ]new_c_equal_subproof.con.xml.gz2004-04-08 15:31 735  
[ ]new_c_equal_subproof.con.body.xml.gz2004-04-08 15:31 4.0K 
[ ]new_b_equal_subproof.con.xml.gz2004-04-08 15:31 732  
[ ]new_b_equal_subproof.con.types.xml.gz2004-04-08 15:31 3.5K 
[ ]new_b_equal_subproof.con.body.xml.gz2004-04-08 15:31 3.2K 
[ ]new_b_equal.con.xml.gz2004-04-08 15:31 714  
[ ]new_b_equal.con.types.xml.gz2004-04-08 15:31 232  
[ ]new_b_equal.con.body.xml.gz2004-04-08 15:31 281  
[ ]new_a_equal_subproof.con.xml.gz2004-04-08 15:31 735  
[ ]new_a_equal_subproof.con.types.xml.gz2004-04-08 15:31 2.7K 
[ ]new_a_equal_subproof.con.body.xml.gz2004-04-08 15:31 2.4K 
[ ]new_a_equal.con.xml.gz2004-04-08 15:31 714  
[ ]new_a_equal.con.types.xml.gz2004-04-08 15:31 232  
[ ]new_a_equal.con.body.xml.gz2004-04-08 15:31 280  
[ ]h_sign_equal_subproof.con.xml.gz2004-04-08 15:31 731  
[ ]h_sign_equal_subproof.con.types.xml.gz2004-04-08 15:31 1.5K 
[ ]h_sign_equal_subproof.con.body.xml.gz2004-04-08 15:31 1.1K 
[ ]h_sign_equal.con.xml.gz2004-04-08 15:31 708  
[ ]h_sign_equal.con.types.xml.gz2004-04-08 15:31 233  
[ ]h_sign_equal.con.body.xml.gz2004-04-08 15:31 281  
[ ]Qhomographic_Qpositive_to_Q_6_subproof.con.types.xml.gz2004-04-08 15:31 76K 
[ ]Qhomographic_Qpositive_to_Q_6_subproof.con.body.xml.gz2004-04-08 15:31 49K 
[ ]Qhomographic_Qpositive_to_Q_6.con.xml.gz2004-04-08 15:31 1.7K 
[ ]Qhomographic_Qpositive_to_Q_6.con.types.xml.gz2004-04-08 15:31 5.3K 
[ ]Qhomographic_Qpositive_to_Q_6.con.body.xml.gz2004-04-08 15:31 652  
[ ]Qhomographic_Qpositive_to_Q_6_subproof.con.xml.gz2004-04-08 15:31 2.0K 
[ ]Qhomographic_Qpositive_to_Q_5.con.xml.gz2004-04-08 15:31 1.7K 
[ ]Qhomographic_Qpositive_to_Q_5.con.types.xml.gz2004-04-08 15:31 5.4K 
[ ]Qhomographic_Qpositive_to_Q_5.con.body.xml.gz2004-04-08 15:31 651  
[ ]Qhomographic_Qpositive_to_Q_5_subproof.con.xml.gz2004-04-08 15:31 2.1K 
[ ]Qhomographic_Qpositive_to_Q_5_subproof.con.types.xml.gz2004-04-08 15:31 77K 
[ ]Qhomographic_Qpositive_to_Q_5_subproof.con.body.xml.gz2004-04-08 15:31 49K 
[ ]Qhomographic_Qpositive_to_Q_4_subproof.con.types.xml.gz2004-04-08 15:31 78K 
[ ]Qhomographic_Qpositive_to_Q_4.con.xml.gz2004-04-08 15:31 1.8K 
[ ]Qhomographic_Qpositive_to_Q_4.con.types.xml.gz2004-04-08 15:31 5.2K 
[ ]Qhomographic_Qpositive_to_Q_4.con.body.xml.gz2004-04-08 15:31 653  
[ ]Qhomographic_Qpositive_to_Q_4_subproof.con.xml.gz2004-04-08 15:30 2.1K 
[ ]Qhomographic_Qpositive_to_Q_4_subproof.con.body.xml.gz2004-04-08 15:30 51K 
[ ]Qhomographic_Qpositive_to_Q_3_subproof.con.xml.gz2004-04-08 15:30 2.0K 
[ ]Qhomographic_Qpositive_to_Q_3_subproof.con.types.xml.gz2004-04-08 15:30 78K 
[ ]Qhomographic_Qpositive_to_Q_3_subproof.con.body.xml.gz2004-04-08 15:30 50K 
[ ]Qhomographic_Qpositive_to_Q_3.con.xml.gz2004-04-08 15:30 1.6K 
[ ]Qhomographic_Qpositive_to_Q_3.con.types.xml.gz2004-04-08 15:30 5.0K 
[ ]Qhomographic_Qpositive_to_Q_3.con.body.xml.gz2004-04-08 15:30 651  
[ ]Qhomographic_Qpositive_to_Q_2_subproof.con.xml.gz2004-04-08 15:30 1.2K 
[ ]Qhomographic_Qpositive_to_Q_2_subproof.con.types.xml.gz2004-04-08 15:30 54K 
[ ]Qhomographic_Qpositive_to_Q_2_subproof.con.body.xml.gz2004-04-08 15:30 38K 
[ ]Qhomographic_Qpositive_to_Q_2.con.xml.gz2004-04-08 15:30 879  
[ ]Qhomographic_Qpositive_to_Q_2.con.types.xml.gz2004-04-08 15:30 2.2K 
[ ]Qhomographic_Qpositive_to_Q_2.con.body.xml.gz2004-04-08 15:30 635  
[ ]Qhomographic_Qpositive_to_Q_1_subproof.con.types.xml.gz2004-04-08 15:30 37K 
[ ]Qhomographic_Qpositive_to_Q_1.con.xml.gz2004-04-08 15:30 870  
[ ]Qhomographic_Qpositive_to_Q_1.con.types.xml.gz2004-04-08 15:30 2.1K 
[ ]Qhomographic_Qpositive_to_Q_1.con.body.xml.gz2004-04-08 15:30 635  
[ ]Qhomographic_Qpositive_to_Q_1_subproof.con.xml.gz2004-04-08 15:30 1.1K 
[ ]Qhomographic_Qpositive_to_Q_1_subproof.con.body.xml.gz2004-04-08 15:30 27K 
[ ]Qhomographic_Qpositive_to_Q_0_subproof.con.xml.gz2004-04-08 15:30 1.2K 
[ ]Qhomographic_Qpositive_to_Q_0_subproof.con.types.xml.gz2004-04-08 15:30 38K 
[ ]Qhomographic_Qpositive_to_Q_0_subproof.con.body.xml.gz2004-04-08 15:30 28K 
[ ]Qhomographic_Qpositive_to_Q_0.con.xml.gz2004-04-08 15:30 911  
[ ]Qhomographic_Qpositive_to_Q_0.con.types.xml.gz2004-04-08 15:30 2.2K 
[ ]Qhomographic_Qpositive_to_Q_0.con.body.xml.gz2004-04-08 15:30 641  
[ ]Qhomographic_Qpositive_to_Q_ind.con.xml.gz2004-04-08 15:30 15K 
[ ]Qhomographic_Qpositive_to_Q_ind.con.types.xml.gz2004-04-08 15:30 30K 
[ ]Qhomographic_Qpositive_to_Q_ind.con.body.xml.gz2004-04-08 15:30 32K 
[ ]sg_ind.con.xml.gz2004-04-08 15:30 33K 
[ ]sg_ind.con.types.xml.gz2004-04-08 15:30 68K 
[ ]sg_ind.con.body.xml.gz2004-04-08 15:30 75K 
[ ]fraction_encoding_equal_subproof.con.xml.gz2004-04-08 15:30 676  
[ ]fraction_encoding_equal_subproof.con.types.xml.gz2004-04-08 15:30 122K 
[ ]fraction_encoding_equal_subproof.con.body.xml.gz2004-04-08 15:30 39K 
[ ]fraction_encoding_equal.con.xml.gz2004-04-08 15:30 658  
[ ]fraction_encoding_equal.con.types.xml.gz2004-04-08 15:30 841  
[ ]fraction_encoding_equal.con.body.xml.gz2004-04-08 15:30 586  
Apache/2.4.61 (Debian) Server at mowgli.cs.unibo.it Port 80