Index of /xml/Nijmegen/QArith/Qquadratic_sign

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]inside_square_1.con.body.xml.gz2004-04-08 15:52 696  
[ ]inside_square_1.con.types.xml.gz2004-04-08 15:52 218  
[ ]inside_square_1.con.xml.gz2004-04-08 15:52 321  
[ ]inside_square_2.con.body.xml.gz2004-04-08 15:52 688  
[ ]inside_square_2.con.types.xml.gz2004-04-08 15:52 219  
[ ]inside_square_2.con.xml.gz2004-04-08 15:52 321  
[ ]outside_square.con.body.xml.gz2004-04-08 15:52 545  
[ ]outside_square.con.types.xml.gz2004-04-08 15:52 217  
[ ]outside_square.con.xml.gz2004-04-08 15:52 320  
[ ]three_integers_dec_inf.con.body.xml.gz2004-04-08 15:52 5.5K 
[ ]three_integers_dec_inf.con.types.xml.gz2004-04-08 15:52 2.4K 
[ ]three_integers_dec_inf.con.xml.gz2004-04-08 15:52 728  
[ ]Qquadratic_sg_denom_nonzero.ind.types.xml.gz2004-04-08 15:52 234  
[ ]Qquadratic_sg_denom_nonzero.ind.xml.gz2004-04-08 15:52 2.3K 
[ ]Qquadratic_sg_denom_nonzero_ind.con.body.xml.gz2004-04-08 15:52 6.2K 
[ ]Qquadratic_sg_denom_nonzero_ind.con.types.xml.gz2004-04-08 15:52 6.8K 
[ ]Qquadratic_sg_denom_nonzero_ind.con.xml.gz2004-04-08 15:52 3.0K 
[ ]inside_square_1_dec_inf.con.body.xml.gz2004-04-08 15:52 7.7K 
[ ]inside_square_1_dec_inf.con.types.xml.gz2004-04-08 15:52 5.6K 
[ ]inside_square_1_dec_inf.con.xml.gz2004-04-08 15:52 516  
[ ]inside_square_2_dec_inf.con.body.xml.gz2004-04-08 15:52 7.7K 
[ ]inside_square_2_dec_inf.con.types.xml.gz2004-04-08 15:52 5.6K 
[ ]inside_square_2_dec_inf.con.xml.gz2004-04-08 15:52 516  
[ ]Qquadratic_signok_0_subproof.con.body.xml.gz2004-04-08 15:52 4.6K 
[ ]Qquadratic_signok_0_subproof.con.types.xml.gz2004-04-08 15:52 5.7K 
[ ]Qquadratic_signok_0_subproof.con.xml.gz2004-04-08 15:52 1.5K 
[ ]Qquadratic_signok_0.con.body.xml.gz2004-04-08 15:52 40K 
[ ]Qquadratic_signok_0.con.types.xml.gz2004-04-08 15:52 50K 
[ ]Qquadratic_signok_0.con.xml.gz2004-04-08 15:52 645  
[ ]Qquadratic_signok_0'_subproof.con.body.xml.gz2004-04-08 15:52 4.6K 
[ ]Qquadratic_signok_0'_subproof.con.types.xml.gz2004-04-08 15:52 5.7K 
[ ]Qquadratic_signok_0'_subproof.con.xml.gz2004-04-08 15:52 1.5K 
[ ]Qquadratic_signok_0'.con.body.xml.gz2004-04-08 15:52 43K 
[ ]Qquadratic_signok_0'.con.types.xml.gz2004-04-08 15:52 52K 
[ ]Qquadratic_signok_0'.con.xml.gz2004-04-08 15:52 649  
[ ]Qquadratic_signok_1.con.body.xml.gz2004-04-08 15:52 39K 
[ ]Qquadratic_signok_1.con.types.xml.gz2004-04-08 15:52 56K 
[ ]Qquadratic_signok_1.con.xml.gz2004-04-08 15:52 759  
[ ]Qquadratic_signok_2.con.body.xml.gz2004-04-08 15:52 39K 
[ ]Qquadratic_signok_2.con.types.xml.gz2004-04-08 15:52 56K 
[ ]Qquadratic_signok_2.con.xml.gz2004-04-08 15:52 764  
[ ]Qquadratic_signok_3.con.body.xml.gz2004-04-08 15:52 39K 
[ ]Qquadratic_signok_3.con.types.xml.gz2004-04-08 15:52 56K 
[ ]Qquadratic_signok_3.con.xml.gz2004-04-08 15:52 765  
[ ]Qquadratic_signok_4.con.body.xml.gz2004-04-08 15:52 39K 
[ ]Qquadratic_signok_4.con.types.xml.gz2004-04-08 15:52 56K 
[ ]Qquadratic_signok_4.con.xml.gz2004-04-08 15:52 756  
[ ]Qquadratic_sign.con.body.xml.gz2004-04-08 15:52 77K 
[ ]Qquadratic_sign.con.types.xml.gz2004-04-08 15:52 2.2K 
[ ]Qquadratic_sign.con.xml.gz2004-04-08 15:52 761  
[ ]Qquadratic_sg_denom_nonzero_inv_dep.con.body.xml.gz2004-04-08 15:52 7.0K 
[ ]Qquadratic_sg_denom_nonzero_inv_dep.con.types.xml.gz2004-04-08 15:52 9.3K 
[ ]Qquadratic_sg_denom_nonzero_inv_dep.con.xml.gz2004-04-08 15:52 3.8K 
[ ]Qquadratic_sign_equal.con.body.xml.gz2004-04-08 15:53 267K 
[ ]Qquadratic_sign_equal.con.xml.gz2004-04-08 15:53 1.1K 
[ ]Qquadratic_sign_equal.con.types.xml.gz2004-04-08 15:53 372K 
[ ]Qquadratic_sign_equal_strong.con.body.xml.gz2004-04-08 15:53 7.6K 
[ ]Qquadratic_sign_equal_strong.con.types.xml.gz2004-04-08 15:53 7.3K 
[ ]Qquadratic_sign_equal_strong.con.xml.gz2004-04-08 15:53 1.6K 
[ ]Qquadratic_sign_One_y.con.body.xml.gz2004-04-08 15:53 17K 
[ ]Qquadratic_sign_One_y.con.types.xml.gz2004-04-08 15:53 28K 
[ ]Qquadratic_sign_One_y.con.xml.gz2004-04-08 15:53 2.7K 
[ ]Qquadratic_sign_nRdL_One.con.body.xml.gz2004-04-08 15:53 33K 
[ ]Qquadratic_sign_nRdL_One.con.types.xml.gz2004-04-08 15:53 55K 
[ ]Qquadratic_sign_nRdL_One.con.xml.gz2004-04-08 15:53 2.7K 
[ ]Qquadratic_sign_nR_One_1.con.body.xml.gz2004-04-08 15:53 21K 
[ ]Qquadratic_sign_nR_One_1.con.types.xml.gz2004-04-08 15:53 35K 
[ ]Qquadratic_sign_nR_One_1.con.xml.gz2004-04-08 15:53 2.7K 
[ ]Qquadratic_sign_nR_One_2.con.body.xml.gz2004-04-08 15:53 17K 
[ ]Qquadratic_sign_nR_One_2.con.types.xml.gz2004-04-08 15:53 29K 
[ ]Qquadratic_sign_nR_One_2.con.xml.gz2004-04-08 15:53 2.7K 
[ ]Qquadratic_sign_dL_One_1.con.body.xml.gz2004-04-08 15:53 21K 
[ ]Qquadratic_sign_dL_One_1.con.types.xml.gz2004-04-08 15:53 35K 
[ ]Qquadratic_sign_dL_One_1.con.xml.gz2004-04-08 15:53 2.7K 
[ ]Qquadratic_sign_dL_One_2.con.body.xml.gz2004-04-08 15:53 17K 
[ ]Qquadratic_sign_dL_One_2.con.types.xml.gz2004-04-08 15:53 29K 
[ ]Qquadratic_sign_dL_One_2.con.xml.gz2004-04-08 15:53 2.7K 
[ ]Qquadratic_sign_nRdL_nRdL_1.con.body.xml.gz2004-04-08 15:53 204K 
[ ]Qquadratic_sign_nRdL_nRdL_1.con.xml.gz2004-04-08 15:53 2.2K 
[ ]Qquadratic_sign_nRdL_nRdL_1.con.types.xml.gz2004-04-08 15:53 611K 
[ ]Qquadratic_sign_nRdL_nRdL_2.con.xml.gz2004-04-08 15:53 2.3K 
[ ]Qquadratic_sign_nRdL_nRdL_2.con.body.xml.gz2004-04-08 15:54 233K 
[ ]Qquadratic_sign_nRdL_nRdL_2.con.types.xml.gz2004-04-08 15:54 702K 
[ ]Qquadratic_sign_nRdL_nRdL_3.con.xml.gz2004-04-08 15:54 2.4K 
[ ]Qquadratic_sign_nRdL_nRdL_3.con.body.xml.gz2004-04-08 15:54 252K 
[ ]Qquadratic_sign_nRdL_nRdL_3.con.types.xml.gz2004-04-08 15:54 813K 
[ ]Qquadratic_sign_nR_nR_4.con.body.xml.gz2004-04-08 15:54 58K 
[ ]Qquadratic_sign_nR_nR_4.con.types.xml.gz2004-04-08 15:54 188K 
[ ]Qquadratic_sign_nR_nR_4.con.xml.gz2004-04-08 15:54 2.1K 
[ ]Qquadratic_sign_nR_dL_4.con.body.xml.gz2004-04-08 15:54 58K 
[ ]Qquadratic_sign_nR_dL_4.con.types.xml.gz2004-04-08 15:54 189K 
[ ]Qquadratic_sign_nR_dL_4.con.xml.gz2004-04-08 15:54 2.1K 
[ ]Qquadratic_sign_dL_nR_4.con.body.xml.gz2004-04-08 15:54 58K 
[ ]Qquadratic_sign_dL_nR_4.con.xml.gz2004-04-08 15:54 2.1K 
[ ]Qquadratic_sign_dL_nR_4.con.types.xml.gz2004-04-08 15:54 189K 
[ ]Qquadratic_sign_dL_dL_4.con.body.xml.gz2004-04-08 15:54 58K 
[ ]Qquadratic_sign_dL_dL_4.con.types.xml.gz2004-04-08 15:54 188K 
[ ]Qquadratic_sign_dL_dL_4.con.xml.gz2004-04-08 15:54 2.1K 
[ ]Qquadratic_sign_nRdL_nRdL_5.con.xml.gz2004-04-08 15:55 2.3K 
[ ]Qquadratic_sign_nRdL_nRdL_5.con.body.xml.gz2004-04-08 15:55 240K 
[ ]Qquadratic_sign_nRdL_nRdL_5.con.types.xml.gz2004-04-08 15:55 763K 
[ ]Qquadratic_sign_nRdL_nRdL_6.con.body.xml.gz2004-04-08 15:55 259K 
[ ]Qquadratic_sign_nRdL_nRdL_6.con.xml.gz2004-04-08 15:55 2.4K 
[ ]Qquadratic_sign_nRdL_nRdL_6.con.types.xml.gz2004-04-08 15:55 839K 
[ ]Qquadratic_sign_nR_nR_7.con.body.xml.gz2004-04-08 15:55 60K 
[ ]Qquadratic_sign_nR_nR_7.con.types.xml.gz2004-04-08 15:55 195K 
[ ]Qquadratic_sign_nR_nR_7.con.xml.gz2004-04-08 15:55 2.1K 
[ ]Qquadratic_sign_nR_dL_7.con.xml.gz2004-04-08 15:55 2.1K 
[ ]Qquadratic_sign_nR_dL_7.con.body.xml.gz2004-04-08 15:55 60K 
[ ]Qquadratic_sign_nR_dL_7.con.types.xml.gz2004-04-08 15:55 195K 
[ ]Qquadratic_sign_dL_nR_7.con.body.xml.gz2004-04-08 15:55 60K 
[ ]Qquadratic_sign_dL_nR_7.con.xml.gz2004-04-08 15:55 2.1K 
[ ]Qquadratic_sign_dL_nR_7.con.types.xml.gz2004-04-08 15:55 195K 
[ ]Qquadratic_sign_dL_dL_7.con.body.xml.gz2004-04-08 15:55 60K 
[ ]Qquadratic_sign_dL_dL_7.con.types.xml.gz2004-04-08 15:55 195K 
[ ]Qquadratic_sign_dL_dL_7.con.xml.gz2004-04-08 15:55 2.1K 
[ ]Qquadratic_sign_nRdL_nRdL_8.con.body.xml.gz2004-04-08 15:56 238K 
[ ]Qquadratic_sign_nRdL_nRdL_8.con.xml.gz2004-04-08 15:56 2.3K 
[ ]Qquadratic_sign_nRdL_nRdL_8.con.types.xml.gz2004-04-08 15:56 758K 
[ ]Qquadratic_sign_nRdL_nRdL_9.con.body.xml.gz2004-04-08 15:56 257K 
[ ]Qquadratic_sign_nRdL_nRdL_9.con.xml.gz2004-04-08 15:56 2.4K 
[ ]Qquadratic_sign_nRdL_nRdL_9.con.types.xml.gz2004-04-08 15:56 827K 
[ ]Qquadratic_sign_nR_nR_10.con.body.xml.gz2004-04-08 15:56 60K 
[ ]Qquadratic_sign_nR_nR_10.con.types.xml.gz2004-04-08 15:56 193K 
[ ]Qquadratic_sign_nR_nR_10.con.xml.gz2004-04-08 15:56 2.1K 
[ ]Qquadratic_sign_nR_dL_10.con.body.xml.gz2004-04-08 15:56 60K 
[ ]Qquadratic_sign_nR_dL_10.con.types.xml.gz2004-04-08 15:56 193K 
[ ]Qquadratic_sign_nR_dL_10.con.xml.gz2004-04-08 15:56 2.1K 
[ ]Qquadratic_sign_dL_nR_10.con.body.xml.gz2004-04-08 15:56 60K 
[ ]Qquadratic_sign_dL_nR_10.con.xml.gz2004-04-08 15:56 2.1K 
[ ]Qquadratic_sign_dL_nR_10.con.types.xml.gz2004-04-08 15:56 193K 
[ ]Qquadratic_sign_dL_dL_10.con.body.xml.gz2004-04-08 15:56 60K 
[ ]Qquadratic_sign_dL_dL_10.con.types.xml.gz2004-04-08 15:56 192K 
[ ]Qquadratic_sign_dL_dL_10.con.xml.gz2004-04-08 15:56 2.1K 
[ ]Qquadratic_sign_sign.con.body.xml.gz2004-04-08 15:57 233K 
[ ]Qquadratic_sign_sign.con.types.xml.gz2004-04-08 15:57 113K 
[ ]Qquadratic_sign_sign.con.xml.gz2004-04-08 15:57 1.5K 
[ ]q_sign.con.body.xml.gz2004-04-08 15:57 1.2K 
[ ]q_sign.con.types.xml.gz2004-04-08 15:57 205  
[ ]q_sign.con.xml.gz2004-04-08 15:57 541  
[ ]Qquadratic_sign_sign_dec.con.body.xml.gz2004-04-08 15:57 3.8K 
[ ]Qquadratic_sign_sign_dec.con.types.xml.gz2004-04-08 15:57 227  
[ ]Qquadratic_sign_sign_dec.con.xml.gz2004-04-08 15:57 1.1K 
[ ]INDEX2005-07-05 08:11 3.5K 
Apache/2.4.61 (Debian) Server at mowgli.cs.unibo.it Port 80