Index of /xml/Nijmegen/QArith/homographic_correctness

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]INDEX2005-07-05 08:11 15K 
[ ]Qhomographic_Qpositive_to_Q_ind.con.body.xml.gz2004-04-08 15:52 32K 
[ ]Qhomographic_Qpositive_to_Q_ind.con.types.xml.gz2004-04-08 15:52 30K 
[ ]Qhomographic_Qpositive_to_Q_ind.con.xml.gz2004-04-08 15:52 15K 
[ ]Qhomographic_denom_nonzero_correct_1.con.body.xml.gz2004-04-08 15:52 305  
[ ]Qhomographic_denom_nonzero_correct_1.con.types.xml.gz2004-04-08 15:52 253  
[ ]Qhomographic_denom_nonzero_correct_1.con.xml.gz2004-04-08 15:52 687  
[ ]Qhomographic_denom_nonzero_correct_1_subproof.con.body.xml.gz2004-04-08 15:52 3.5K 
[ ]Qhomographic_denom_nonzero_correct_1_subproof.con.types.xml.gz2004-04-08 15:52 3.9K 
[ ]Qhomographic_denom_nonzero_correct_1_subproof.con.xml.gz2004-04-08 15:52 706  
[ ]Qhomographic_denom_nonzero_correct_1_subproof_subproof.con.body.xml.gz2004-04-08 15:52 1.5K 
[ ]Qhomographic_denom_nonzero_correct_1_subproof_subproof.con.types.xml.gz2004-04-08 15:52 1.9K 
[ ]Qhomographic_denom_nonzero_correct_1_subproof_subproof.con.xml.gz2004-04-08 15:52 782  
[ ]Qhomographic_denom_nonzero_correct_1_subproof_subproof0.con.body.xml.gz2004-04-08 15:52 2.9K 
[ ]Qhomographic_denom_nonzero_correct_1_subproof_subproof0.con.types.xml.gz2004-04-08 15:52 3.5K 
[ ]Qhomographic_denom_nonzero_correct_1_subproof_subproof0.con.xml.gz2004-04-08 15:52 1.0K 
[ ]Qhomographic_denom_nonzero_correct_2.con.body.xml.gz2004-04-08 15:52 305  
[ ]Qhomographic_denom_nonzero_correct_2.con.types.xml.gz2004-04-08 15:52 254  
[ ]Qhomographic_denom_nonzero_correct_2.con.xml.gz2004-04-08 15:52 677  
[ ]Qhomographic_denom_nonzero_correct_2_subproof.con.body.xml.gz2004-04-08 15:52 3.8K 
[ ]Qhomographic_denom_nonzero_correct_2_subproof.con.types.xml.gz2004-04-08 15:52 3.6K 
[ ]Qhomographic_denom_nonzero_correct_2_subproof.con.xml.gz2004-04-08 15:52 696  
[ ]Qhomographic_denom_nonzero_correct_2_subproof_subproof.con.body.xml.gz2004-04-08 15:52 1.0K 
[ ]Qhomographic_denom_nonzero_correct_2_subproof_subproof.con.types.xml.gz2004-04-08 15:52 1.4K 
[ ]Qhomographic_denom_nonzero_correct_2_subproof_subproof.con.xml.gz2004-04-08 15:52 684  
[ ]Qhomographic_denom_nonzero_correct_2_subproof_subproof0.con.body.xml.gz2004-04-08 15:52 2.7K 
[ ]Qhomographic_denom_nonzero_correct_2_subproof_subproof0.con.types.xml.gz2004-04-08 15:52 3.3K 
[ ]Qhomographic_denom_nonzero_correct_2_subproof_subproof0.con.xml.gz2004-04-08 15:52 835  
[ ]Qhomographic_sg_denom_nonzero_correct_1.con.body.xml.gz2004-04-08 15:52 5.2K 
[ ]Qhomographic_sg_denom_nonzero_correct_1.con.types.xml.gz2004-04-08 15:52 5.6K 
[ ]Qhomographic_sg_denom_nonzero_correct_1.con.xml.gz2004-04-08 15:52 713  
[ ]Qhomographic_sg_denom_nonzero_correct_1_subproof.con.body.xml.gz2004-04-08 15:52 3.5K 
[ ]Qhomographic_sg_denom_nonzero_correct_1_subproof.con.types.xml.gz2004-04-08 15:52 4.7K 
[ ]Qhomographic_sg_denom_nonzero_correct_1_subproof.con.xml.gz2004-04-08 15:52 1.0K 
[ ]Qhomographic_sg_denom_nonzero_correct_1_subproof0.con.body.xml.gz2004-04-08 15:52 1.4K 
[ ]Qhomographic_sg_denom_nonzero_correct_1_subproof0.con.types.xml.gz2004-04-08 15:52 1.4K 
[ ]Qhomographic_sg_denom_nonzero_correct_1_subproof0.con.xml.gz2004-04-08 15:52 884  
[ ]Qhomographic_sg_denom_nonzero_correct_1_subproof1.con.body.xml.gz2004-04-08 15:52 175K 
[ ]Qhomographic_sg_denom_nonzero_correct_1_subproof1.con.types.xml.gz2004-04-08 15:52 777K 
[ ]Qhomographic_sg_denom_nonzero_correct_1_subproof1.con.xml.gz2004-04-08 15:52 1.1K 
[ ]Qhomographic_sg_denom_nonzero_correct_2.con.body.xml.gz2004-04-08 15:52 6.7K 
[ ]Qhomographic_sg_denom_nonzero_correct_2.con.types.xml.gz2004-04-08 15:52 7.6K 
[ ]Qhomographic_sg_denom_nonzero_correct_2.con.xml.gz2004-04-08 15:52 721  
[ ]Qhomographic_sg_denom_nonzero_correct_2_subproof.con.body.xml.gz2004-04-08 15:52 3.7K 
[ ]Qhomographic_sg_denom_nonzero_correct_2_subproof.con.types.xml.gz2004-04-08 15:52 4.8K 
[ ]Qhomographic_sg_denom_nonzero_correct_2_subproof.con.xml.gz2004-04-08 15:52 1.2K 
[ ]Qhomographic_sg_denom_nonzero_correct_2_subproof0.con.body.xml.gz2004-04-08 15:52 175K 
[ ]Qhomographic_sg_denom_nonzero_correct_2_subproof0.con.types.xml.gz2004-04-08 15:52 777K 
[ ]Qhomographic_sg_denom_nonzero_correct_2_subproof0.con.xml.gz2004-04-08 15:52 1.4K 
[ ]a_field_equality_1.con.body.xml.gz2004-04-08 15:52 283  
[ ]a_field_equality_1.con.types.xml.gz2004-04-08 15:52 234  
[ ]a_field_equality_1.con.xml.gz2004-04-08 15:52 890  
[ ]a_field_equality_1_subproof.con.body.xml.gz2004-04-08 15:52 2.4K 
[ ]a_field_equality_1_subproof.con.types.xml.gz2004-04-08 15:52 2.3K 
[ ]a_field_equality_1_subproof.con.xml.gz2004-04-08 15:52 914  
[ ]a_field_equality_1_subproof_subproof.con.body.xml.gz2004-04-08 15:52 3.6K 
[ ]a_field_equality_1_subproof_subproof.con.types.xml.gz2004-04-08 15:52 4.7K 
[ ]a_field_equality_1_subproof_subproof.con.xml.gz2004-04-08 15:52 902  
[ ]a_field_equality_1_subproof_subproof0.con.body.xml.gz2004-04-08 15:52 22K 
[ ]a_field_equality_1_subproof_subproof0.con.types.xml.gz2004-04-08 15:52 37K 
[ ]a_field_equality_1_subproof_subproof0.con.xml.gz2004-04-08 15:52 1.0K 
[ ]coding.con.body.xml.gz2004-04-08 15:31 26K 
[ ]coding.con.types.xml.gz2004-04-08 15:31 28K 
[ ]coding.con.xml.gz2004-04-08 15:31 635  
[ ]coding_Q.con.body.xml.gz2004-04-08 15:31 100K 
[ ]coding_Q.con.types.xml.gz2004-04-08 15:31 250K 
[ ]coding_Q.con.xml.gz2004-04-08 15:31 608  
[ ]coding_Q_subproof.con.body.xml.gz2004-04-08 15:31 1.6K 
[ ]coding_Q_subproof.con.types.xml.gz2004-04-08 15:31 3.4K 
[ ]coding_Q_subproof.con.xml.gz2004-04-08 15:31 1.2K 
[ ]coding_Q_subproof0.con.body.xml.gz2004-04-08 15:31 1.2K 
[ ]coding_Q_subproof0.con.types.xml.gz2004-04-08 15:31 2.6K 
[ ]coding_Q_subproof0.con.xml.gz2004-04-08 15:31 1.1K 
[ ]coding_Q_subproof1.con.body.xml.gz2004-04-08 15:31 1.3K 
[ ]coding_Q_subproof1.con.types.xml.gz2004-04-08 15:31 2.9K 
[ ]coding_Q_subproof1.con.xml.gz2004-04-08 15:31 1.2K 
[ ]coding_Q_subproof2.con.body.xml.gz2004-04-08 15:31 1.4K 
[ ]coding_Q_subproof2.con.types.xml.gz2004-04-08 15:31 3.2K 
[ ]coding_Q_subproof2.con.xml.gz2004-04-08 15:31 1.2K 
[ ]coding_Q_subproof3.con.body.xml.gz2004-04-08 15:31 1.2K 
[ ]coding_Q_subproof3.con.types.xml.gz2004-04-08 15:31 2.9K 
[ ]coding_Q_subproof3.con.xml.gz2004-04-08 15:31 1.1K 
[ ]coding_Q_subproof4.con.body.xml.gz2004-04-08 15:31 1.4K 
[ ]coding_Q_subproof4.con.types.xml.gz2004-04-08 15:31 3.2K 
[ ]coding_Q_subproof4.con.xml.gz2004-04-08 15:31 1.2K 
[ ]coding_Q_subproof_subproof.con.body.xml.gz2004-04-08 15:31 4.8K 
[ ]coding_Q_subproof_subproof.con.types.xml.gz2004-04-08 15:31 5.2K 
[ ]coding_Q_subproof_subproof.con.xml.gz2004-04-08 15:31 1.2K 
[ ]coding_Q_subproof_subproof0.con.body.xml.gz2004-04-08 15:31 4.8K 
[ ]coding_Q_subproof_subproof0.con.types.xml.gz2004-04-08 15:31 5.2K 
[ ]coding_Q_subproof_subproof0.con.xml.gz2004-04-08 15:31 1.2K 
[ ]coding_subproof.con.body.xml.gz2004-04-08 15:31 4.3K 
[ ]coding_subproof.con.types.xml.gz2004-04-08 15:31 3.8K 
[ ]coding_subproof.con.xml.gz2004-04-08 15:31 1.3K 
[ ]coding_subproof0.con.body.xml.gz2004-04-08 15:31 3.8K 
[ ]coding_subproof0.con.types.xml.gz2004-04-08 15:31 3.2K 
[ ]coding_subproof0.con.xml.gz2004-04-08 15:31 1.2K 
[ ]coding_subproof1.con.body.xml.gz2004-04-08 15:31 3.8K 
[ ]coding_subproof1.con.types.xml.gz2004-04-08 15:31 3.2K 
[ ]coding_subproof1.con.xml.gz2004-04-08 15:31 1.2K 
[ ]coding_subproof2.con.body.xml.gz2004-04-08 15:31 6.2K 
[ ]coding_subproof2.con.types.xml.gz2004-04-08 15:31 5.3K 
[ ]coding_subproof2.con.xml.gz2004-04-08 15:31 1.2K 
[ ]coding_subproof3.con.body.xml.gz2004-04-08 15:31 7.2K 
[ ]coding_subproof3.con.types.xml.gz2004-04-08 15:31 5.9K 
[ ]coding_subproof3.con.xml.gz2004-04-08 15:31 1.3K 
[ ]coding_subproof4.con.body.xml.gz2004-04-08 15:31 11K 
[ ]coding_subproof4.con.types.xml.gz2004-04-08 15:31 10K 
[ ]coding_subproof4.con.xml.gz2004-04-08 15:31 1.3K 
[ ]coding_subproof5.con.body.xml.gz2004-04-08 15:31 11K 
[ ]coding_subproof5.con.types.xml.gz2004-04-08 15:31 9.2K 
[ ]coding_subproof5.con.xml.gz2004-04-08 15:31 1.3K 
[ ]coding_subproof6.con.body.xml.gz2004-04-08 15:31 3.8K 
[ ]coding_subproof6.con.types.xml.gz2004-04-08 15:31 3.2K 
[ ]coding_subproof6.con.xml.gz2004-04-08 15:31 1.2K 
[ ]coding_subproof7.con.body.xml.gz2004-04-08 15:31 3.8K 
[ ]coding_subproof7.con.types.xml.gz2004-04-08 15:31 3.2K 
[ ]coding_subproof7.con.xml.gz2004-04-08 15:31 1.2K 
[ ]coding_subproof8.con.body.xml.gz2004-04-08 15:31 5.5K 
[ ]coding_subproof8.con.types.xml.gz2004-04-08 15:31 4.5K 
[ ]coding_subproof8.con.xml.gz2004-04-08 15:31 1.2K 
[ ]coding_subproof9.con.body.xml.gz2004-04-08 15:31 4.3K 
[ ]coding_subproof9.con.types.xml.gz2004-04-08 15:31 3.9K 
[ ]coding_subproof9.con.xml.gz2004-04-08 15:31 1.3K 
[ ]coding_subproof10.con.body.xml.gz2004-04-08 15:31 3.8K 
[ ]coding_subproof10.con.types.xml.gz2004-04-08 15:31 3.2K 
[ ]coding_subproof10.con.xml.gz2004-04-08 15:31 1.2K 
[ ]coding_subproof11.con.body.xml.gz2004-04-08 15:31 6.7K 
[ ]coding_subproof11.con.types.xml.gz2004-04-08 15:31 5.6K 
[ ]coding_subproof11.con.xml.gz2004-04-08 15:31 1.3K 
[ ]coding_subproof12.con.body.xml.gz2004-04-08 15:31 3.8K 
[ ]coding_subproof12.con.types.xml.gz2004-04-08 15:31 3.2K 
[ ]coding_subproof12.con.xml.gz2004-04-08 15:31 1.2K 
[ ]coding_subproof13.con.body.xml.gz2004-04-08 15:31 7.4K 
[ ]coding_subproof13.con.types.xml.gz2004-04-08 15:31 5.9K 
[ ]coding_subproof13.con.xml.gz2004-04-08 15:31 1.3K 
[ ]coding_subproof14.con.body.xml.gz2004-04-08 15:31 8.3K 
[ ]coding_subproof14.con.types.xml.gz2004-04-08 15:31 7.3K 
[ ]coding_subproof14.con.xml.gz2004-04-08 15:31 1.3K 
[ ]coding_subproof15.con.body.xml.gz2004-04-08 15:31 11K 
[ ]coding_subproof15.con.types.xml.gz2004-04-08 15:31 9.4K 
[ ]coding_subproof15.con.xml.gz2004-04-08 15:31 1.3K 
[ ]coding_subproof16.con.body.xml.gz2004-04-08 15:31 3.8K 
[ ]coding_subproof16.con.types.xml.gz2004-04-08 15:31 3.2K 
[ ]coding_subproof16.con.xml.gz2004-04-08 15:31 1.2K 
[ ]coding_subproof17.con.body.xml.gz2004-04-08 15:31 3.8K 
[ ]coding_subproof17.con.types.xml.gz2004-04-08 15:31 3.2K 
[ ]coding_subproof17.con.xml.gz2004-04-08 15:31 1.2K 
[ ]coding_subproof18.con.body.xml.gz2004-04-08 15:31 5.6K 
[ ]coding_subproof18.con.types.xml.gz2004-04-08 15:31 4.6K 
[ ]coding_subproof18.con.xml.gz2004-04-08 15:31 1.2K 
[ ]homographicAcc_positive.con.body.xml.gz2004-04-08 15:51 19K 
[ ]homographicAcc_positive.con.types.xml.gz2004-04-08 15:51 18K 
[ ]homographicAcc_positive.con.xml.gz2004-04-08 15:51 810  
[ ]homographicAcc_positive_denominator.con.body.xml.gz2004-04-08 15:51 1.3K 
[ ]homographicAcc_positive_denominator.con.types.xml.gz2004-04-08 15:51 1.4K 
[ ]homographicAcc_positive_denominator.con.xml.gz2004-04-08 15:51 704  
[ ]homographicAcc_positive_numerator.con.body.xml.gz2004-04-08 15:51 1.3K 
[ ]homographicAcc_positive_numerator.con.types.xml.gz2004-04-08 15:51 1.4K 
[ ]homographicAcc_positive_numerator.con.xml.gz2004-04-08 15:51 702  
[ ]homographicAcc_positive_subproof.con.body.xml.gz2004-04-08 15:51 1.2K 
[ ]homographicAcc_positive_subproof.con.types.xml.gz2004-04-08 15:51 1.2K 
[ ]homographicAcc_positive_subproof.con.xml.gz2004-04-08 15:51 1.1K 
[ ]homographicAcc_positive_subproof0.con.body.xml.gz2004-04-08 15:51 1.2K 
[ ]homographicAcc_positive_subproof0.con.types.xml.gz2004-04-08 15:51 1.2K 
[ ]homographicAcc_positive_subproof0.con.xml.gz2004-04-08 15:51 1.1K 
[ ]homographicAcc_positive_subproof0_subproof.con.body.xml.gz2004-04-08 15:51 3.7K 
[ ]homographicAcc_positive_subproof0_subproof.con.types.xml.gz2004-04-08 15:51 3.5K 
[ ]homographicAcc_positive_subproof0_subproof.con.xml.gz2004-04-08 15:51 1.1K 
[ ]homographicAcc_positive_subproof1.con.body.xml.gz2004-04-08 15:51 5.4K 
[ ]homographicAcc_positive_subproof1.con.types.xml.gz2004-04-08 15:51 7.3K 
[ ]homographicAcc_positive_subproof1.con.xml.gz2004-04-08 15:51 1.4K 
[ ]homographicAcc_positive_subproof2.con.body.xml.gz2004-04-08 15:51 1.3K 
[ ]homographicAcc_positive_subproof2.con.types.xml.gz2004-04-08 15:51 1.3K 
[ ]homographicAcc_positive_subproof2.con.xml.gz2004-04-08 15:51 1.2K 
[ ]homographicAcc_positive_subproof2_subproof.con.body.xml.gz2004-04-08 15:51 4.2K 
[ ]homographicAcc_positive_subproof2_subproof.con.types.xml.gz2004-04-08 15:51 3.8K 
[ ]homographicAcc_positive_subproof2_subproof.con.xml.gz2004-04-08 15:51 1.2K 
[ ]homographicAcc_positive_subproof3.con.body.xml.gz2004-04-08 15:51 1.3K 
[ ]homographicAcc_positive_subproof3.con.types.xml.gz2004-04-08 15:51 1.3K 
[ ]homographicAcc_positive_subproof3.con.xml.gz2004-04-08 15:51 1.2K 
[ ]homographicAcc_positive_subproof3_subproof.con.body.xml.gz2004-04-08 15:51 4.2K 
[ ]homographicAcc_positive_subproof3_subproof.con.types.xml.gz2004-04-08 15:51 3.8K 
[ ]homographicAcc_positive_subproof3_subproof.con.xml.gz2004-04-08 15:51 1.2K 
[ ]homographicAcc_positive_subproof4.con.body.xml.gz2004-04-08 15:51 5.4K 
[ ]homographicAcc_positive_subproof4.con.types.xml.gz2004-04-08 15:51 7.5K 
[ ]homographicAcc_positive_subproof4.con.xml.gz2004-04-08 15:51 1.5K 
[ ]homographicAcc_positive_subproof5.con.body.xml.gz2004-04-08 15:51 1.5K 
[ ]homographicAcc_positive_subproof5.con.types.xml.gz2004-04-08 15:51 1.6K 
[ ]homographicAcc_positive_subproof5.con.xml.gz2004-04-08 15:51 1.1K 
[ ]homographicAcc_positive_subproof6.con.body.xml.gz2004-04-08 15:51 1.5K 
[ ]homographicAcc_positive_subproof6.con.types.xml.gz2004-04-08 15:51 1.6K 
[ ]homographicAcc_positive_subproof6.con.xml.gz2004-04-08 15:51 1.1K 
[ ]homographicAcc_positive_subproof_subproof.con.body.xml.gz2004-04-08 15:51 3.7K 
[ ]homographicAcc_positive_subproof_subproof.con.types.xml.gz2004-04-08 15:51 3.4K 
[ ]homographicAcc_positive_subproof_subproof.con.xml.gz2004-04-08 15:51 1.1K 
[ ]homographic_sign.con.body.xml.gz2004-04-08 15:51 1.1M 
[ ]homographic_sign.con.types.xml.gz2004-04-08 15:51 2.6M 
[ ]homographic_sign.con.xml.gz2004-04-08 15:51 722  
[ ]homographic_sign_subproof.con.body.xml.gz2004-04-08 15:48 3.0K 
[ ]homographic_sign_subproof.con.types.xml.gz2004-04-08 15:48 4.0K 
[ ]homographic_sign_subproof.con.xml.gz2004-04-08 15:48 859  
[ ]homographic_sign_subproof0.con.body.xml.gz2004-04-08 15:49 1.1K 
[ ]homographic_sign_subproof0.con.types.xml.gz2004-04-08 15:49 1.1K 
[ ]homographic_sign_subproof0.con.xml.gz2004-04-08 15:49 1.0K 
[ ]homographic_sign_subproof0_subproof.con.body.xml.gz2004-04-08 15:49 4.0K 
[ ]homographic_sign_subproof0_subproof.con.types.xml.gz2004-04-08 15:49 3.9K 
[ ]homographic_sign_subproof0_subproof.con.xml.gz2004-04-08 15:49 1.0K 
[ ]homographic_sign_subproof1.con.body.xml.gz2004-04-08 15:49 1.2K 
[ ]homographic_sign_subproof1.con.types.xml.gz2004-04-08 15:49 1.1K 
[ ]homographic_sign_subproof1.con.xml.gz2004-04-08 15:49 959  
[ ]homographic_sign_subproof1_subproof.con.body.xml.gz2004-04-08 15:49 3.8K 
[ ]homographic_sign_subproof1_subproof.con.types.xml.gz2004-04-08 15:49 3.1K 
[ ]homographic_sign_subproof1_subproof.con.xml.gz2004-04-08 15:49 918  
[ ]homographic_sign_subproof2.con.body.xml.gz2004-04-08 15:49 1.2K 
[ ]homographic_sign_subproof2.con.types.xml.gz2004-04-08 15:49 1.2K 
[ ]homographic_sign_subproof2.con.xml.gz2004-04-08 15:49 1.1K 
[ ]homographic_sign_subproof2_subproof.con.body.xml.gz2004-04-08 15:49 4.9K 
[ ]homographic_sign_subproof2_subproof.con.types.xml.gz2004-04-08 15:49 4.5K 
[ ]homographic_sign_subproof2_subproof.con.xml.gz2004-04-08 15:49 1.1K 
[ ]homographic_sign_subproof3.con.body.xml.gz2004-04-08 15:49 1.1K 
[ ]homographic_sign_subproof3.con.types.xml.gz2004-04-08 15:49 1.1K 
[ ]homographic_sign_subproof3.con.xml.gz2004-04-08 15:49 1.0K 
[ ]homographic_sign_subproof4.con.body.xml.gz2004-04-08 15:49 1.1K 
[ ]homographic_sign_subproof4.con.types.xml.gz2004-04-08 15:49 1.1K 
[ ]homographic_sign_subproof4.con.xml.gz2004-04-08 15:49 1.0K 
[ ]homographic_sign_subproof4_subproof.con.body.xml.gz2004-04-08 15:49 4.3K 
[ ]homographic_sign_subproof4_subproof.con.types.xml.gz2004-04-08 15:49 4.0K 
[ ]homographic_sign_subproof4_subproof.con.xml.gz2004-04-08 15:49 1.0K 
[ ]homographic_sign_subproof5.con.body.xml.gz2004-04-08 15:49 1.2K 
[ ]homographic_sign_subproof5.con.types.xml.gz2004-04-08 15:49 1.1K 
[ ]homographic_sign_subproof5.con.xml.gz2004-04-08 15:49 965  
[ ]homographic_sign_subproof5_subproof.con.body.xml.gz2004-04-08 15:49 3.8K 
[ ]homographic_sign_subproof5_subproof.con.types.xml.gz2004-04-08 15:49 3.1K 
[ ]homographic_sign_subproof5_subproof.con.xml.gz2004-04-08 15:49 931  
[ ]homographic_sign_subproof6.con.body.xml.gz2004-04-08 15:49 2.9K 
[ ]homographic_sign_subproof6.con.types.xml.gz2004-04-08 15:49 3.5K 
[ ]homographic_sign_subproof6.con.xml.gz2004-04-08 15:49 967  
[ ]homographic_sign_subproof7.con.body.xml.gz2004-04-08 15:49 1.2K 
[ ]homographic_sign_subproof7.con.types.xml.gz2004-04-08 15:49 1.2K 
[ ]homographic_sign_subproof7.con.xml.gz2004-04-08 15:49 1.1K 
[ ]homographic_sign_subproof7_subproof.con.body.xml.gz2004-04-08 15:49 5.1K 
[ ]homographic_sign_subproof7_subproof.con.types.xml.gz2004-04-08 15:49 4.7K 
[ ]homographic_sign_subproof7_subproof.con.xml.gz2004-04-08 15:49 1.1K 
[ ]homographic_sign_subproof8.con.body.xml.gz2004-04-08 15:49 1.1K 
[ ]homographic_sign_subproof8.con.types.xml.gz2004-04-08 15:49 1.1K 
[ ]homographic_sign_subproof8.con.xml.gz2004-04-08 15:49 1.0K 
[ ]homographic_sign_subproof9.con.body.xml.gz2004-04-08 15:49 3.0K 
[ ]homographic_sign_subproof9.con.types.xml.gz2004-04-08 15:49 3.6K 
[ ]homographic_sign_subproof9.con.xml.gz2004-04-08 15:49 1.0K 
[ ]homographic_sign_subproof10.con.body.xml.gz2004-04-08 15:49 1.1K 
[ ]homographic_sign_subproof10.con.types.xml.gz2004-04-08 15:49 1.2K 
[ ]homographic_sign_subproof10.con.xml.gz2004-04-08 15:49 1.0K 
[ ]homographic_sign_subproof11.con.body.xml.gz2004-04-08 15:49 1.2K 
[ ]homographic_sign_subproof11.con.types.xml.gz2004-04-08 15:49 1.1K 
[ ]homographic_sign_subproof11.con.xml.gz2004-04-08 15:49 1.0K 
[ ]homographic_sign_subproof11_subproof.con.body.xml.gz2004-04-08 15:49 3.5K 
[ ]homographic_sign_subproof11_subproof.con.types.xml.gz2004-04-08 15:49 2.9K 
[ ]homographic_sign_subproof11_subproof.con.xml.gz2004-04-08 15:49 1.0K 
[ ]homographic_sign_subproof12.con.body.xml.gz2004-04-08 15:49 1.2K 
[ ]homographic_sign_subproof12.con.types.xml.gz2004-04-08 15:49 1.1K 
[ ]homographic_sign_subproof12.con.xml.gz2004-04-08 15:49 1.0K 
[ ]homographic_sign_subproof12_subproof.con.body.xml.gz2004-04-08 15:49 3.5K 
[ ]homographic_sign_subproof12_subproof.con.types.xml.gz2004-04-08 15:49 2.9K 
[ ]homographic_sign_subproof12_subproof.con.xml.gz2004-04-08 15:49 1.0K 
[ ]homographic_sign_subproof13.con.body.xml.gz2004-04-08 15:49 1.1K 
[ ]homographic_sign_subproof13.con.types.xml.gz2004-04-08 15:49 1.2K 
[ ]homographic_sign_subproof13.con.xml.gz2004-04-08 15:49 1.0K 
[ ]homographic_sign_subproof14.con.body.xml.gz2004-04-08 15:49 1.1K 
[ ]homographic_sign_subproof14.con.types.xml.gz2004-04-08 15:49 1.1K 
[ ]homographic_sign_subproof14.con.xml.gz2004-04-08 15:49 1.0K 
[ ]homographic_sign_subproof15.con.body.xml.gz2004-04-08 15:49 1.1K 
[ ]homographic_sign_subproof15.con.types.xml.gz2004-04-08 15:49 1.1K 
[ ]homographic_sign_subproof15.con.xml.gz2004-04-08 15:49 1.0K 
[ ]homographic_sign_subproof16.con.body.xml.gz2004-04-08 15:49 1.1K 
[ ]homographic_sign_subproof16.con.types.xml.gz2004-04-08 15:49 1.2K 
[ ]homographic_sign_subproof16.con.xml.gz2004-04-08 15:49 1.0K 
[ ]homographic_sign_subproof17.con.body.xml.gz2004-04-08 15:49 1.1K 
[ ]homographic_sign_subproof17.con.types.xml.gz2004-04-08 15:49 1.1K 
[ ]homographic_sign_subproof17.con.xml.gz2004-04-08 15:49 1.0K 
[ ]homographic_sign_subproof18.con.body.xml.gz2004-04-08 15:49 1.2K 
[ ]homographic_sign_subproof18.con.types.xml.gz2004-04-08 15:49 1.1K 
[ ]homographic_sign_subproof18.con.xml.gz2004-04-08 15:49 1.0K 
[ ]homographic_sign_subproof18_subproof.con.body.xml.gz2004-04-08 15:49 3.5K 
[ ]homographic_sign_subproof18_subproof.con.types.xml.gz2004-04-08 15:49 2.9K 
[ ]homographic_sign_subproof18_subproof.con.xml.gz2004-04-08 15:49 1.0K 
[ ]homographic_sign_subproof19.con.body.xml.gz2004-04-08 15:49 1.1K 
[ ]homographic_sign_subproof19.con.types.xml.gz2004-04-08 15:49 1.2K 
[ ]homographic_sign_subproof19.con.xml.gz2004-04-08 15:49 1.0K 
[ ]homographic_sign_subproof20.con.body.xml.gz2004-04-08 15:49 1.3K 
[ ]homographic_sign_subproof20.con.types.xml.gz2004-04-08 15:49 1.1K 
[ ]homographic_sign_subproof20.con.xml.gz2004-04-08 15:49 1.0K 
[ ]homographic_sign_subproof20_subproof.con.body.xml.gz2004-04-08 15:49 3.5K 
[ ]homographic_sign_subproof20_subproof.con.types.xml.gz2004-04-08 15:49 2.9K 
[ ]homographic_sign_subproof20_subproof.con.xml.gz2004-04-08 15:49 1.0K 
[ ]homographic_sign_subproof21.con.body.xml.gz2004-04-08 15:49 1.1K 
[ ]homographic_sign_subproof21.con.types.xml.gz2004-04-08 15:49 1.1K 
[ ]homographic_sign_subproof21.con.xml.gz2004-04-08 15:49 1.0K 
[ ]homographic_sign_subproof22.con.body.xml.gz2004-04-08 15:49 3.0K 
[ ]homographic_sign_subproof22.con.types.xml.gz2004-04-08 15:49 4.0K 
[ ]homographic_sign_subproof22.con.xml.gz2004-04-08 15:49 866  
[ ]homographic_sign_subproof23.con.body.xml.gz2004-04-08 15:49 1.1K 
[ ]homographic_sign_subproof23.con.types.xml.gz2004-04-08 15:49 1.1K 
[ ]homographic_sign_subproof23.con.xml.gz2004-04-08 15:49 1.0K 
[ ]homographic_sign_subproof23_subproof.con.body.xml.gz2004-04-08 15:49 4.0K 
[ ]homographic_sign_subproof23_subproof.con.types.xml.gz2004-04-08 15:49 3.9K 
[ ]homographic_sign_subproof23_subproof.con.xml.gz2004-04-08 15:49 1.0K 
[ ]homographic_sign_subproof24.con.body.xml.gz2004-04-08 15:49 1.2K 
[ ]homographic_sign_subproof24.con.types.xml.gz2004-04-08 15:49 1.1K 
[ ]homographic_sign_subproof24.con.xml.gz2004-04-08 15:49 962  
[ ]homographic_sign_subproof24_subproof.con.body.xml.gz2004-04-08 15:49 3.8K 
[ ]homographic_sign_subproof24_subproof.con.types.xml.gz2004-04-08 15:49 3.1K 
[ ]homographic_sign_subproof24_subproof.con.xml.gz2004-04-08 15:49 921  
[ ]homographic_sign_subproof25.con.body.xml.gz2004-04-08 15:49 1.2K 
[ ]homographic_sign_subproof25.con.types.xml.gz2004-04-08 15:49 1.2K 
[ ]homographic_sign_subproof25.con.xml.gz2004-04-08 15:49 1.1K 
[ ]homographic_sign_subproof25_subproof.con.body.xml.gz2004-04-08 15:49 4.9K 
[ ]homographic_sign_subproof25_subproof.con.types.xml.gz2004-04-08 15:49 4.5K 
[ ]homographic_sign_subproof25_subproof.con.xml.gz2004-04-08 15:49 1.1K 
[ ]homographic_sign_subproof26.con.body.xml.gz2004-04-08 15:49 1.1K 
[ ]homographic_sign_subproof26.con.types.xml.gz2004-04-08 15:49 1.1K 
[ ]homographic_sign_subproof26.con.xml.gz2004-04-08 15:49 1.0K 
[ ]homographic_sign_subproof27.con.body.xml.gz2004-04-08 15:49 1.1K 
[ ]homographic_sign_subproof27.con.types.xml.gz2004-04-08 15:49 1.1K 
[ ]homographic_sign_subproof27.con.xml.gz2004-04-08 15:49 1.0K 
[ ]homographic_sign_subproof27_subproof.con.body.xml.gz2004-04-08 15:49 4.3K 
[ ]homographic_sign_subproof27_subproof.con.types.xml.gz2004-04-08 15:49 4.0K 
[ ]homographic_sign_subproof27_subproof.con.xml.gz2004-04-08 15:49 1.0K 
[ ]homographic_sign_subproof28.con.body.xml.gz2004-04-08 15:49 1.2K 
[ ]homographic_sign_subproof28.con.types.xml.gz2004-04-08 15:49 1.1K 
[ ]homographic_sign_subproof28.con.xml.gz2004-04-08 15:49 969  
[ ]homographic_sign_subproof28_subproof.con.body.xml.gz2004-04-08 15:49 3.8K 
[ ]homographic_sign_subproof28_subproof.con.types.xml.gz2004-04-08 15:49 3.1K 
[ ]homographic_sign_subproof28_subproof.con.xml.gz2004-04-08 15:49 935  
[ ]homographic_sign_subproof29.con.body.xml.gz2004-04-08 15:49 2.9K 
[ ]homographic_sign_subproof29.con.types.xml.gz2004-04-08 15:49 3.5K 
[ ]homographic_sign_subproof29.con.xml.gz2004-04-08 15:49 970  
[ ]homographic_sign_subproof30.con.body.xml.gz2004-04-08 15:49 1.2K 
[ ]homographic_sign_subproof30.con.types.xml.gz2004-04-08 15:49 1.2K 
[ ]homographic_sign_subproof30.con.xml.gz2004-04-08 15:49 1.1K 
[ ]homographic_sign_subproof30_subproof.con.body.xml.gz2004-04-08 15:49 5.1K 
[ ]homographic_sign_subproof30_subproof.con.types.xml.gz2004-04-08 15:49 4.7K 
[ ]homographic_sign_subproof30_subproof.con.xml.gz2004-04-08 15:49 1.1K 
[ ]homographic_sign_subproof31.con.body.xml.gz2004-04-08 15:49 1.1K 
[ ]homographic_sign_subproof31.con.types.xml.gz2004-04-08 15:49 1.1K 
[ ]homographic_sign_subproof31.con.xml.gz2004-04-08 15:49 1.0K 
[ ]homographic_sign_subproof32.con.body.xml.gz2004-04-08 15:49 3.0K 
[ ]homographic_sign_subproof32.con.types.xml.gz2004-04-08 15:49 3.6K 
[ ]homographic_sign_subproof32.con.xml.gz2004-04-08 15:49 1.0K 
[ ]homographic_sign_subproof33.con.body.xml.gz2004-04-08 15:49 1.1K 
[ ]homographic_sign_subproof33.con.types.xml.gz2004-04-08 15:49 1.2K 
[ ]homographic_sign_subproof33.con.xml.gz2004-04-08 15:49 1.0K 
[ ]homographic_sign_subproof34.con.body.xml.gz2004-04-08 15:49 1.2K 
[ ]homographic_sign_subproof34.con.types.xml.gz2004-04-08 15:49 1.1K 
[ ]homographic_sign_subproof34.con.xml.gz2004-04-08 15:49 1.0K 
[ ]homographic_sign_subproof34_subproof.con.body.xml.gz2004-04-08 15:49 3.5K 
[ ]homographic_sign_subproof34_subproof.con.types.xml.gz2004-04-08 15:49 2.9K 
[ ]homographic_sign_subproof34_subproof.con.xml.gz2004-04-08 15:49 1.0K 
[ ]homographic_sign_subproof35.con.body.xml.gz2004-04-08 15:49 1.2K 
[ ]homographic_sign_subproof35.con.types.xml.gz2004-04-08 15:49 1.1K 
[ ]homographic_sign_subproof35.con.xml.gz2004-04-08 15:49 1.0K 
[ ]homographic_sign_subproof35_subproof.con.body.xml.gz2004-04-08 15:49 3.5K 
[ ]homographic_sign_subproof35_subproof.con.types.xml.gz2004-04-08 15:49 2.9K 
[ ]homographic_sign_subproof35_subproof.con.xml.gz2004-04-08 15:49 1.0K 
[ ]homographic_sign_subproof36.con.body.xml.gz2004-04-08 15:49 1.1K 
[ ]homographic_sign_subproof36.con.types.xml.gz2004-04-08 15:49 1.2K 
[ ]homographic_sign_subproof36.con.xml.gz2004-04-08 15:49 1.0K 
[ ]homographic_sign_subproof37.con.body.xml.gz2004-04-08 15:49 1.1K 
[ ]homographic_sign_subproof37.con.types.xml.gz2004-04-08 15:49 1.1K 
[ ]homographic_sign_subproof37.con.xml.gz2004-04-08 15:49 1.0K 
[ ]homographic_sign_subproof38.con.body.xml.gz2004-04-08 15:49 1.1K 
[ ]homographic_sign_subproof38.con.types.xml.gz2004-04-08 15:49 1.1K 
[ ]homographic_sign_subproof38.con.xml.gz2004-04-08 15:49 1.0K 
[ ]homographic_sign_subproof39.con.body.xml.gz2004-04-08 15:49 1.1K 
[ ]homographic_sign_subproof39.con.types.xml.gz2004-04-08 15:49 1.2K 
[ ]homographic_sign_subproof39.con.xml.gz2004-04-08 15:49 1.0K 
[ ]homographic_sign_subproof40.con.body.xml.gz2004-04-08 15:49 1.1K 
[ ]homographic_sign_subproof40.con.types.xml.gz2004-04-08 15:49 1.1K 
[ ]homographic_sign_subproof40.con.xml.gz2004-04-08 15:49 1.0K 
[ ]homographic_sign_subproof41.con.body.xml.gz2004-04-08 15:49 1.2K 
[ ]homographic_sign_subproof41.con.types.xml.gz2004-04-08 15:49 1.1K 
[ ]homographic_sign_subproof41.con.xml.gz2004-04-08 15:49 1.0K 
[ ]homographic_sign_subproof41_subproof.con.body.xml.gz2004-04-08 15:49 3.5K 
[ ]homographic_sign_subproof41_subproof.con.types.xml.gz2004-04-08 15:49 2.9K 
[ ]homographic_sign_subproof41_subproof.con.xml.gz2004-04-08 15:49 1.0K 
[ ]homographic_sign_subproof42.con.body.xml.gz2004-04-08 15:49 1.1K 
[ ]homographic_sign_subproof42.con.types.xml.gz2004-04-08 15:49 1.2K 
[ ]homographic_sign_subproof42.con.xml.gz2004-04-08 15:49 1.0K 
[ ]homographic_sign_subproof43.con.body.xml.gz2004-04-08 15:49 1.3K 
[ ]homographic_sign_subproof43.con.types.xml.gz2004-04-08 15:49 1.1K 
[ ]homographic_sign_subproof43.con.xml.gz2004-04-08 15:49 1.0K 
[ ]homographic_sign_subproof43_subproof.con.body.xml.gz2004-04-08 15:49 3.5K 
[ ]homographic_sign_subproof43_subproof.con.types.xml.gz2004-04-08 15:49 2.9K 
[ ]homographic_sign_subproof43_subproof.con.xml.gz2004-04-08 15:49 1.0K 
[ ]homographic_sign_subproof44.con.body.xml.gz2004-04-08 15:49 1.1K 
[ ]homographic_sign_subproof44.con.types.xml.gz2004-04-08 15:49 1.1K 
[ ]homographic_sign_subproof44.con.xml.gz2004-04-08 15:49 1.0K 
[ ]homographic_sign_subproof45.con.body.xml.gz2004-04-08 15:49 910  
[ ]homographic_sign_subproof45.con.types.xml.gz2004-04-08 15:49 1.3K 
[ ]homographic_sign_subproof45.con.xml.gz2004-04-08 15:49 853  
[ ]homographic_sign_subproof46.con.body.xml.gz2004-04-08 15:49 1.0K 
[ ]homographic_sign_subproof46.con.types.xml.gz2004-04-08 15:49 1.4K 
[ ]homographic_sign_subproof46.con.xml.gz2004-04-08 15:49 860  
[ ]homographic_sign_subproof47.con.body.xml.gz2004-04-08 15:49 19K 
[ ]homographic_sign_subproof47.con.types.xml.gz2004-04-08 15:49 20K 
[ ]homographic_sign_subproof47.con.xml.gz2004-04-08 15:49 1.1K 
[ ]homography.con.body.xml.gz2004-04-08 15:52 7.2K 
[ ]homography.con.types.xml.gz2004-04-08 15:52 7.9K 
[ ]homography.con.xml.gz2004-04-08 15:52 667  
[ ]homography_algorithm_is_correct.con.body.xml.gz2004-04-08 15:52 831  
[ ]homography_algorithm_is_correct.con.types.xml.gz2004-04-08 15:52 1.5K 
[ ]homography_algorithm_is_correct.con.xml.gz2004-04-08 15:52 1.0K 
[ ]homography_positive_input.con.body.xml.gz2004-04-08 15:52 52K 
[ ]homography_positive_input.con.types.xml.gz2004-04-08 15:52 62K 
[ ]homography_positive_input.con.xml.gz2004-04-08 15:52 921  
[ ]homography_positive_input_subproof.con.body.xml.gz2004-04-08 15:52 1.9K 
[ ]homography_positive_input_subproof.con.types.xml.gz2004-04-08 15:52 2.0K 
[ ]homography_positive_input_subproof.con.xml.gz2004-04-08 15:52 1.0K 
[ ]homography_subproof.con.body.xml.gz2004-04-08 15:52 2.6K 
[ ]homography_subproof.con.types.xml.gz2004-04-08 15:52 3.3K 
[ ]homography_subproof.con.xml.gz2004-04-08 15:52 738  
[ ]homography_subproof0.con.body.xml.gz2004-04-08 15:52 2.6K 
[ ]homography_subproof0.con.types.xml.gz2004-04-08 15:52 3.3K 
[ ]homography_subproof0.con.xml.gz2004-04-08 15:52 734  
[ ]output_bit.con.body.xml.gz2004-04-08 15:51 58K 
[ ]output_bit.con.types.xml.gz2004-04-08 15:51 167K 
[ ]output_bit.con.xml.gz2004-04-08 15:51 688  
[ ]sg_pres_fraction.con.body.xml.gz2004-04-08 15:52 278  
[ ]sg_pres_fraction.con.types.xml.gz2004-04-08 15:52 231  
[ ]sg_pres_fraction.con.xml.gz2004-04-08 15:52 1.3K 
[ ]sg_pres_fraction_subproof.con.body.xml.gz2004-04-08 15:52 158K 
[ ]sg_pres_fraction_subproof.con.types.xml.gz2004-04-08 15:52 286K 
[ ]sg_pres_fraction_subproof.con.xml.gz2004-04-08 15:52 1.3K 
[ ]spec_Qhomographic_Qpositive_to_Q.con.body.xml.gz2004-04-08 15:31 737  
[ ]spec_Qhomographic_Qpositive_to_Q.con.types.xml.gz2004-04-08 15:31 250  
[ ]spec_Qhomographic_Qpositive_to_Q.con.xml.gz2004-04-08 15:31 382  
[ ]spec_Qhomographic_Qpositive_to_Q_Zopp.con.body.xml.gz2004-04-08 15:51 13K 
[ ]spec_Qhomographic_Qpositive_to_Q_Zopp.con.types.xml.gz2004-04-08 15:51 12K 
[ ]spec_Qhomographic_Qpositive_to_Q_Zopp.con.xml.gz2004-04-08 15:51 687  
[ ]spec_Qhomographic_Qpositive_to_Q_Zopp_2.con.body.xml.gz2004-04-08 15:51 1.5K 
[ ]spec_Qhomographic_Qpositive_to_Q_Zopp_2.con.types.xml.gz2004-04-08 15:51 2.0K 
[ ]spec_Qhomographic_Qpositive_to_Q_Zopp_2.con.xml.gz2004-04-08 15:51 678  
[ ]spec_Qhomographic_Qpositive_to_Q_Zopp_3.con.body.xml.gz2004-04-08 15:51 4.9K 
[ ]spec_Qhomographic_Qpositive_to_Q_Zopp_3.con.types.xml.gz2004-04-08 15:51 4.7K 
[ ]spec_Qhomographic_Qpositive_to_Q_Zopp_3.con.xml.gz2004-04-08 15:51 687  
[ ]spec_Qhomographic_Qpositive_to_Q_Zopp_subproof.con.body.xml.gz2004-04-08 15:51 1.0K 
[ ]spec_Qhomographic_Qpositive_to_Q_Zopp_subproof.con.types.xml.gz2004-04-08 15:51 1.1K 
[ ]spec_Qhomographic_Qpositive_to_Q_Zopp_subproof.con.xml.gz2004-04-08 15:51 586  
[ ]spec_Qhomographic_Qpositive_to_Q_dL.con.body.xml.gz2004-04-08 15:31 4.0K 
[ ]spec_Qhomographic_Qpositive_to_Q_dL.con.types.xml.gz2004-04-08 15:31 5.5K 
[ ]spec_Qhomographic_Qpositive_to_Q_dL.con.xml.gz2004-04-08 15:31 706  
[ ]spec_Qhomographic_Qpositive_to_Q_dL_unfolded.con.body.xml.gz2004-04-08 15:31 314  
[ ]spec_Qhomographic_Qpositive_to_Q_dL_unfolded.con.types.xml.gz2004-04-08 15:31 1.3K 
[ ]spec_Qhomographic_Qpositive_to_Q_dL_unfolded.con.xml.gz2004-04-08 15:31 1.0K 
[ ]spec_Qhomographic_Qpositive_to_Q_nR.con.body.xml.gz2004-04-08 15:31 5.1K 
[ ]spec_Qhomographic_Qpositive_to_Q_nR.con.types.xml.gz2004-04-08 15:31 4.9K 
[ ]spec_Qhomographic_Qpositive_to_Q_nR.con.xml.gz2004-04-08 15:31 701  
[ ]spec_Qhomographic_Qpositive_to_Q_nR_unfolded.con.body.xml.gz2004-04-08 15:31 313  
[ ]spec_Qhomographic_Qpositive_to_Q_nR_unfolded.con.types.xml.gz2004-04-08 15:31 1.3K 
[ ]spec_Qhomographic_Qpositive_to_Q_nR_unfolded.con.xml.gz2004-04-08 15:31 1.0K 
[ ]spec_Qhomographic_Qpositive_to_Q_spec_ni2_neg.con.body.xml.gz2004-04-08 15:51 7.3K 
[ ]spec_Qhomographic_Qpositive_to_Q_spec_ni2_neg.con.types.xml.gz2004-04-08 15:51 7.4K 
[ ]spec_Qhomographic_Qpositive_to_Q_spec_ni2_neg.con.xml.gz2004-04-08 15:51 820  
[ ]spec_Qhomographic_Qpositive_to_Q_spec_ni2_neg_1.con.body.xml.gz2004-04-08 15:51 12K 
[ ]spec_Qhomographic_Qpositive_to_Q_spec_ni2_neg_1.con.types.xml.gz2004-04-08 15:51 12K 
[ ]spec_Qhomographic_Qpositive_to_Q_spec_ni2_neg_1.con.xml.gz2004-04-08 15:51 861  
[ ]spec_Qhomographic_Qpositive_to_Q_spec_ni2_neg_1_subproof.con.body.xml.gz2004-04-08 15:51 4.6K 
[ ]spec_Qhomographic_Qpositive_to_Q_spec_ni2_neg_1_subproof.con.types.xml.gz2004-04-08 15:51 6.4K 
[ ]spec_Qhomographic_Qpositive_to_Q_spec_ni2_neg_1_subproof.con.xml.gz2004-04-08 15:51 1.2K 
[ ]spec_Qhomographic_Qpositive_to_Q_spec_ni2_neg_2.con.body.xml.gz2004-04-08 15:51 15K 
[ ]spec_Qhomographic_Qpositive_to_Q_spec_ni2_neg_2.con.types.xml.gz2004-04-08 15:51 15K 
[ ]spec_Qhomographic_Qpositive_to_Q_spec_ni2_neg_2.con.xml.gz2004-04-08 15:51 857  
[ ]spec_Qhomographic_Qpositive_to_Q_spec_ni2_neg_2_subproof.con.body.xml.gz2004-04-08 15:51 4.6K 
[ ]spec_Qhomographic_Qpositive_to_Q_spec_ni2_neg_2_subproof.con.types.xml.gz2004-04-08 15:51 6.4K 
[ ]spec_Qhomographic_Qpositive_to_Q_spec_ni2_neg_2_subproof.con.xml.gz2004-04-08 15:51 1.2K 
[ ]spec_Qhomographic_Qpositive_to_Q_spec_ni2_pos.con.body.xml.gz2004-04-08 15:51 7.3K 
[ ]spec_Qhomographic_Qpositive_to_Q_spec_ni2_pos.con.types.xml.gz2004-04-08 15:51 7.4K 
[ ]spec_Qhomographic_Qpositive_to_Q_spec_ni2_pos.con.xml.gz2004-04-08 15:51 822  
[ ]spec_coding.con.body.xml.gz2004-04-08 15:31 21K 
[ ]spec_coding.con.types.xml.gz2004-04-08 15:31 33K 
[ ]spec_coding.con.xml.gz2004-04-08 15:31 741  
[ ]spec_fraction_encoding.con.body.xml.gz2004-04-08 15:31 512  
[ ]spec_fraction_encoding.con.types.xml.gz2004-04-08 15:31 237  
[ ]spec_fraction_encoding.con.xml.gz2004-04-08 15:31 332  
[ ]spec_h.con.body.xml.gz2004-04-08 15:31 653  
[ ]spec_h.con.types.xml.gz2004-04-08 15:31 212  
[ ]spec_h.con.xml.gz2004-04-08 15:31 331  
[ ]spec_ni.con.body.xml.gz2004-04-08 15:31 732  
[ ]spec_ni.con.types.xml.gz2004-04-08 15:31 211  
[ ]spec_ni.con.xml.gz2004-04-08 15:31 336  
[ ]spec_ni2.con.body.xml.gz2004-04-08 15:31 747  
[ ]spec_ni2.con.types.xml.gz2004-04-08 15:31 216  
[ ]spec_ni2.con.xml.gz2004-04-08 15:31 337  
[ ]spec_ni2_dL.con.body.xml.gz2004-04-08 15:31 12K 
[ ]spec_ni2_dL.con.types.xml.gz2004-04-08 15:31 11K 
[ ]spec_ni2_dL.con.xml.gz2004-04-08 15:31 1.0K 
[ ]spec_ni2_dL_emission.con.body.xml.gz2004-04-08 15:48 1.8M 
[ ]spec_ni2_dL_emission.con.types.xml.gz2004-04-08 15:48 7.0M 
[ ]spec_ni2_dL_emission.con.xml.gz2004-04-08 15:48 1.1K 
[ ]spec_ni2_nR.con.body.xml.gz2004-04-08 15:31 5.5K 
[ ]spec_ni2_nR.con.types.xml.gz2004-04-08 15:31 5.3K 
[ ]spec_ni2_nR.con.xml.gz2004-04-08 15:31 666  
[ ]spec_ni2_nR_emission.con.body.xml.gz2004-04-08 15:44 9.9K 
[ ]spec_ni2_nR_emission.con.types.xml.gz2004-04-08 15:44 11K 
[ ]spec_ni2_nR_emission.con.xml.gz2004-04-08 15:44 1.1K 
[ ]spec_ni2_nR_emission_subproof.con.body.xml.gz2004-04-08 15:43 3.3M 
[ ]spec_ni2_nR_emission_subproof.con.types.xml.gz2004-04-08 15:44 16M 
[ ]spec_ni2_nR_emission_subproof.con.xml.gz2004-04-08 15:43 1.8K 
[ ]spec_positive_fraction_encoding.con.body.xml.gz2004-04-08 15:31 669  
[ ]spec_positive_fraction_encoding.con.types.xml.gz2004-04-08 15:31 253  
[ ]spec_positive_fraction_encoding.con.xml.gz2004-04-08 15:31 494  
[ ]spec_positive_fraction_encoding1.con.body.xml.gz2004-04-08 15:31 549  
[ ]spec_positive_fraction_encoding1.con.types.xml.gz2004-04-08 15:31 254  
[ ]spec_positive_fraction_encoding1.con.xml.gz2004-04-08 15:31 347  
[ ]spec_positive_fraction_encoding1_positive_fraction_encoding.con.body.xml.gz2004-04-08 15:31 8.8K 
[ ]spec_positive_fraction_encoding1_positive_fraction_encoding.con.types.xml.gz2004-04-08 15:31 13K 
[ ]spec_positive_fraction_encoding1_positive_fraction_encoding.con.xml.gz2004-04-08 15:31 686  
[ ]spec_positive_fraction_encoding1_positive_fraction_encoding2.con.body.xml.gz2004-04-08 15:31 6.1K 
[ ]spec_positive_fraction_encoding1_positive_fraction_encoding2.con.types.xml.gz2004-04-08 15:31 8.8K 
[ ]spec_positive_fraction_encoding1_positive_fraction_encoding2.con.xml.gz2004-04-08 15:31 682  
[ ]spec_positive_fraction_encoding2.con.body.xml.gz2004-04-08 15:31 563  
[ ]spec_positive_fraction_encoding2.con.types.xml.gz2004-04-08 15:31 255  
[ ]spec_positive_fraction_encoding2.con.xml.gz2004-04-08 15:31 348  
Apache/2.4.57 (Debian) Server at mowgli.cs.unibo.it Port 80