Index of /xml/Nijmegen/QArith/Qquadratic_sign_properties

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]INDEX2005-07-05 08:11 2.1K 
[ ]Qquadratic_sign_neg_1.con.body.xml.gz2004-04-08 16:12 1.0M 
[ ]Qquadratic_sign_neg_1.con.types.xml.gz2004-04-08 16:13 441K 
[ ]Qquadratic_sign_neg_1.con.xml.gz2004-04-08 16:12 2.4K 
[ ]Qquadratic_sign_neg_2.con.body.xml.gz2004-04-08 16:25 2.9M 
[ ]Qquadratic_sign_neg_2.con.types.xml.gz2004-04-08 16:25 502K 
[ ]Qquadratic_sign_neg_2.con.xml.gz2004-04-08 16:25 4.1K 
[ ]Qquadratic_sign_pos_1.con.body.xml.gz2004-04-08 16:00 1.0M 
[ ]Qquadratic_sign_pos_1.con.types.xml.gz2004-04-08 16:00 466K 
[ ]Qquadratic_sign_pos_1.con.xml.gz2004-04-08 16:00 2.3K 
[ ]Qquadratic_sign_pos_2.con.body.xml.gz2004-04-08 16:10 2.7M 
[ ]Qquadratic_sign_pos_2.con.types.xml.gz2004-04-08 16:10 526K 
[ ]Qquadratic_sign_pos_2.con.xml.gz2004-04-08 16:10 4.1K 
[ ]Qquadratic_sign_tuple_equal.con.body.xml.gz2004-04-08 15:57 67K 
[ ]Qquadratic_sign_tuple_equal.con.types.xml.gz2004-04-08 15:57 85K 
[ ]Qquadratic_sign_tuple_equal.con.xml.gz2004-04-08 15:57 3.1K 
[ ]inside_square_1_inf.con.body.xml.gz2004-04-08 15:57 517  
[ ]inside_square_1_inf.con.types.xml.gz2004-04-08 15:57 233  
[ ]inside_square_1_inf.con.xml.gz2004-04-08 15:57 760  
[ ]inside_square_1_inf_subproof.con.body.xml.gz2004-04-08 15:57 7.7K 
[ ]inside_square_1_inf_subproof.con.types.xml.gz2004-04-08 15:57 4.0K 
[ ]inside_square_1_inf_subproof.con.xml.gz2004-04-08 15:57 777  
[ ]inside_square_2_inf.con.body.xml.gz2004-04-08 15:57 517  
[ ]inside_square_2_inf.con.types.xml.gz2004-04-08 15:57 233  
[ ]inside_square_2_inf.con.xml.gz2004-04-08 15:57 754  
[ ]inside_square_2_inf_subproof.con.body.xml.gz2004-04-08 15:57 7.7K 
[ ]inside_square_2_inf_subproof.con.types.xml.gz2004-04-08 15:57 4.0K 
[ ]inside_square_2_inf_subproof.con.xml.gz2004-04-08 15:57 771  
[ ]outside_square_1.con.body.xml.gz2004-04-08 15:57 280  
[ ]outside_square_1.con.types.xml.gz2004-04-08 15:57 231  
[ ]outside_square_1.con.xml.gz2004-04-08 15:57 666  
[ ]outside_square_1_subproof.con.body.xml.gz2004-04-08 15:57 108K 
[ ]outside_square_1_subproof.con.types.xml.gz2004-04-08 15:57 149K 
[ ]outside_square_1_subproof.con.xml.gz2004-04-08 15:57 685  
[ ]outside_square_2.con.body.xml.gz2004-04-08 15:57 280  
[ ]outside_square_2.con.types.xml.gz2004-04-08 15:57 231  
[ ]outside_square_2.con.xml.gz2004-04-08 15:57 667  
[ ]outside_square_2_subproof.con.body.xml.gz2004-04-08 15:57 107K 
[ ]outside_square_2_subproof.con.types.xml.gz2004-04-08 15:57 150K 
[ ]outside_square_2_subproof.con.xml.gz2004-04-08 15:57 685  
[ ]outside_square_3.con.body.xml.gz2004-04-08 15:57 279  
[ ]outside_square_3.con.types.xml.gz2004-04-08 15:57 231  
[ ]outside_square_3.con.xml.gz2004-04-08 15:57 596  
[ ]outside_square_3_subproof.con.body.xml.gz2004-04-08 15:57 47K 
[ ]outside_square_3_subproof.con.types.xml.gz2004-04-08 15:57 60K 
[ ]outside_square_3_subproof.con.xml.gz2004-04-08 15:57 621  
[ ]outside_square_4.con.body.xml.gz2004-04-08 15:57 279  
[ ]outside_square_4.con.types.xml.gz2004-04-08 15:57 231  
[ ]outside_square_4.con.xml.gz2004-04-08 15:57 596  
[ ]outside_square_4_subproof.con.body.xml.gz2004-04-08 15:57 47K 
[ ]outside_square_4_subproof.con.types.xml.gz2004-04-08 15:57 60K 
[ ]outside_square_4_subproof.con.xml.gz2004-04-08 15:57 618  
[ ]outside_square_5.con.body.xml.gz2004-04-08 15:57 279  
[ ]outside_square_5.con.types.xml.gz2004-04-08 15:57 232  
[ ]outside_square_5.con.xml.gz2004-04-08 15:57 595  
[ ]outside_square_5_subproof.con.body.xml.gz2004-04-08 15:57 47K 
[ ]outside_square_5_subproof.con.types.xml.gz2004-04-08 15:57 61K 
[ ]outside_square_5_subproof.con.xml.gz2004-04-08 15:57 618  
[ ]outside_square_6.con.body.xml.gz2004-04-08 15:57 279  
[ ]outside_square_6.con.types.xml.gz2004-04-08 15:57 231  
[ ]outside_square_6.con.xml.gz2004-04-08 15:57 594  
[ ]outside_square_6_subproof.con.body.xml.gz2004-04-08 15:57 49K 
[ ]outside_square_6_subproof.con.types.xml.gz2004-04-08 15:57 61K 
[ ]outside_square_6_subproof.con.xml.gz2004-04-08 15:57 614  
[ ]outside_square_7.con.body.xml.gz2004-04-08 15:57 279  
[ ]outside_square_7.con.types.xml.gz2004-04-08 15:57 231  
[ ]outside_square_7.con.xml.gz2004-04-08 15:57 597  
[ ]outside_square_7_subproof.con.body.xml.gz2004-04-08 15:57 47K 
[ ]outside_square_7_subproof.con.types.xml.gz2004-04-08 15:57 60K 
[ ]outside_square_7_subproof.con.xml.gz2004-04-08 15:57 619  
[ ]outside_square_8.con.body.xml.gz2004-04-08 15:57 279  
[ ]outside_square_8.con.types.xml.gz2004-04-08 15:57 231  
[ ]outside_square_8.con.xml.gz2004-04-08 15:57 595  
[ ]outside_square_8_subproof.con.body.xml.gz2004-04-08 15:57 47K 
[ ]outside_square_8_subproof.con.types.xml.gz2004-04-08 15:57 61K 
[ ]outside_square_8_subproof.con.xml.gz2004-04-08 15:57 616  
[ ]outside_square_9.con.body.xml.gz2004-04-08 15:57 279  
[ ]outside_square_9.con.types.xml.gz2004-04-08 15:57 231  
[ ]outside_square_9.con.xml.gz2004-04-08 15:57 596  
[ ]outside_square_9_subproof.con.body.xml.gz2004-04-08 15:57 48K 
[ ]outside_square_9_subproof.con.types.xml.gz2004-04-08 15:57 61K 
[ ]outside_square_9_subproof.con.xml.gz2004-04-08 15:57 617  
[ ]outside_square_10.con.body.xml.gz2004-04-08 15:57 281  
[ ]outside_square_10.con.types.xml.gz2004-04-08 15:57 233  
[ ]outside_square_10.con.xml.gz2004-04-08 15:57 597  
[ ]outside_square_10_subproof.con.body.xml.gz2004-04-08 15:57 47K 
[ ]outside_square_10_subproof.con.types.xml.gz2004-04-08 15:57 61K 
[ ]outside_square_10_subproof.con.xml.gz2004-04-08 15:57 616  
[ ]same_ratio.con.body.xml.gz2004-04-08 15:57 1.0K 
[ ]same_ratio.con.types.xml.gz2004-04-08 15:57 218  
[ ]same_ratio.con.xml.gz2004-04-08 15:57 355  
[ ]same_ratio_dec_inf.con.body.xml.gz2004-04-08 15:57 27K 
[ ]same_ratio_dec_inf.con.types.xml.gz2004-04-08 15:57 18K 
[ ]same_ratio_dec_inf.con.xml.gz2004-04-08 15:57 680  
Apache/2.4.61 (Debian) Server at mowgli.cs.unibo.it Port 80