Index of /xml/Nijmegen/QArith/quadratic_correctness

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]INDEX2005-07-05 08:11 21K 
[ ]Qquadratic_denom_nonzero_correct_1.con.body.xml.gz2004-04-08 18:11 31K 
[ ]Qquadratic_denom_nonzero_correct_1.con.types.xml.gz2004-04-08 18:11 35K 
[ ]Qquadratic_denom_nonzero_correct_1.con.xml.gz2004-04-08 18:11 895  
[ ]Qquadratic_denom_nonzero_correct_1_subproof.con.body.xml.gz2004-04-08 18:11 3.7K 
[ ]Qquadratic_denom_nonzero_correct_1_subproof.con.types.xml.gz2004-04-08 18:11 4.5K 
[ ]Qquadratic_denom_nonzero_correct_1_subproof.con.xml.gz2004-04-08 18:11 1.2K 
[ ]Qquadratic_denom_nonzero_correct_1_subproof0.con.body.xml.gz2004-04-08 18:11 3.7K 
[ ]Qquadratic_denom_nonzero_correct_1_subproof0.con.types.xml.gz2004-04-08 18:11 4.5K 
[ ]Qquadratic_denom_nonzero_correct_1_subproof0.con.xml.gz2004-04-08 18:11 1.2K 
[ ]Qquadratic_denom_nonzero_correct_1_subproof1.con.body.xml.gz2004-04-08 18:11 6.4K 
[ ]Qquadratic_denom_nonzero_correct_1_subproof1.con.types.xml.gz2004-04-08 18:11 9.1K 
[ ]Qquadratic_denom_nonzero_correct_1_subproof1.con.xml.gz2004-04-08 18:11 2.0K 
[ ]Qquadratic_denom_nonzero_correct_1_subproof2.con.body.xml.gz2004-04-08 18:11 6.5K 
[ ]Qquadratic_denom_nonzero_correct_1_subproof2.con.types.xml.gz2004-04-08 18:11 9.1K 
[ ]Qquadratic_denom_nonzero_correct_1_subproof2.con.xml.gz2004-04-08 18:11 2.0K 
[ ]Qquadratic_denom_nonzero_correct_1_subproof3.con.body.xml.gz2004-04-08 18:11 6.5K 
[ ]Qquadratic_denom_nonzero_correct_1_subproof3.con.types.xml.gz2004-04-08 18:11 9.3K 
[ ]Qquadratic_denom_nonzero_correct_1_subproof3.con.xml.gz2004-04-08 18:11 2.0K 
[ ]Qquadratic_denom_nonzero_correct_2.con.body.xml.gz2004-04-08 18:11 35K 
[ ]Qquadratic_denom_nonzero_correct_2.con.types.xml.gz2004-04-08 18:11 41K 
[ ]Qquadratic_denom_nonzero_correct_2.con.xml.gz2004-04-08 18:11 904  
[ ]Qquadratic_denom_nonzero_correct_2_subproof.con.body.xml.gz2004-04-08 18:11 2.2K 
[ ]Qquadratic_denom_nonzero_correct_2_subproof.con.types.xml.gz2004-04-08 18:11 3.2K 
[ ]Qquadratic_denom_nonzero_correct_2_subproof.con.xml.gz2004-04-08 18:11 1.0K 
[ ]Qquadratic_denom_nonzero_correct_2_subproof0.con.body.xml.gz2004-04-08 18:11 3.6K 
[ ]Qquadratic_denom_nonzero_correct_2_subproof0.con.types.xml.gz2004-04-08 18:11 4.5K 
[ ]Qquadratic_denom_nonzero_correct_2_subproof0.con.xml.gz2004-04-08 18:11 1.2K 
[ ]Qquadratic_denom_nonzero_correct_2_subproof1.con.body.xml.gz2004-04-08 18:11 6.3K 
[ ]Qquadratic_denom_nonzero_correct_2_subproof1.con.types.xml.gz2004-04-08 18:11 9.1K 
[ ]Qquadratic_denom_nonzero_correct_2_subproof1.con.xml.gz2004-04-08 18:11 1.9K 
[ ]Qquadratic_denom_nonzero_correct_2_subproof2.con.body.xml.gz2004-04-08 18:11 3.6K 
[ ]Qquadratic_denom_nonzero_correct_2_subproof2.con.types.xml.gz2004-04-08 18:11 4.5K 
[ ]Qquadratic_denom_nonzero_correct_2_subproof2.con.xml.gz2004-04-08 18:11 1.2K 
[ ]Qquadratic_denom_nonzero_correct_2_subproof3.con.body.xml.gz2004-04-08 18:11 6.3K 
[ ]Qquadratic_denom_nonzero_correct_2_subproof3.con.types.xml.gz2004-04-08 18:11 9.1K 
[ ]Qquadratic_denom_nonzero_correct_2_subproof3.con.xml.gz2004-04-08 18:11 1.8K 
[ ]Qquadratic_denom_nonzero_correct_2_subproof4.con.body.xml.gz2004-04-08 18:11 6.3K 
[ ]Qquadratic_denom_nonzero_correct_2_subproof4.con.types.xml.gz2004-04-08 18:11 8.9K 
[ ]Qquadratic_denom_nonzero_correct_2_subproof4.con.xml.gz2004-04-08 18:11 1.8K 
[ ]Qquadratic_sg_denom_nonzero_correct_1.con.body.xml.gz2004-04-08 18:05 21K 
[ ]Qquadratic_sg_denom_nonzero_correct_1.con.types.xml.gz2004-04-08 18:05 24K 
[ ]Qquadratic_sg_denom_nonzero_correct_1.con.xml.gz2004-04-08 18:05 965  
[ ]Qquadratic_sg_denom_nonzero_correct_1_subproof.con.body.xml.gz2004-04-08 18:03 7.8K 
[ ]Qquadratic_sg_denom_nonzero_correct_1_subproof.con.types.xml.gz2004-04-08 18:03 11K 
[ ]Qquadratic_sg_denom_nonzero_correct_1_subproof.con.xml.gz2004-04-08 18:03 2.2K 
[ ]Qquadratic_sg_denom_nonzero_correct_1_subproof0.con.body.xml.gz2004-04-08 18:04 536K 
[ ]Qquadratic_sg_denom_nonzero_correct_1_subproof0.con.types.xml.gz2004-04-08 18:04 2.0M 
[ ]Qquadratic_sg_denom_nonzero_correct_1_subproof0.con.xml.gz2004-04-08 18:04 1.5K 
[ ]Qquadratic_sg_denom_nonzero_correct_1_subproof1.con.body.xml.gz2004-04-08 18:05 540K 
[ ]Qquadratic_sg_denom_nonzero_correct_1_subproof1.con.types.xml.gz2004-04-08 18:05 2.0M 
[ ]Qquadratic_sg_denom_nonzero_correct_1_subproof1.con.xml.gz2004-04-08 18:05 1.5K 
[ ]Qquadratic_sg_denom_nonzero_correct_1_subproof2.con.body.xml.gz2004-04-08 18:05 561K 
[ ]Qquadratic_sg_denom_nonzero_correct_1_subproof2.con.types.xml.gz2004-04-08 18:05 2.1M 
[ ]Qquadratic_sg_denom_nonzero_correct_1_subproof2.con.xml.gz2004-04-08 18:05 1.5K 
[ ]Qquadratic_sg_denom_nonzero_correct_2.con.body.xml.gz2004-04-08 18:07 50K 
[ ]Qquadratic_sg_denom_nonzero_correct_2.con.types.xml.gz2004-04-08 18:07 66K 
[ ]Qquadratic_sg_denom_nonzero_correct_2.con.xml.gz2004-04-08 18:07 1.0K 
[ ]Qquadratic_sg_denom_nonzero_correct_2_subproof.con.body.xml.gz2004-04-08 18:05 8.1K 
[ ]Qquadratic_sg_denom_nonzero_correct_2_subproof.con.types.xml.gz2004-04-08 18:05 12K 
[ ]Qquadratic_sg_denom_nonzero_correct_2_subproof.con.xml.gz2004-04-08 18:05 2.5K 
[ ]Qquadratic_sg_denom_nonzero_correct_2_subproof0.con.body.xml.gz2004-04-08 18:06 495K 
[ ]Qquadratic_sg_denom_nonzero_correct_2_subproof0.con.types.xml.gz2004-04-08 18:06 2.0M 
[ ]Qquadratic_sg_denom_nonzero_correct_2_subproof0.con.xml.gz2004-04-08 18:06 3.4K 
[ ]Qquadratic_sg_denom_nonzero_correct_2_subproof1.con.body.xml.gz2004-04-08 18:06 5.9K 
[ ]Qquadratic_sg_denom_nonzero_correct_2_subproof1.con.types.xml.gz2004-04-08 18:06 8.1K 
[ ]Qquadratic_sg_denom_nonzero_correct_2_subproof1.con.xml.gz2004-04-08 18:06 2.0K 
[ ]Qquadratic_sg_denom_nonzero_correct_2_subproof2.con.body.xml.gz2004-04-08 18:07 499K 
[ ]Qquadratic_sg_denom_nonzero_correct_2_subproof2.con.types.xml.gz2004-04-08 18:07 2.1M 
[ ]Qquadratic_sg_denom_nonzero_correct_2_subproof2.con.xml.gz2004-04-08 18:07 3.5K 
[ ]Qquadratic_sg_denom_nonzero_correct_2_subproof3.con.body.xml.gz2004-04-08 18:07 557K 
[ ]Qquadratic_sg_denom_nonzero_correct_2_subproof3.con.types.xml.gz2004-04-08 18:07 2.1M 
[ ]Qquadratic_sg_denom_nonzero_correct_2_subproof3.con.xml.gz2004-04-08 18:07 3.8K 
[ ]Qquadratic_sg_denom_nonzero_correct_2_subproof4.con.body.xml.gz2004-04-08 18:07 5.9K 
[ ]Qquadratic_sg_denom_nonzero_correct_2_subproof4.con.types.xml.gz2004-04-08 18:07 8.1K 
[ ]Qquadratic_sg_denom_nonzero_correct_2_subproof4.con.xml.gz2004-04-08 18:07 2.0K 
[ ]Qquadratic_sg_denom_nonzero_correct_2_subproof5.con.body.xml.gz2004-04-08 18:07 5.2K 
[ ]Qquadratic_sg_denom_nonzero_correct_2_subproof5.con.types.xml.gz2004-04-08 18:07 7.2K 
[ ]Qquadratic_sg_denom_nonzero_correct_2_subproof5.con.xml.gz2004-04-08 18:07 1.5K 
[ ]Qquadratic_sign_pres_fraction.con.body.xml.gz2004-04-08 18:03 2.3M 
[ ]Qquadratic_sign_pres_fraction.con.types.xml.gz2004-04-08 18:03 4.4M 
[ ]Qquadratic_sign_pres_fraction.con.xml.gz2004-04-08 18:03 3.1K 
[ ]Qquadratic_sign_pres_fraction_subproof.con.body.xml.gz2004-04-08 17:49 4.9K 
[ ]Qquadratic_sign_pres_fraction_subproof.con.types.xml.gz2004-04-08 17:49 6.9K 
[ ]Qquadratic_sign_pres_fraction_subproof.con.xml.gz2004-04-08 17:49 1.2K 
[ ]Qquadratic_sign_pres_fraction_subproof0.con.body.xml.gz2004-04-08 17:49 4.9K 
[ ]Qquadratic_sign_pres_fraction_subproof0.con.types.xml.gz2004-04-08 17:49 6.9K 
[ ]Qquadratic_sign_pres_fraction_subproof0.con.xml.gz2004-04-08 17:49 1.2K 
[ ]Qquadratic_sign_pres_fraction_subproof1.con.body.xml.gz2004-04-08 17:49 4.9K 
[ ]Qquadratic_sign_pres_fraction_subproof1.con.types.xml.gz2004-04-08 17:49 6.9K 
[ ]Qquadratic_sign_pres_fraction_subproof1.con.xml.gz2004-04-08 17:49 1.2K 
[ ]Qquadratic_sign_pres_fraction_subproof2.con.body.xml.gz2004-04-08 17:49 4.9K 
[ ]Qquadratic_sign_pres_fraction_subproof2.con.types.xml.gz2004-04-08 17:49 6.9K 
[ ]Qquadratic_sign_pres_fraction_subproof2.con.xml.gz2004-04-08 17:49 1.2K 
[ ]Qquadratic_sign_pres_fraction_subproof3.con.body.xml.gz2004-04-08 17:49 4.7K 
[ ]Qquadratic_sign_pres_fraction_subproof3.con.types.xml.gz2004-04-08 17:49 6.5K 
[ ]Qquadratic_sign_pres_fraction_subproof3.con.xml.gz2004-04-08 17:49 1.1K 
[ ]Qquadratic_sign_pres_fraction_subproof4.con.body.xml.gz2004-04-08 17:49 4.7K 
[ ]Qquadratic_sign_pres_fraction_subproof4.con.types.xml.gz2004-04-08 17:49 6.5K 
[ ]Qquadratic_sign_pres_fraction_subproof4.con.xml.gz2004-04-08 17:49 1.1K 
[ ]a_field_equality_2.con.body.xml.gz2004-04-08 18:07 14K 
[ ]a_field_equality_2.con.types.xml.gz2004-04-08 18:07 13K 
[ ]a_field_equality_2.con.xml.gz2004-04-08 18:07 1.4K 
[ ]a_field_equality_2_subproof.con.body.xml.gz2004-04-08 18:07 3.8K 
[ ]a_field_equality_2_subproof.con.types.xml.gz2004-04-08 18:07 4.7K 
[ ]a_field_equality_2_subproof.con.xml.gz2004-04-08 18:07 1.2K 
[ ]a_field_equality_2_subproof0.con.body.xml.gz2004-04-08 18:07 6.6K 
[ ]a_field_equality_2_subproof0.con.types.xml.gz2004-04-08 18:07 8.0K 
[ ]a_field_equality_2_subproof0.con.xml.gz2004-04-08 18:07 1.1K 
[ ]a_field_equality_2_subproof1.con.body.xml.gz2004-04-08 18:07 6.6K 
[ ]a_field_equality_2_subproof1.con.types.xml.gz2004-04-08 18:07 8.0K 
[ ]a_field_equality_2_subproof1.con.xml.gz2004-04-08 18:07 1.2K 
[ ]a_field_equality_3.con.body.xml.gz2004-04-08 18:08 14K 
[ ]a_field_equality_3.con.types.xml.gz2004-04-08 18:08 13K 
[ ]a_field_equality_3.con.xml.gz2004-04-08 18:08 1.4K 
[ ]a_field_equality_3_subproof.con.body.xml.gz2004-04-08 18:07 6.8K 
[ ]a_field_equality_3_subproof.con.types.xml.gz2004-04-08 18:07 8.2K 
[ ]a_field_equality_3_subproof.con.xml.gz2004-04-08 18:07 1.2K 
[ ]a_field_equality_3_subproof0.con.body.xml.gz2004-04-08 18:07 6.6K 
[ ]a_field_equality_3_subproof0.con.types.xml.gz2004-04-08 18:07 8.0K 
[ ]a_field_equality_3_subproof0.con.xml.gz2004-04-08 18:07 1.2K 
[ ]a_field_equality_3_subproof1.con.body.xml.gz2004-04-08 18:08 3.3K 
[ ]a_field_equality_3_subproof1.con.types.xml.gz2004-04-08 18:08 3.8K 
[ ]a_field_equality_3_subproof1.con.xml.gz2004-04-08 18:08 1.1K 
[ ]a_field_equality_4.con.body.xml.gz2004-04-08 18:08 14K 
[ ]a_field_equality_4.con.types.xml.gz2004-04-08 18:08 13K 
[ ]a_field_equality_4.con.xml.gz2004-04-08 18:08 1.4K 
[ ]a_field_equality_4_subproof.con.body.xml.gz2004-04-08 18:08 6.8K 
[ ]a_field_equality_4_subproof.con.types.xml.gz2004-04-08 18:08 8.2K 
[ ]a_field_equality_4_subproof.con.xml.gz2004-04-08 18:08 1.2K 
[ ]a_field_equality_4_subproof0.con.body.xml.gz2004-04-08 18:08 3.3K 
[ ]a_field_equality_4_subproof0.con.types.xml.gz2004-04-08 18:08 3.8K 
[ ]a_field_equality_4_subproof0.con.xml.gz2004-04-08 18:08 1.1K 
[ ]a_field_equality_4_subproof1.con.body.xml.gz2004-04-08 18:08 6.6K 
[ ]a_field_equality_4_subproof1.con.types.xml.gz2004-04-08 18:08 8.0K 
[ ]a_field_equality_4_subproof1.con.xml.gz2004-04-08 18:08 1.1K 
[ ]a_field_equality_5.con.body.xml.gz2004-04-08 18:08 13K 
[ ]a_field_equality_5.con.types.xml.gz2004-04-08 18:08 12K 
[ ]a_field_equality_5.con.xml.gz2004-04-08 18:08 1.4K 
[ ]a_field_equality_5_subproof.con.body.xml.gz2004-04-08 18:08 6.8K 
[ ]a_field_equality_5_subproof.con.types.xml.gz2004-04-08 18:08 8.2K 
[ ]a_field_equality_5_subproof.con.xml.gz2004-04-08 18:08 1.2K 
[ ]a_field_equality_5_subproof0.con.body.xml.gz2004-04-08 18:08 6.6K 
[ ]a_field_equality_5_subproof0.con.types.xml.gz2004-04-08 18:08 8.0K 
[ ]a_field_equality_5_subproof0.con.xml.gz2004-04-08 18:08 1.1K 
[ ]a_field_equality_5_subproof1.con.body.xml.gz2004-04-08 18:08 6.6K 
[ ]a_field_equality_5_subproof1.con.types.xml.gz2004-04-08 18:08 8.0K 
[ ]a_field_equality_5_subproof1.con.xml.gz2004-04-08 18:08 1.1K 
[ ]outside_square_correct_1.con.body.xml.gz2004-04-08 17:42 3.6K 
[ ]outside_square_correct_1.con.types.xml.gz2004-04-08 17:42 7.1K 
[ ]outside_square_correct_1.con.xml.gz2004-04-08 17:42 1.1K 
[ ]outside_square_correct_1_subproof.con.body.xml.gz2004-04-08 17:42 3.2K 
[ ]outside_square_correct_1_subproof.con.types.xml.gz2004-04-08 17:42 3.3K 
[ ]outside_square_correct_1_subproof.con.xml.gz2004-04-08 17:42 1.3K 
[ ]outside_square_correct_1_subproof0.con.body.xml.gz2004-04-08 17:42 3.3K 
[ ]outside_square_correct_1_subproof0.con.types.xml.gz2004-04-08 17:42 3.3K 
[ ]outside_square_correct_1_subproof0.con.xml.gz2004-04-08 17:42 1.3K 
[ ]outside_square_correct_1_subproof1.con.body.xml.gz2004-04-08 17:42 3.3K 
[ ]outside_square_correct_1_subproof1.con.types.xml.gz2004-04-08 17:42 3.3K 
[ ]outside_square_correct_1_subproof1.con.xml.gz2004-04-08 17:42 1.3K 
[ ]outside_square_correct_2.con.body.xml.gz2004-04-08 17:42 4.1K 
[ ]outside_square_correct_2.con.types.xml.gz2004-04-08 17:42 8.8K 
[ ]outside_square_correct_2.con.xml.gz2004-04-08 17:42 1.1K 
[ ]outside_square_correct_2_subproof.con.body.xml.gz2004-04-08 17:42 3.2K 
[ ]outside_square_correct_2_subproof.con.types.xml.gz2004-04-08 17:42 3.3K 
[ ]outside_square_correct_2_subproof.con.xml.gz2004-04-08 17:42 1.3K 
[ ]outside_square_correct_2_subproof0.con.body.xml.gz2004-04-08 17:42 3.3K 
[ ]outside_square_correct_2_subproof0.con.types.xml.gz2004-04-08 17:42 3.3K 
[ ]outside_square_correct_2_subproof0.con.xml.gz2004-04-08 17:42 1.3K 
[ ]outside_square_correct_2_subproof1.con.body.xml.gz2004-04-08 17:42 3.3K 
[ ]outside_square_correct_2_subproof1.con.types.xml.gz2004-04-08 17:42 3.3K 
[ ]outside_square_correct_2_subproof1.con.xml.gz2004-04-08 17:42 1.3K 
[ ]quadratic.con.body.xml.gz2004-04-08 18:11 75K 
[ ]quadratic.con.types.xml.gz2004-04-08 18:11 79K 
[ ]quadratic.con.xml.gz2004-04-08 18:11 844  
[ ]quadraticAcc_positive.con.body.xml.gz2004-04-08 17:47 70K 
[ ]quadraticAcc_positive.con.types.xml.gz2004-04-08 17:47 79K 
[ ]quadraticAcc_positive.con.xml.gz2004-04-08 17:47 1.2K 
[ ]quadraticAcc_positive_denominator.con.body.xml.gz2004-04-08 17:47 2.3K 
[ ]quadraticAcc_positive_denominator.con.types.xml.gz2004-04-08 17:47 2.7K 
[ ]quadraticAcc_positive_denominator.con.xml.gz2004-04-08 17:47 1.0K 
[ ]quadraticAcc_positive_numerator.con.body.xml.gz2004-04-08 17:47 2.3K 
[ ]quadraticAcc_positive_numerator.con.types.xml.gz2004-04-08 17:47 2.7K 
[ ]quadraticAcc_positive_numerator.con.xml.gz2004-04-08 17:47 1.0K 
[ ]quadraticAcc_positive_subproof.con.body.xml.gz2004-04-08 17:43 4.7K 
[ ]quadraticAcc_positive_subproof.con.types.xml.gz2004-04-08 17:43 6.6K 
[ ]quadraticAcc_positive_subproof.con.xml.gz2004-04-08 17:43 1.1K 
[ ]quadraticAcc_positive_subproof0.con.body.xml.gz2004-04-08 17:43 4.7K 
[ ]quadraticAcc_positive_subproof0.con.types.xml.gz2004-04-08 17:43 6.6K 
[ ]quadraticAcc_positive_subproof0.con.xml.gz2004-04-08 17:43 1.1K 
[ ]quadraticAcc_positive_subproof1.con.body.xml.gz2004-04-08 17:43 4.8K 
[ ]quadraticAcc_positive_subproof1.con.types.xml.gz2004-04-08 17:43 6.7K 
[ ]quadraticAcc_positive_subproof1.con.xml.gz2004-04-08 17:43 1.2K 
[ ]quadraticAcc_positive_subproof2.con.body.xml.gz2004-04-08 17:43 4.8K 
[ ]quadraticAcc_positive_subproof2.con.types.xml.gz2004-04-08 17:43 6.7K 
[ ]quadraticAcc_positive_subproof2.con.xml.gz2004-04-08 17:43 1.2K 
[ ]quadraticAcc_positive_subproof3.con.body.xml.gz2004-04-08 17:43 1.9K 
[ ]quadraticAcc_positive_subproof3.con.types.xml.gz2004-04-08 17:43 1.8K 
[ ]quadraticAcc_positive_subproof3.con.xml.gz2004-04-08 17:43 1.7K 
[ ]quadraticAcc_positive_subproof3_subproof.con.body.xml.gz2004-04-08 17:43 4.8K 
[ ]quadraticAcc_positive_subproof3_subproof.con.types.xml.gz2004-04-08 17:43 4.3K 
[ ]quadraticAcc_positive_subproof3_subproof.con.xml.gz2004-04-08 17:43 1.7K 
[ ]quadraticAcc_positive_subproof4.con.body.xml.gz2004-04-08 17:43 1.9K 
[ ]quadraticAcc_positive_subproof4.con.types.xml.gz2004-04-08 17:43 1.8K 
[ ]quadraticAcc_positive_subproof4.con.xml.gz2004-04-08 17:43 1.7K 
[ ]quadraticAcc_positive_subproof4_subproof.con.body.xml.gz2004-04-08 17:43 4.8K 
[ ]quadraticAcc_positive_subproof4_subproof.con.types.xml.gz2004-04-08 17:43 4.3K 
[ ]quadraticAcc_positive_subproof4_subproof.con.xml.gz2004-04-08 17:43 1.7K 
[ ]quadraticAcc_positive_subproof5.con.body.xml.gz2004-04-08 17:43 1.9K 
[ ]quadraticAcc_positive_subproof5.con.types.xml.gz2004-04-08 17:43 1.8K 
[ ]quadraticAcc_positive_subproof5.con.xml.gz2004-04-08 17:43 1.7K 
[ ]quadraticAcc_positive_subproof5_subproof.con.body.xml.gz2004-04-08 17:43 4.8K 
[ ]quadraticAcc_positive_subproof5_subproof.con.types.xml.gz2004-04-08 17:43 4.3K 
[ ]quadraticAcc_positive_subproof5_subproof.con.xml.gz2004-04-08 17:43 1.7K 
[ ]quadraticAcc_positive_subproof6.con.body.xml.gz2004-04-08 17:43 1.9K 
[ ]quadraticAcc_positive_subproof6.con.types.xml.gz2004-04-08 17:43 1.8K 
[ ]quadraticAcc_positive_subproof6.con.xml.gz2004-04-08 17:43 1.7K 
[ ]quadraticAcc_positive_subproof6_subproof.con.body.xml.gz2004-04-08 17:43 4.8K 
[ ]quadraticAcc_positive_subproof6_subproof.con.types.xml.gz2004-04-08 17:43 4.3K 
[ ]quadraticAcc_positive_subproof6_subproof.con.xml.gz2004-04-08 17:43 1.7K 
[ ]quadraticAcc_positive_subproof7.con.body.xml.gz2004-04-08 17:43 11K 
[ ]quadraticAcc_positive_subproof7.con.types.xml.gz2004-04-08 17:43 16K 
[ ]quadraticAcc_positive_subproof7.con.xml.gz2004-04-08 17:43 2.7K 
[ ]quadraticAcc_positive_subproof8.con.body.xml.gz2004-04-08 17:43 2.0K 
[ ]quadraticAcc_positive_subproof8.con.types.xml.gz2004-04-08 17:43 1.9K 
[ ]quadraticAcc_positive_subproof8.con.xml.gz2004-04-08 17:43 1.8K 
[ ]quadraticAcc_positive_subproof8_subproof.con.body.xml.gz2004-04-08 17:43 4.5K 
[ ]quadraticAcc_positive_subproof8_subproof.con.types.xml.gz2004-04-08 17:43 4.1K 
[ ]quadraticAcc_positive_subproof8_subproof.con.xml.gz2004-04-08 17:43 1.8K 
[ ]quadraticAcc_positive_subproof9.con.body.xml.gz2004-04-08 17:43 2.0K 
[ ]quadraticAcc_positive_subproof9.con.types.xml.gz2004-04-08 17:43 1.9K 
[ ]quadraticAcc_positive_subproof9.con.xml.gz2004-04-08 17:43 1.8K 
[ ]quadraticAcc_positive_subproof9_subproof.con.body.xml.gz2004-04-08 17:43 4.5K 
[ ]quadraticAcc_positive_subproof9_subproof.con.types.xml.gz2004-04-08 17:43 4.2K 
[ ]quadraticAcc_positive_subproof9_subproof.con.xml.gz2004-04-08 17:43 1.8K 
[ ]quadraticAcc_positive_subproof10.con.body.xml.gz2004-04-08 17:43 2.0K 
[ ]quadraticAcc_positive_subproof10.con.types.xml.gz2004-04-08 17:43 1.9K 
[ ]quadraticAcc_positive_subproof10.con.xml.gz2004-04-08 17:43 1.8K 
[ ]quadraticAcc_positive_subproof10_subproof.con.body.xml.gz2004-04-08 17:43 4.5K 
[ ]quadraticAcc_positive_subproof10_subproof.con.types.xml.gz2004-04-08 17:43 4.1K 
[ ]quadraticAcc_positive_subproof10_subproof.con.xml.gz2004-04-08 17:43 1.8K 
[ ]quadraticAcc_positive_subproof11.con.body.xml.gz2004-04-08 17:43 2.0K 
[ ]quadraticAcc_positive_subproof11.con.types.xml.gz2004-04-08 17:43 1.9K 
[ ]quadraticAcc_positive_subproof11.con.xml.gz2004-04-08 17:43 1.8K 
[ ]quadraticAcc_positive_subproof11_subproof.con.body.xml.gz2004-04-08 17:43 4.5K 
[ ]quadraticAcc_positive_subproof11_subproof.con.types.xml.gz2004-04-08 17:43 4.2K 
[ ]quadraticAcc_positive_subproof11_subproof.con.xml.gz2004-04-08 17:43 1.8K 
[ ]quadraticAcc_positive_subproof12.con.body.xml.gz2004-04-08 17:43 11K 
[ ]quadraticAcc_positive_subproof12.con.types.xml.gz2004-04-08 17:43 16K 
[ ]quadraticAcc_positive_subproof12.con.xml.gz2004-04-08 17:43 2.8K 
[ ]quadraticAcc_positive_subproof13.con.body.xml.gz2004-04-08 17:43 8.3K 
[ ]quadraticAcc_positive_subproof13.con.types.xml.gz2004-04-08 17:43 12K 
[ ]quadraticAcc_positive_subproof13.con.xml.gz2004-04-08 17:43 2.5K 
[ ]quadraticAcc_positive_subproof14.con.body.xml.gz2004-04-08 17:43 8.3K 
[ ]quadraticAcc_positive_subproof14.con.types.xml.gz2004-04-08 17:43 12K 
[ ]quadraticAcc_positive_subproof14.con.xml.gz2004-04-08 17:43 2.5K 
[ ]quadraticAcc_positive_subproof15.con.body.xml.gz2004-04-08 17:44 20K 
[ ]quadraticAcc_positive_subproof15.con.types.xml.gz2004-04-08 17:44 20K 
[ ]quadraticAcc_positive_subproof15.con.xml.gz2004-04-08 17:44 2.5K 
[ ]quadraticAcc_positive_subproof15_subproof.con.body.xml.gz2004-04-08 17:44 472K 
[ ]quadraticAcc_positive_subproof15_subproof.con.types.xml.gz2004-04-08 17:44 2.0M 
[ ]quadraticAcc_positive_subproof15_subproof.con.xml.gz2004-04-08 17:44 2.8K 
[ ]quadraticAcc_positive_subproof15_subproof0.con.body.xml.gz2004-04-08 17:44 472K 
[ ]quadraticAcc_positive_subproof15_subproof0.con.types.xml.gz2004-04-08 17:44 2.0M 
[ ]quadraticAcc_positive_subproof15_subproof0.con.xml.gz2004-04-08 17:44 2.8K 
[ ]quadraticAcc_positive_subproof15_subproof1.con.body.xml.gz2004-04-08 17:44 2.0K 
[ ]quadraticAcc_positive_subproof15_subproof1.con.types.xml.gz2004-04-08 17:44 2.0K 
[ ]quadraticAcc_positive_subproof15_subproof1.con.xml.gz2004-04-08 17:44 1.9K 
[ ]quadraticAcc_positive_subproof15_subproof2.con.body.xml.gz2004-04-08 17:44 2.0K 
[ ]quadraticAcc_positive_subproof15_subproof2.con.types.xml.gz2004-04-08 17:44 1.9K 
[ ]quadraticAcc_positive_subproof15_subproof2.con.xml.gz2004-04-08 17:44 1.9K 
[ ]quadraticAcc_positive_subproof15_subproof3.con.body.xml.gz2004-04-08 17:44 2.0K 
[ ]quadraticAcc_positive_subproof15_subproof3.con.types.xml.gz2004-04-08 17:44 2.0K 
[ ]quadraticAcc_positive_subproof15_subproof3.con.xml.gz2004-04-08 17:44 1.9K 
[ ]quadraticAcc_positive_subproof15_subproof4.con.body.xml.gz2004-04-08 17:44 2.0K 
[ ]quadraticAcc_positive_subproof15_subproof4.con.types.xml.gz2004-04-08 17:44 1.9K 
[ ]quadraticAcc_positive_subproof15_subproof4.con.xml.gz2004-04-08 17:44 1.9K 
[ ]quadraticAcc_positive_subproof16.con.body.xml.gz2004-04-08 17:45 20K 
[ ]quadraticAcc_positive_subproof16.con.types.xml.gz2004-04-08 17:45 20K 
[ ]quadraticAcc_positive_subproof16.con.xml.gz2004-04-08 17:45 2.5K 
[ ]quadraticAcc_positive_subproof16_subproof.con.body.xml.gz2004-04-08 17:45 475K 
[ ]quadraticAcc_positive_subproof16_subproof.con.types.xml.gz2004-04-08 17:45 2.0M 
[ ]quadraticAcc_positive_subproof16_subproof.con.xml.gz2004-04-08 17:45 2.8K 
[ ]quadraticAcc_positive_subproof16_subproof0.con.body.xml.gz2004-04-08 17:45 475K 
[ ]quadraticAcc_positive_subproof16_subproof0.con.types.xml.gz2004-04-08 17:45 2.0M 
[ ]quadraticAcc_positive_subproof16_subproof0.con.xml.gz2004-04-08 17:45 2.8K 
[ ]quadraticAcc_positive_subproof16_subproof1.con.body.xml.gz2004-04-08 17:45 2.0K 
[ ]quadraticAcc_positive_subproof16_subproof1.con.types.xml.gz2004-04-08 17:45 2.0K 
[ ]quadraticAcc_positive_subproof16_subproof1.con.xml.gz2004-04-08 17:45 1.9K 
[ ]quadraticAcc_positive_subproof16_subproof2.con.body.xml.gz2004-04-08 17:45 2.0K 
[ ]quadraticAcc_positive_subproof16_subproof2.con.types.xml.gz2004-04-08 17:45 1.9K 
[ ]quadraticAcc_positive_subproof16_subproof2.con.xml.gz2004-04-08 17:45 1.9K 
[ ]quadraticAcc_positive_subproof16_subproof3.con.body.xml.gz2004-04-08 17:45 2.0K 
[ ]quadraticAcc_positive_subproof16_subproof3.con.types.xml.gz2004-04-08 17:45 2.0K 
[ ]quadraticAcc_positive_subproof16_subproof3.con.xml.gz2004-04-08 17:45 1.9K 
[ ]quadraticAcc_positive_subproof16_subproof4.con.body.xml.gz2004-04-08 17:45 2.0K 
[ ]quadraticAcc_positive_subproof16_subproof4.con.types.xml.gz2004-04-08 17:45 1.9K 
[ ]quadraticAcc_positive_subproof16_subproof4.con.xml.gz2004-04-08 17:45 1.9K 
[ ]quadraticAcc_positive_subproof17.con.body.xml.gz2004-04-08 17:47 23K 
[ ]quadraticAcc_positive_subproof17.con.types.xml.gz2004-04-08 17:47 23K 
[ ]quadraticAcc_positive_subproof17.con.xml.gz2004-04-08 17:47 2.5K 
[ ]quadraticAcc_positive_subproof17_subproof.con.body.xml.gz2004-04-08 17:46 496K 
[ ]quadraticAcc_positive_subproof17_subproof.con.types.xml.gz2004-04-08 17:46 2.1M 
[ ]quadraticAcc_positive_subproof17_subproof.con.xml.gz2004-04-08 17:46 2.9K 
[ ]quadraticAcc_positive_subproof17_subproof0.con.body.xml.gz2004-04-08 17:47 496K 
[ ]quadraticAcc_positive_subproof17_subproof0.con.types.xml.gz2004-04-08 17:47 2.1M 
[ ]quadraticAcc_positive_subproof17_subproof0.con.xml.gz2004-04-08 17:47 2.9K 
[ ]quadraticAcc_positive_subproof17_subproof1.con.body.xml.gz2004-04-08 17:47 2.0K 
[ ]quadraticAcc_positive_subproof17_subproof1.con.types.xml.gz2004-04-08 17:47 2.0K 
[ ]quadraticAcc_positive_subproof17_subproof1.con.xml.gz2004-04-08 17:47 1.9K 
[ ]quadraticAcc_positive_subproof17_subproof2.con.body.xml.gz2004-04-08 17:47 2.0K 
[ ]quadraticAcc_positive_subproof17_subproof2.con.types.xml.gz2004-04-08 17:47 1.9K 
[ ]quadraticAcc_positive_subproof17_subproof2.con.xml.gz2004-04-08 17:47 1.9K 
[ ]quadraticAcc_positive_subproof17_subproof3.con.body.xml.gz2004-04-08 17:47 2.0K 
[ ]quadraticAcc_positive_subproof17_subproof3.con.types.xml.gz2004-04-08 17:47 2.0K 
[ ]quadraticAcc_positive_subproof17_subproof3.con.xml.gz2004-04-08 17:47 1.9K 
[ ]quadraticAcc_positive_subproof17_subproof4.con.body.xml.gz2004-04-08 17:47 2.0K 
[ ]quadraticAcc_positive_subproof17_subproof4.con.types.xml.gz2004-04-08 17:47 1.9K 
[ ]quadraticAcc_positive_subproof17_subproof4.con.xml.gz2004-04-08 17:47 1.9K 
[ ]quadraticAcc_positive_subproof17_subproof5.con.body.xml.gz2004-04-08 17:47 2.0K 
[ ]quadraticAcc_positive_subproof17_subproof5.con.types.xml.gz2004-04-08 17:47 2.0K 
[ ]quadraticAcc_positive_subproof17_subproof5.con.xml.gz2004-04-08 17:47 1.9K 
[ ]quadraticAcc_positive_subproof17_subproof6.con.body.xml.gz2004-04-08 17:47 2.0K 
[ ]quadraticAcc_positive_subproof17_subproof6.con.types.xml.gz2004-04-08 17:47 1.9K 
[ ]quadraticAcc_positive_subproof17_subproof6.con.xml.gz2004-04-08 17:47 1.9K 
[ ]quadraticAcc_positive_subproof17_subproof7.con.body.xml.gz2004-04-08 17:47 2.0K 
[ ]quadraticAcc_positive_subproof17_subproof7.con.types.xml.gz2004-04-08 17:47 2.0K 
[ ]quadraticAcc_positive_subproof17_subproof7.con.xml.gz2004-04-08 17:47 1.9K 
[ ]quadraticAcc_positive_subproof17_subproof8.con.body.xml.gz2004-04-08 17:47 2.0K 
[ ]quadraticAcc_positive_subproof17_subproof8.con.types.xml.gz2004-04-08 17:47 1.9K 
[ ]quadraticAcc_positive_subproof17_subproof8.con.xml.gz2004-04-08 17:47 1.9K 
[ ]quadratic_algorithm_is_correct.con.body.xml.gz2004-04-08 18:11 1.1K 
[ ]quadratic_algorithm_is_correct.con.types.xml.gz2004-04-08 18:11 2.5K 
[ ]quadratic_algorithm_is_correct.con.xml.gz2004-04-08 18:11 1.5K 
[ ]quadratic_output_bit.con.body.xml.gz2004-04-08 17:48 225K 
[ ]quadratic_output_bit.con.types.xml.gz2004-04-08 17:48 681K 
[ ]quadratic_output_bit.con.xml.gz2004-04-08 17:48 882  
[ ]quadratic_output_bit_subproof.con.body.xml.gz2004-04-08 17:48 5.4K 
[ ]quadratic_output_bit_subproof.con.types.xml.gz2004-04-08 17:48 7.2K 
[ ]quadratic_output_bit_subproof.con.xml.gz2004-04-08 17:48 1.8K 
[ ]quadratic_output_bit_subproof0.con.body.xml.gz2004-04-08 17:48 5.4K 
[ ]quadratic_output_bit_subproof0.con.types.xml.gz2004-04-08 17:48 7.2K 
[ ]quadratic_output_bit_subproof0.con.xml.gz2004-04-08 17:48 1.8K 
[ ]quadratic_output_bit_subproof1.con.body.xml.gz2004-04-08 17:48 5.6K 
[ ]quadratic_output_bit_subproof1.con.types.xml.gz2004-04-08 17:48 7.3K 
[ ]quadratic_output_bit_subproof1.con.xml.gz2004-04-08 17:48 1.9K 
[ ]quadratic_output_bit_subproof2.con.body.xml.gz2004-04-08 17:48 5.6K 
[ ]quadratic_output_bit_subproof2.con.types.xml.gz2004-04-08 17:48 7.3K 
[ ]quadratic_output_bit_subproof2.con.xml.gz2004-04-08 17:48 1.9K 
[ ]quadratic_positive_input.con.body.xml.gz2004-04-08 18:10 968K 
[ ]quadratic_positive_input.con.types.xml.gz2004-04-08 18:11 2.7M 
[ ]quadratic_positive_input.con.xml.gz2004-04-08 18:10 1.4K 
[ ]quadratic_sign.con.body.xml.gz2004-04-08 17:43 669K 
[ ]quadratic_sign.con.types.xml.gz2004-04-08 17:43 862K 
[ ]quadratic_sign.con.xml.gz2004-04-08 17:43 895  
[ ]quadratic_sign_subproof.con.body.xml.gz2004-04-08 17:42 3.5K 
[ ]quadratic_sign_subproof.con.types.xml.gz2004-04-08 17:42 5.0K 
[ ]quadratic_sign_subproof.con.xml.gz2004-04-08 17:42 1.0K 
[ ]quadratic_sign_subproof0.con.body.xml.gz2004-04-08 17:42 3.5K 
[ ]quadratic_sign_subproof0.con.types.xml.gz2004-04-08 17:42 5.0K 
[ ]quadratic_sign_subproof0.con.xml.gz2004-04-08 17:42 1.0K 
[ ]quadratic_sign_subproof1.con.body.xml.gz2004-04-08 17:42 3.1K 
[ ]quadratic_sign_subproof1.con.types.xml.gz2004-04-08 17:42 4.4K 
[ ]quadratic_sign_subproof1.con.xml.gz2004-04-08 17:42 836  
[ ]quadratic_sign_subproof2.con.body.xml.gz2004-04-08 17:42 3.8K 
[ ]quadratic_sign_subproof2.con.types.xml.gz2004-04-08 17:42 5.3K 
[ ]quadratic_sign_subproof2.con.xml.gz2004-04-08 17:42 1.3K 
[ ]quadratic_sign_subproof3.con.body.xml.gz2004-04-08 17:42 1.5K 
[ ]quadratic_sign_subproof3.con.types.xml.gz2004-04-08 17:42 2.2K 
[ ]quadratic_sign_subproof3.con.xml.gz2004-04-08 17:42 1.0K 
[ ]quadratic_sign_subproof4.con.body.xml.gz2004-04-08 17:42 3.8K 
[ ]quadratic_sign_subproof4.con.types.xml.gz2004-04-08 17:42 5.3K 
[ ]quadratic_sign_subproof4.con.xml.gz2004-04-08 17:42 1.3K 
[ ]quadratic_sign_subproof5.con.body.xml.gz2004-04-08 17:42 1.5K 
[ ]quadratic_sign_subproof5.con.types.xml.gz2004-04-08 17:42 2.3K 
[ ]quadratic_sign_subproof5.con.xml.gz2004-04-08 17:42 1.0K 
[ ]quadratic_sign_subproof6.con.body.xml.gz2004-04-08 17:42 3.8K 
[ ]quadratic_sign_subproof6.con.types.xml.gz2004-04-08 17:42 5.3K 
[ ]quadratic_sign_subproof6.con.xml.gz2004-04-08 17:42 1.3K 
[ ]quadratic_sign_subproof7.con.body.xml.gz2004-04-08 17:42 1.5K 
[ ]quadratic_sign_subproof7.con.types.xml.gz2004-04-08 17:42 2.2K 
[ ]quadratic_sign_subproof7.con.xml.gz2004-04-08 17:42 966  
[ ]quadratic_sign_subproof8.con.body.xml.gz2004-04-08 17:42 3.8K 
[ ]quadratic_sign_subproof8.con.types.xml.gz2004-04-08 17:42 5.3K 
[ ]quadratic_sign_subproof8.con.xml.gz2004-04-08 17:42 1.3K 
[ ]quadratic_sign_subproof9.con.body.xml.gz2004-04-08 17:42 1.5K 
[ ]quadratic_sign_subproof9.con.types.xml.gz2004-04-08 17:42 2.2K 
[ ]quadratic_sign_subproof9.con.xml.gz2004-04-08 17:42 1.0K 
[ ]quadratic_sign_subproof10.con.body.xml.gz2004-04-08 17:42 3.5K 
[ ]quadratic_sign_subproof10.con.types.xml.gz2004-04-08 17:42 5.1K 
[ ]quadratic_sign_subproof10.con.xml.gz2004-04-08 17:42 1.0K 
[ ]quadratic_sign_subproof11.con.body.xml.gz2004-04-08 17:42 3.5K 
[ ]quadratic_sign_subproof11.con.types.xml.gz2004-04-08 17:42 5.0K 
[ ]quadratic_sign_subproof11.con.xml.gz2004-04-08 17:42 1.0K 
[ ]quadratic_sign_subproof12.con.body.xml.gz2004-04-08 17:42 3.1K 
[ ]quadratic_sign_subproof12.con.types.xml.gz2004-04-08 17:42 4.4K 
[ ]quadratic_sign_subproof12.con.xml.gz2004-04-08 17:42 841  
[ ]quadratic_sign_subproof13.con.body.xml.gz2004-04-08 17:42 3.8K 
[ ]quadratic_sign_subproof13.con.types.xml.gz2004-04-08 17:42 5.3K 
[ ]quadratic_sign_subproof13.con.xml.gz2004-04-08 17:42 1.3K 
[ ]quadratic_sign_subproof14.con.body.xml.gz2004-04-08 17:42 1.5K 
[ ]quadratic_sign_subproof14.con.types.xml.gz2004-04-08 17:42 2.2K 
[ ]quadratic_sign_subproof14.con.xml.gz2004-04-08 17:42 1.0K 
[ ]quadratic_sign_subproof15.con.body.xml.gz2004-04-08 17:42 3.8K 
[ ]quadratic_sign_subproof15.con.types.xml.gz2004-04-08 17:42 5.3K 
[ ]quadratic_sign_subproof15.con.xml.gz2004-04-08 17:42 1.3K 
[ ]quadratic_sign_subproof16.con.body.xml.gz2004-04-08 17:42 1.5K 
[ ]quadratic_sign_subproof16.con.types.xml.gz2004-04-08 17:42 2.3K 
[ ]quadratic_sign_subproof16.con.xml.gz2004-04-08 17:42 1.0K 
[ ]quadratic_sign_subproof17.con.body.xml.gz2004-04-08 17:42 3.8K 
[ ]quadratic_sign_subproof17.con.types.xml.gz2004-04-08 17:42 5.3K 
[ ]quadratic_sign_subproof17.con.xml.gz2004-04-08 17:42 1.3K 
[ ]quadratic_sign_subproof18.con.body.xml.gz2004-04-08 17:42 1.5K 
[ ]quadratic_sign_subproof18.con.types.xml.gz2004-04-08 17:42 2.2K 
[ ]quadratic_sign_subproof18.con.xml.gz2004-04-08 17:42 969  
[ ]quadratic_sign_subproof19.con.body.xml.gz2004-04-08 17:42 3.8K 
[ ]quadratic_sign_subproof19.con.types.xml.gz2004-04-08 17:42 5.3K 
[ ]quadratic_sign_subproof19.con.xml.gz2004-04-08 17:42 1.3K 
[ ]quadratic_sign_subproof20.con.body.xml.gz2004-04-08 17:42 1.5K 
[ ]quadratic_sign_subproof20.con.types.xml.gz2004-04-08 17:42 2.2K 
[ ]quadratic_sign_subproof20.con.xml.gz2004-04-08 17:42 1.0K 
[ ]quadratic_sign_subproof21.con.body.xml.gz2004-04-08 17:42 3.5K 
[ ]quadratic_sign_subproof21.con.types.xml.gz2004-04-08 17:42 5.0K 
[ ]quadratic_sign_subproof21.con.xml.gz2004-04-08 17:42 1.0K 
[ ]quadratic_sign_subproof22.con.body.xml.gz2004-04-08 17:42 3.5K 
[ ]quadratic_sign_subproof22.con.types.xml.gz2004-04-08 17:42 5.0K 
[ ]quadratic_sign_subproof22.con.xml.gz2004-04-08 17:42 1.0K 
[ ]quadratic_sign_subproof23.con.body.xml.gz2004-04-08 17:42 3.1K 
[ ]quadratic_sign_subproof23.con.types.xml.gz2004-04-08 17:42 4.4K 
[ ]quadratic_sign_subproof23.con.xml.gz2004-04-08 17:42 845  
[ ]quadratic_sign_subproof24.con.body.xml.gz2004-04-08 17:42 3.8K 
[ ]quadratic_sign_subproof24.con.types.xml.gz2004-04-08 17:42 5.3K 
[ ]quadratic_sign_subproof24.con.xml.gz2004-04-08 17:42 1.3K 
[ ]quadratic_sign_subproof25.con.body.xml.gz2004-04-08 17:42 1.5K 
[ ]quadratic_sign_subproof25.con.types.xml.gz2004-04-08 17:42 2.2K 
[ ]quadratic_sign_subproof25.con.xml.gz2004-04-08 17:42 1.0K 
[ ]quadratic_sign_subproof26.con.body.xml.gz2004-04-08 17:42 3.8K 
[ ]quadratic_sign_subproof26.con.types.xml.gz2004-04-08 17:42 5.3K 
[ ]quadratic_sign_subproof26.con.xml.gz2004-04-08 17:42 1.3K 
[ ]quadratic_sign_subproof27.con.body.xml.gz2004-04-08 17:42 1.5K 
[ ]quadratic_sign_subproof27.con.types.xml.gz2004-04-08 17:42 2.3K 
[ ]quadratic_sign_subproof27.con.xml.gz2004-04-08 17:42 1.0K 
[ ]quadratic_sign_subproof28.con.body.xml.gz2004-04-08 17:42 3.8K 
[ ]quadratic_sign_subproof28.con.types.xml.gz2004-04-08 17:42 5.3K 
[ ]quadratic_sign_subproof28.con.xml.gz2004-04-08 17:42 1.3K 
[ ]quadratic_sign_subproof29.con.body.xml.gz2004-04-08 17:42 1.5K 
[ ]quadratic_sign_subproof29.con.types.xml.gz2004-04-08 17:42 2.2K 
[ ]quadratic_sign_subproof29.con.xml.gz2004-04-08 17:42 972  
[ ]quadratic_sign_subproof30.con.body.xml.gz2004-04-08 17:42 3.8K 
[ ]quadratic_sign_subproof30.con.types.xml.gz2004-04-08 17:42 5.3K 
[ ]quadratic_sign_subproof30.con.xml.gz2004-04-08 17:42 1.3K 
[ ]quadratic_sign_subproof31.con.body.xml.gz2004-04-08 17:42 1.5K 
[ ]quadratic_sign_subproof31.con.types.xml.gz2004-04-08 17:42 2.2K 
[ ]quadratic_sign_subproof31.con.xml.gz2004-04-08 17:42 1.0K 
[ ]quadratic_sign_subproof32.con.body.xml.gz2004-04-08 17:42 3.5K 
[ ]quadratic_sign_subproof32.con.types.xml.gz2004-04-08 17:42 5.0K 
[ ]quadratic_sign_subproof32.con.xml.gz2004-04-08 17:42 1.0K 
[ ]quadratic_sign_subproof33.con.body.xml.gz2004-04-08 17:42 3.5K 
[ ]quadratic_sign_subproof33.con.types.xml.gz2004-04-08 17:42 5.0K 
[ ]quadratic_sign_subproof33.con.xml.gz2004-04-08 17:42 1.0K 
[ ]quadratic_sign_subproof34.con.body.xml.gz2004-04-08 17:42 3.1K 
[ ]quadratic_sign_subproof34.con.types.xml.gz2004-04-08 17:42 4.4K 
[ ]quadratic_sign_subproof34.con.xml.gz2004-04-08 17:42 841  
[ ]quadratic_sign_subproof35.con.body.xml.gz2004-04-08 17:42 3.8K 
[ ]quadratic_sign_subproof35.con.types.xml.gz2004-04-08 17:42 5.3K 
[ ]quadratic_sign_subproof35.con.xml.gz2004-04-08 17:42 1.3K 
[ ]quadratic_sign_subproof36.con.body.xml.gz2004-04-08 17:42 1.5K 
[ ]quadratic_sign_subproof36.con.types.xml.gz2004-04-08 17:42 2.2K 
[ ]quadratic_sign_subproof36.con.xml.gz2004-04-08 17:42 1.0K 
[ ]quadratic_sign_subproof37.con.body.xml.gz2004-04-08 17:42 3.8K 
[ ]quadratic_sign_subproof37.con.types.xml.gz2004-04-08 17:42 5.3K 
[ ]quadratic_sign_subproof37.con.xml.gz2004-04-08 17:42 1.3K 
[ ]quadratic_sign_subproof38.con.body.xml.gz2004-04-08 17:42 1.5K 
[ ]quadratic_sign_subproof38.con.types.xml.gz2004-04-08 17:42 2.3K 
[ ]quadratic_sign_subproof38.con.xml.gz2004-04-08 17:42 1.0K 
[ ]quadratic_sign_subproof39.con.body.xml.gz2004-04-08 17:42 3.8K 
[ ]quadratic_sign_subproof39.con.types.xml.gz2004-04-08 17:42 5.3K 
[ ]quadratic_sign_subproof39.con.xml.gz2004-04-08 17:42 1.3K 
[ ]quadratic_sign_subproof40.con.body.xml.gz2004-04-08 17:42 1.5K 
[ ]quadratic_sign_subproof40.con.types.xml.gz2004-04-08 17:42 2.2K 
[ ]quadratic_sign_subproof40.con.xml.gz2004-04-08 17:42 970  
[ ]quadratic_sign_subproof41.con.body.xml.gz2004-04-08 17:42 3.8K 
[ ]quadratic_sign_subproof41.con.types.xml.gz2004-04-08 17:42 5.3K 
[ ]quadratic_sign_subproof41.con.xml.gz2004-04-08 17:42 1.3K 
[ ]quadratic_sign_subproof42.con.body.xml.gz2004-04-08 17:42 1.5K 
[ ]quadratic_sign_subproof42.con.types.xml.gz2004-04-08 17:42 2.2K 
[ ]quadratic_sign_subproof42.con.xml.gz2004-04-08 17:42 1.0K 
[ ]quadratic_subproof.con.body.xml.gz2004-04-08 18:11 5.2K 
[ ]quadratic_subproof.con.types.xml.gz2004-04-08 18:11 7.4K 
[ ]quadratic_subproof.con.xml.gz2004-04-08 18:11 1.2K 
[ ]quadratic_subproof0.con.body.xml.gz2004-04-08 18:11 5.2K 
[ ]quadratic_subproof0.con.types.xml.gz2004-04-08 18:11 7.4K 
[ ]quadratic_subproof0.con.xml.gz2004-04-08 18:11 1.2K 
[ ]quadratic_subproof1.con.body.xml.gz2004-04-08 18:11 5.2K 
[ ]quadratic_subproof1.con.types.xml.gz2004-04-08 18:11 7.4K 
[ ]quadratic_subproof1.con.xml.gz2004-04-08 18:11 1.2K 
[ ]quadratic_subproof2.con.body.xml.gz2004-04-08 18:11 5.2K 
[ ]quadratic_subproof2.con.types.xml.gz2004-04-08 18:11 7.4K 
[ ]quadratic_subproof2.con.xml.gz2004-04-08 18:11 1.2K 
[ ]quadratic_subproof3.con.body.xml.gz2004-04-08 18:11 5.1K 
[ ]quadratic_subproof3.con.types.xml.gz2004-04-08 18:11 7.4K 
[ ]quadratic_subproof3.con.xml.gz2004-04-08 18:11 1.2K 
[ ]quadratic_subproof4.con.body.xml.gz2004-04-08 18:11 5.1K 
[ ]quadratic_subproof4.con.types.xml.gz2004-04-08 18:11 7.4K 
[ ]quadratic_subproof4.con.xml.gz2004-04-08 18:11 1.2K 
[ ]spec_Qquadratic_Qpositive_to_Q.con.body.xml.gz2004-04-08 17:23 1.1K 
[ ]spec_Qquadratic_Qpositive_to_Q.con.types.xml.gz2004-04-08 17:23 247  
[ ]spec_Qquadratic_Qpositive_to_Q.con.xml.gz2004-04-08 17:23 414  
[ ]spec_Qquadratic_Qpositive_to_Q_One_p.con.body.xml.gz2004-04-08 17:23 14K 
[ ]spec_Qquadratic_Qpositive_to_Q_One_p.con.types.xml.gz2004-04-08 17:23 17K 
[ ]spec_Qquadratic_Qpositive_to_Q_One_p.con.xml.gz2004-04-08 17:23 829  
[ ]spec_Qquadratic_Qpositive_to_Q_One_p_unfolded.con.body.xml.gz2004-04-08 17:23 313  
[ ]spec_Qquadratic_Qpositive_to_Q_One_p_unfolded.con.types.xml.gz2004-04-08 17:23 1.8K 
[ ]spec_Qquadratic_Qpositive_to_Q_One_p_unfolded.con.xml.gz2004-04-08 17:23 1.4K 
[ ]spec_Qquadratic_Qpositive_to_Q_Zopp.con.body.xml.gz2004-04-08 17:48 33K 
[ ]spec_Qquadratic_Qpositive_to_Q_Zopp.con.types.xml.gz2004-04-08 17:48 30K 
[ ]spec_Qquadratic_Qpositive_to_Q_Zopp.con.xml.gz2004-04-08 17:48 865  
[ ]spec_Qquadratic_Qpositive_to_Q_Zopp_2.con.body.xml.gz2004-04-08 17:48 16K 
[ ]spec_Qquadratic_Qpositive_to_Q_Zopp_2.con.types.xml.gz2004-04-08 17:48 15K 
[ ]spec_Qquadratic_Qpositive_to_Q_Zopp_2.con.xml.gz2004-04-08 17:48 851  
[ ]spec_Qquadratic_Qpositive_to_Q_Zopp_3.con.body.xml.gz2004-04-08 17:48 24K 
[ ]spec_Qquadratic_Qpositive_to_Q_Zopp_3.con.types.xml.gz2004-04-08 17:48 22K 
[ ]spec_Qquadratic_Qpositive_to_Q_Zopp_3.con.xml.gz2004-04-08 17:48 846  
[ ]spec_Qquadratic_Qpositive_to_Q_Zopp_subproof.con.body.xml.gz2004-04-08 17:48 7.9K 
[ ]spec_Qquadratic_Qpositive_to_Q_Zopp_subproof.con.types.xml.gz2004-04-08 17:48 12K 
[ ]spec_Qquadratic_Qpositive_to_Q_Zopp_subproof.con.xml.gz2004-04-08 17:48 1.7K 
[ ]spec_Qquadratic_Qpositive_to_Q_commut.con.body.xml.gz2004-04-08 17:23 670  
[ ]spec_Qquadratic_Qpositive_to_Q_commut.con.types.xml.gz2004-04-08 17:23 2.0K 
[ ]spec_Qquadratic_Qpositive_to_Q_commut.con.xml.gz2004-04-08 17:23 764  
[ ]spec_Qquadratic_Qpositive_to_Q_commut_subproof.con.body.xml.gz2004-04-08 17:23 12K 
[ ]spec_Qquadratic_Qpositive_to_Q_commut_subproof.con.types.xml.gz2004-04-08 17:23 16K 
[ ]spec_Qquadratic_Qpositive_to_Q_commut_subproof.con.xml.gz2004-04-08 17:23 1.7K 
[ ]spec_Qquadratic_Qpositive_to_Q_dL_dL.con.body.xml.gz2004-04-08 17:27 308  
[ ]spec_Qquadratic_Qpositive_to_Q_dL_dL.con.types.xml.gz2004-04-08 17:27 259  
[ ]spec_Qquadratic_Qpositive_to_Q_dL_dL.con.xml.gz2004-04-08 17:27 1.0K 
[ ]spec_Qquadratic_Qpositive_to_Q_dL_dL_subproof.con.body.xml.gz2004-04-08 17:27 1.2M 
[ ]spec_Qquadratic_Qpositive_to_Q_dL_dL_subproof.con.types.xml.gz2004-04-08 17:27 4.3M 
[ ]spec_Qquadratic_Qpositive_to_Q_dL_dL_subproof.con.xml.gz2004-04-08 17:27 1.0K 
[ ]spec_Qquadratic_Qpositive_to_Q_dL_dL_unfolded.con.body.xml.gz2004-04-08 17:27 316  
[ ]spec_Qquadratic_Qpositive_to_Q_dL_dL_unfolded.con.types.xml.gz2004-04-08 17:27 2.5K 
[ ]spec_Qquadratic_Qpositive_to_Q_dL_dL_unfolded.con.xml.gz2004-04-08 17:27 2.0K 
[ ]spec_Qquadratic_Qpositive_to_Q_dL_nR.con.body.xml.gz2004-04-08 17:25 308  
[ ]spec_Qquadratic_Qpositive_to_Q_dL_nR.con.types.xml.gz2004-04-08 17:25 258  
[ ]spec_Qquadratic_Qpositive_to_Q_dL_nR.con.xml.gz2004-04-08 17:25 1.0K 
[ ]spec_Qquadratic_Qpositive_to_Q_dL_nR_subproof.con.body.xml.gz2004-04-08 17:25 12K 
[ ]spec_Qquadratic_Qpositive_to_Q_dL_nR_subproof.con.types.xml.gz2004-04-08 17:25 15K 
[ ]spec_Qquadratic_Qpositive_to_Q_dL_nR_subproof.con.xml.gz2004-04-08 17:25 1.0K 
[ ]spec_Qquadratic_Qpositive_to_Q_dL_nR_unfolded.con.body.xml.gz2004-04-08 17:25 317  
[ ]spec_Qquadratic_Qpositive_to_Q_dL_nR_unfolded.con.types.xml.gz2004-04-08 17:25 2.5K 
[ ]spec_Qquadratic_Qpositive_to_Q_dL_nR_unfolded.con.xml.gz2004-04-08 17:25 2.0K 
[ ]spec_Qquadratic_Qpositive_to_Q_nR_dL.con.body.xml.gz2004-04-08 17:25 308  
[ ]spec_Qquadratic_Qpositive_to_Q_nR_dL.con.types.xml.gz2004-04-08 17:25 258  
[ ]spec_Qquadratic_Qpositive_to_Q_nR_dL.con.xml.gz2004-04-08 17:25 1.0K 
[ ]spec_Qquadratic_Qpositive_to_Q_nR_dL_subproof.con.body.xml.gz2004-04-08 17:25 1.0M 
[ ]spec_Qquadratic_Qpositive_to_Q_nR_dL_subproof.con.types.xml.gz2004-04-08 17:25 4.1M 
[ ]spec_Qquadratic_Qpositive_to_Q_nR_dL_subproof.con.xml.gz2004-04-08 17:25 1.0K 
[ ]spec_Qquadratic_Qpositive_to_Q_nR_dL_unfolded.con.body.xml.gz2004-04-08 17:25 317  
[ ]spec_Qquadratic_Qpositive_to_Q_nR_dL_unfolded.con.types.xml.gz2004-04-08 17:25 2.5K 
[ ]spec_Qquadratic_Qpositive_to_Q_nR_dL_unfolded.con.xml.gz2004-04-08 17:25 2.0K 
[ ]spec_Qquadratic_Qpositive_to_Q_nR_nR.con.body.xml.gz2004-04-08 17:23 58K 
[ ]spec_Qquadratic_Qpositive_to_Q_nR_nR.con.types.xml.gz2004-04-08 17:23 53K 
[ ]spec_Qquadratic_Qpositive_to_Q_nR_nR.con.xml.gz2004-04-08 17:23 1.0K 
[ ]spec_Qquadratic_Qpositive_to_Q_nR_nR_subproof.con.body.xml.gz2004-04-08 17:23 7.0K 
[ ]spec_Qquadratic_Qpositive_to_Q_nR_nR_subproof.con.types.xml.gz2004-04-08 17:23 11K 
[ ]spec_Qquadratic_Qpositive_to_Q_nR_nR_subproof.con.xml.gz2004-04-08 17:23 1.4K 
[ ]spec_Qquadratic_Qpositive_to_Q_nR_nR_subproof0.con.body.xml.gz2004-04-08 17:23 7.0K 
[ ]spec_Qquadratic_Qpositive_to_Q_nR_nR_subproof0.con.types.xml.gz2004-04-08 17:23 11K 
[ ]spec_Qquadratic_Qpositive_to_Q_nR_nR_subproof0.con.xml.gz2004-04-08 17:23 1.3K 
[ ]spec_Qquadratic_Qpositive_to_Q_nR_nR_unfolded.con.body.xml.gz2004-04-08 17:23 316  
[ ]spec_Qquadratic_Qpositive_to_Q_nR_nR_unfolded.con.types.xml.gz2004-04-08 17:23 2.5K 
[ ]spec_Qquadratic_Qpositive_to_Q_nR_nR_unfolded.con.xml.gz2004-04-08 17:23 2.0K 
[ ]spec_Qquadratic_Qpositive_to_Q_p_One.con.body.xml.gz2004-04-08 17:23 14K 
[ ]spec_Qquadratic_Qpositive_to_Q_p_One.con.types.xml.gz2004-04-08 17:23 17K 
[ ]spec_Qquadratic_Qpositive_to_Q_p_One.con.xml.gz2004-04-08 17:23 829  
[ ]spec_Qquadratic_Qpositive_to_Q_p_One_unfolded.con.body.xml.gz2004-04-08 17:23 313  
[ ]spec_Qquadratic_Qpositive_to_Q_p_One_unfolded.con.types.xml.gz2004-04-08 17:23 1.8K 
[ ]spec_Qquadratic_Qpositive_to_Q_p_One_unfolded.con.xml.gz2004-04-08 17:23 1.4K 
[ ]spec_Qquadratic_Qpositive_to_Q_spec_Qquadratic_Qpositive_to_Qpositive2_neg_1.con.body.xml.gz2004-04-08 17:48 43K 
[ ]spec_Qquadratic_Qpositive_to_Q_spec_Qquadratic_Qpositive_to_Qpositive2_neg_1.con.types.xml.gz2004-04-08 17:48 42K 
[ ]spec_Qquadratic_Qpositive_to_Q_spec_Qquadratic_Qpositive_to_Qpositive2_neg_1.con.xml.gz2004-04-08 17:48 1.1K 
[ ]spec_Qquadratic_Qpositive_to_Q_spec_Qquadratic_Qpositive_to_Qpositive2_neg_1_subproof.con.body.xml.gz2004-04-08 17:48 8.2K 
[ ]spec_Qquadratic_Qpositive_to_Q_spec_Qquadratic_Qpositive_to_Qpositive2_neg_1_subproof.con.types.xml.gz2004-04-08 17:48 13K 
[ ]spec_Qquadratic_Qpositive_to_Q_spec_Qquadratic_Qpositive_to_Qpositive2_neg_1_subproof.con.xml.gz2004-04-08 17:48 2.0K 
[ ]spec_Qquadratic_Qpositive_to_Q_spec_Qquadratic_Qpositive_to_Qpositive2_neg_2.con.body.xml.gz2004-04-08 17:48 60K 
[ ]spec_Qquadratic_Qpositive_to_Q_spec_Qquadratic_Qpositive_to_Qpositive2_neg_2.con.types.xml.gz2004-04-08 17:48 57K 
[ ]spec_Qquadratic_Qpositive_to_Q_spec_Qquadratic_Qpositive_to_Qpositive2_neg_2.con.xml.gz2004-04-08 17:48 1.1K 
[ ]spec_Qquadratic_Qpositive_to_Q_spec_Qquadratic_Qpositive_to_Qpositive2_neg_2_subproof.con.body.xml.gz2004-04-08 17:48 8.1K 
[ ]spec_Qquadratic_Qpositive_to_Q_spec_Qquadratic_Qpositive_to_Qpositive2_neg_2_subproof.con.types.xml.gz2004-04-08 17:48 13K 
[ ]spec_Qquadratic_Qpositive_to_Q_spec_Qquadratic_Qpositive_to_Qpositive2_neg_2_subproof.con.xml.gz2004-04-08 17:48 2.0K 
[ ]spec_Qquadratic_Qpositive_to_Q_spec_Qquadratic_Qpositive_to_Qpositive2_pos.con.body.xml.gz2004-04-08 17:48 14K 
[ ]spec_Qquadratic_Qpositive_to_Q_spec_Qquadratic_Qpositive_to_Qpositive2_pos.con.types.xml.gz2004-04-08 17:48 16K 
[ ]spec_Qquadratic_Qpositive_to_Q_spec_Qquadratic_Qpositive_to_Qpositive2_pos.con.xml.gz2004-04-08 17:48 1.0K 
[ ]spec_Qquadratic_Qpositive_to_Qpositive2.con.body.xml.gz2004-04-08 17:23 1.2K 
[ ]spec_Qquadratic_Qpositive_to_Qpositive2.con.types.xml.gz2004-04-08 17:23 257  
[ ]spec_Qquadratic_Qpositive_to_Qpositive2.con.xml.gz2004-04-08 17:23 415  
[ ]spec_Qquadratic_Qpositive_to_Qpositive2_commut.con.body.xml.gz2004-04-08 17:23 681  
[ ]spec_Qquadratic_Qpositive_to_Qpositive2_commut.con.types.xml.gz2004-04-08 17:23 2.2K 
[ ]spec_Qquadratic_Qpositive_to_Qpositive2_commut.con.xml.gz2004-04-08 17:23 769  
[ ]spec_Qquadratic_Qpositive_to_Qpositive2_commut_subproof.con.body.xml.gz2004-04-08 17:23 13K 
[ ]spec_Qquadratic_Qpositive_to_Qpositive2_commut_subproof.con.types.xml.gz2004-04-08 17:23 18K 
[ ]spec_Qquadratic_Qpositive_to_Qpositive2_commut_subproof.con.xml.gz2004-04-08 17:23 1.7K 
[ ]spec_Qquadratic_Qpositive_to_Qpositive2_dL_dL.con.body.xml.gz2004-04-08 17:39 320  
[ ]spec_Qquadratic_Qpositive_to_Qpositive2_dL_dL.con.types.xml.gz2004-04-08 17:39 269  
[ ]spec_Qquadratic_Qpositive_to_Qpositive2_dL_dL.con.xml.gz2004-04-08 17:39 2.0K 
[ ]spec_Qquadratic_Qpositive_to_Qpositive2_dL_dL_subproof.con.body.xml.gz2004-04-08 17:38 2.2M 
[ ]spec_Qquadratic_Qpositive_to_Qpositive2_dL_dL_subproof.con.types.xml.gz2004-04-08 17:39 8.5M 
[ ]spec_Qquadratic_Qpositive_to_Qpositive2_dL_dL_subproof.con.xml.gz2004-04-08 17:38 2.0K 
[ ]spec_Qquadratic_Qpositive_to_Qpositive2_dL_emission.con.body.xml.gz2004-04-08 17:42 56K 
[ ]spec_Qquadratic_Qpositive_to_Qpositive2_dL_emission.con.types.xml.gz2004-04-08 17:42 90K 
[ ]spec_Qquadratic_Qpositive_to_Qpositive2_dL_emission.con.xml.gz2004-04-08 17:42 1.9K 
[ ]spec_Qquadratic_Qpositive_to_Qpositive2_dL_emission_subproof.con.body.xml.gz2004-04-08 17:42 969K 
[ ]spec_Qquadratic_Qpositive_to_Qpositive2_dL_emission_subproof.con.types.xml.gz2004-04-08 17:42 3.9M 
[ ]spec_Qquadratic_Qpositive_to_Qpositive2_dL_emission_subproof.con.xml.gz2004-04-08 17:42 3.9K 
[ ]spec_Qquadratic_Qpositive_to_Qpositive2_dL_nR.con.body.xml.gz2004-04-08 17:32 30K 
[ ]spec_Qquadratic_Qpositive_to_Qpositive2_dL_nR.con.types.xml.gz2004-04-08 17:32 41K 
[ ]spec_Qquadratic_Qpositive_to_Qpositive2_dL_nR.con.xml.gz2004-04-08 17:32 2.0K 
[ ]spec_Qquadratic_Qpositive_to_Qpositive2_nR_dL.con.body.xml.gz2004-04-08 17:32 320  
[ ]spec_Qquadratic_Qpositive_to_Qpositive2_nR_dL.con.types.xml.gz2004-04-08 17:32 269  
[ ]spec_Qquadratic_Qpositive_to_Qpositive2_nR_dL.con.xml.gz2004-04-08 17:32 2.0K 
[ ]spec_Qquadratic_Qpositive_to_Qpositive2_nR_dL_subproof.con.body.xml.gz2004-04-08 17:32 2.0M 
[ ]spec_Qquadratic_Qpositive_to_Qpositive2_nR_dL_subproof.con.types.xml.gz2004-04-08 17:32 8.2M 
[ ]spec_Qquadratic_Qpositive_to_Qpositive2_nR_dL_subproof.con.xml.gz2004-04-08 17:32 2.0K 
[ ]spec_Qquadratic_Qpositive_to_Qpositive2_nR_emission.con.body.xml.gz2004-04-08 17:40 23K 
[ ]spec_Qquadratic_Qpositive_to_Qpositive2_nR_emission.con.types.xml.gz2004-04-08 17:40 26K 
[ ]spec_Qquadratic_Qpositive_to_Qpositive2_nR_emission.con.xml.gz2004-04-08 17:40 1.9K 
[ ]spec_Qquadratic_Qpositive_to_Qpositive2_nR_emission_subproof.con.body.xml.gz2004-04-08 17:40 839K 
[ ]spec_Qquadratic_Qpositive_to_Qpositive2_nR_emission_subproof.con.types.xml.gz2004-04-08 17:40 3.3M 
[ ]spec_Qquadratic_Qpositive_to_Qpositive2_nR_emission_subproof.con.xml.gz2004-04-08 17:40 3.7K 
[ ]spec_Qquadratic_Qpositive_to_Qpositive2_nR_nR.con.body.xml.gz2004-04-08 17:27 320  
[ ]spec_Qquadratic_Qpositive_to_Qpositive2_nR_nR.con.types.xml.gz2004-04-08 17:27 268  
[ ]spec_Qquadratic_Qpositive_to_Qpositive2_nR_nR.con.xml.gz2004-04-08 17:27 1.0K 
[ ]spec_Qquadratic_Qpositive_to_Qpositive2_nR_nR_subproof.con.body.xml.gz2004-04-08 17:27 34K 
[ ]spec_Qquadratic_Qpositive_to_Qpositive2_nR_nR_subproof.con.types.xml.gz2004-04-08 17:27 33K 
[ ]spec_Qquadratic_Qpositive_to_Qpositive2_nR_nR_subproof.con.xml.gz2004-04-08 17:27 1.0K 
[ ]spec_Qquadratic_Qpositive_to_Qpositive2_nR_nR_subproof_subproof.con.body.xml.gz2004-04-08 17:27 7.0K 
[ ]spec_Qquadratic_Qpositive_to_Qpositive2_nR_nR_subproof_subproof.con.types.xml.gz2004-04-08 17:27 11K 
[ ]spec_Qquadratic_Qpositive_to_Qpositive2_nR_nR_subproof_subproof.con.xml.gz2004-04-08 17:27 1.4K 
[ ]spec_Qquadratic_Qpositive_to_Qpositive2_nR_nR_subproof_subproof0.con.body.xml.gz2004-04-08 17:27 7.0K 
[ ]spec_Qquadratic_Qpositive_to_Qpositive2_nR_nR_subproof_subproof0.con.types.xml.gz2004-04-08 17:27 11K 
[ ]spec_Qquadratic_Qpositive_to_Qpositive2_nR_nR_subproof_subproof0.con.xml.gz2004-04-08 17:27 1.4K 
[ ]spec_q.con.body.xml.gz2004-04-08 17:23 1.0K 
[ ]spec_q.con.types.xml.gz2004-04-08 17:23 209  
[ ]spec_q.con.xml.gz2004-04-08 17:23 367  
Apache/2.4.61 (Debian) Server at mowgli.cs.unibo.it Port 80