Index of /xml/Nijmegen/QArith/general_Q

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]INDEX2005-07-05 08:11 15K 
[ ]Q_tail.con.body.xml.gz2004-04-08 15:26 528  
[ ]Q_tail.con.types.xml.gz2004-04-08 15:26 201  
[ ]Q_tail.con.xml.gz2004-04-08 15:26 296  
[ ]Q_tail_Q_neg.con.body.xml.gz2004-04-08 15:26 262  
[ ]Q_tail_Q_neg.con.types.xml.gz2004-04-08 15:26 211  
[ ]Q_tail_Q_neg.con.xml.gz2004-04-08 15:26 502  
[ ]Q_tail_Q_neg_subproof.con.body.xml.gz2004-04-08 15:26 14K 
[ ]Q_tail_Q_neg_subproof.con.types.xml.gz2004-04-08 15:26 22K 
[ ]Q_tail_Q_neg_subproof.con.xml.gz2004-04-08 15:26 523  
[ ]Q_tail_Q_pos.con.body.xml.gz2004-04-08 15:26 262  
[ ]Q_tail_Q_pos.con.types.xml.gz2004-04-08 15:26 210  
[ ]Q_tail_Q_pos.con.xml.gz2004-04-08 15:26 502  
[ ]Q_tail_Q_pos_subproof.con.body.xml.gz2004-04-08 15:26 17K 
[ ]Q_tail_Q_pos_subproof.con.types.xml.gz2004-04-08 15:26 27K 
[ ]Q_tail_Q_pos_subproof.con.xml.gz2004-04-08 15:26 521  
[ ]Q_tail_Qinv.con.body.xml.gz2004-04-08 15:28 864  
[ ]Q_tail_Qinv.con.types.xml.gz2004-04-08 15:28 1.3K 
[ ]Q_tail_Qinv.con.xml.gz2004-04-08 15:28 487  
[ ]Q_tail_Qmult.con.body.xml.gz2004-04-08 15:28 4.0K 
[ ]Q_tail_Qmult.con.types.xml.gz2004-04-08 15:28 6.5K 
[ ]Q_tail_Qmult.con.xml.gz2004-04-08 15:28 661  
[ ]Q_tail_Qplus_neg.con.body.xml.gz2004-04-08 15:28 270  
[ ]Q_tail_Qplus_neg.con.types.xml.gz2004-04-08 15:28 218  
[ ]Q_tail_Qplus_neg.con.xml.gz2004-04-08 15:28 629  
[ ]Q_tail_Qplus_neg_subproof.con.body.xml.gz2004-04-08 15:28 35K 
[ ]Q_tail_Qplus_neg_subproof.con.types.xml.gz2004-04-08 15:28 70K 
[ ]Q_tail_Qplus_neg_subproof.con.xml.gz2004-04-08 15:28 644  
[ ]Q_tail_Qplus_pos.con.body.xml.gz2004-04-08 15:28 270  
[ ]Q_tail_Qplus_pos.con.types.xml.gz2004-04-08 15:28 218  
[ ]Q_tail_Qplus_pos.con.xml.gz2004-04-08 15:28 629  
[ ]Q_tail_Qplus_pos_subproof.con.body.xml.gz2004-04-08 15:28 40K 
[ ]Q_tail_Qplus_pos_subproof.con.types.xml.gz2004-04-08 15:28 77K 
[ ]Q_tail_Qplus_pos_subproof.con.xml.gz2004-04-08 15:28 646  
[ ]Q_to_Z.con.body.xml.gz2004-04-08 15:26 609  
[ ]Q_to_Z.con.types.xml.gz2004-04-08 15:26 201  
[ ]Q_to_Z.con.xml.gz2004-04-08 15:26 299  
[ ]Q_to_Z_monotone.con.body.xml.gz2004-04-08 15:26 2.6K 
[ ]Q_to_Z_monotone.con.types.xml.gz2004-04-08 15:26 3.7K 
[ ]Q_to_Z_monotone.con.xml.gz2004-04-08 15:26 503  
[ ]Q_to_Z_monotone_subproof.con.body.xml.gz2004-04-08 15:26 3.9K 
[ ]Q_to_Z_monotone_subproof.con.types.xml.gz2004-04-08 15:26 3.1K 
[ ]Q_to_Z_monotone_subproof.con.xml.gz2004-04-08 15:26 543  
[ ]Q_to_Z_monotone_subproof0.con.body.xml.gz2004-04-08 15:26 8.2K 
[ ]Q_to_Z_monotone_subproof0.con.types.xml.gz2004-04-08 15:26 6.6K 
[ ]Q_to_Z_monotone_subproof0.con.xml.gz2004-04-08 15:26 637  
[ ]Q_to_Z_monotone_subproof1.con.body.xml.gz2004-04-08 15:26 4.0K 
[ ]Q_to_Z_monotone_subproof1.con.types.xml.gz2004-04-08 15:26 3.4K 
[ ]Q_to_Z_monotone_subproof1.con.xml.gz2004-04-08 15:26 570  
[ ]Q_to_Z_to_Q.con.body.xml.gz2004-04-08 15:26 1.3K 
[ ]Q_to_Z_to_Q.con.types.xml.gz2004-04-08 15:26 1.7K 
[ ]Q_to_Z_to_Q.con.xml.gz2004-04-08 15:26 446  
[ ]Q_zerop.con.body.xml.gz2004-04-08 15:28 731  
[ ]Q_zerop.con.types.xml.gz2004-04-08 15:28 203  
[ ]Q_zerop.con.xml.gz2004-04-08 15:28 486  
[ ]Q_zerop_subproof.con.body.xml.gz2004-04-08 15:28 478  
[ ]Q_zerop_subproof.con.types.xml.gz2004-04-08 15:28 372  
[ ]Q_zerop_subproof.con.xml.gz2004-04-08 15:28 419  
[ ]Q_zerop_subproof0.con.body.xml.gz2004-04-08 15:28 1.1K 
[ ]Q_zerop_subproof0.con.types.xml.gz2004-04-08 15:28 862  
[ ]Q_zerop_subproof0.con.xml.gz2004-04-08 15:28 553  
[ ]Q_zerop_subproof1.con.body.xml.gz2004-04-08 15:28 1.1K 
[ ]Q_zerop_subproof1.con.types.xml.gz2004-04-08 15:28 860  
[ ]Q_zerop_subproof1.con.xml.gz2004-04-08 15:28 554  
[ ]Qdiv_num_denom.con.body.xml.gz2004-04-08 15:28 267  
[ ]Qdiv_num_denom.con.types.xml.gz2004-04-08 15:28 215  
[ ]Qdiv_num_denom.con.xml.gz2004-04-08 15:28 648  
[ ]Qdiv_num_denom_subproof.con.body.xml.gz2004-04-08 15:28 261K 
[ ]Qdiv_num_denom_subproof.con.types.xml.gz2004-04-08 15:28 1.1M 
[ ]Qdiv_num_denom_subproof.con.xml.gz2004-04-08 15:28 675  
[ ]Qdiv_num_denom_subproof_subproof.con.body.xml.gz2004-04-08 15:28 2.1K 
[ ]Qdiv_num_denom_subproof_subproof.con.types.xml.gz2004-04-08 15:28 2.5K 
[ ]Qdiv_num_denom_subproof_subproof.con.xml.gz2004-04-08 15:28 601  
[ ]Qinv_0.con.body.xml.gz2004-04-08 15:28 1.6K 
[ ]Qinv_0.con.types.xml.gz2004-04-08 15:28 1.8K 
[ ]Qinv_0.con.xml.gz2004-04-08 15:28 469  
[ ]Qinv_1.con.body.xml.gz2004-04-08 15:28 6.5K 
[ ]Qinv_1.con.types.xml.gz2004-04-08 15:28 8.3K 
[ ]Qinv_1.con.xml.gz2004-04-08 15:28 459  
[ ]Qinv_2.con.body.xml.gz2004-04-08 15:28 5.3K 
[ ]Qinv_2.con.types.xml.gz2004-04-08 15:28 6.9K 
[ ]Qinv_2.con.xml.gz2004-04-08 15:28 458  
[ ]Qinv_Qopp.con.body.xml.gz2004-04-08 15:28 851  
[ ]Qinv_Qopp.con.types.xml.gz2004-04-08 15:28 1.3K 
[ ]Qinv_Qopp.con.xml.gz2004-04-08 15:28 464  
[ ]Qinv_pos.con.body.xml.gz2004-04-08 15:28 255  
[ ]Qinv_pos.con.types.xml.gz2004-04-08 15:28 204  
[ ]Qinv_pos.con.xml.gz2004-04-08 15:28 458  
[ ]Qinv_pos_subproof.con.body.xml.gz2004-04-08 15:28 6.3K 
[ ]Qinv_pos_subproof.con.types.xml.gz2004-04-08 15:28 8.6K 
[ ]Qinv_pos_subproof.con.xml.gz2004-04-08 15:28 475  
[ ]Qinv_resp_nonzero.con.body.xml.gz2004-04-08 15:28 271  
[ ]Qinv_resp_nonzero.con.types.xml.gz2004-04-08 15:28 220  
[ ]Qinv_resp_nonzero.con.xml.gz2004-04-08 15:28 522  
[ ]Qinv_resp_nonzero_subproof.con.body.xml.gz2004-04-08 15:28 1.8K 
[ ]Qinv_resp_nonzero_subproof.con.types.xml.gz2004-04-08 15:28 2.1K 
[ ]Qinv_resp_nonzero_subproof.con.xml.gz2004-04-08 15:28 539  
[ ]Qle.con.body.xml.gz2004-04-08 15:26 423  
[ ]Qle.con.types.xml.gz2004-04-08 15:26 196  
[ ]Qle.con.xml.gz2004-04-08 15:26 303  
[ ]Qle_Qpositive_le_neg.con.body.xml.gz2004-04-08 15:28 1.0K 
[ ]Qle_Qpositive_le_neg.con.types.xml.gz2004-04-08 15:28 1.0K 
[ ]Qle_Qpositive_le_neg.con.xml.gz2004-04-08 15:28 516  
[ ]Qle_Qpositive_le_pos.con.body.xml.gz2004-04-08 15:28 1.0K 
[ ]Qle_Qpositive_le_pos.con.types.xml.gz2004-04-08 15:28 1.0K 
[ ]Qle_Qpositive_le_pos.con.xml.gz2004-04-08 15:28 514  
[ ]Qle_lt_eq_dec.con.body.xml.gz2004-04-08 15:28 5.0K 
[ ]Qle_lt_eq_dec.con.types.xml.gz2004-04-08 15:28 1.5K 
[ ]Qle_lt_eq_dec.con.xml.gz2004-04-08 15:28 525  
[ ]Qle_lt_reg.con.body.xml.gz2004-04-08 15:28 1.2K 
[ ]Qle_lt_reg.con.types.xml.gz2004-04-08 15:28 1.2K 
[ ]Qle_lt_reg.con.xml.gz2004-04-08 15:28 558  
[ ]Qle_lt_reg_neg.con.body.xml.gz2004-04-08 15:28 838  
[ ]Qle_lt_reg_neg.con.types.xml.gz2004-04-08 15:28 763  
[ ]Qle_lt_reg_neg.con.xml.gz2004-04-08 15:28 523  
[ ]Qle_lt_reg_pos.con.body.xml.gz2004-04-08 15:28 843  
[ ]Qle_lt_reg_pos.con.types.xml.gz2004-04-08 15:28 756  
[ ]Qle_lt_reg_pos.con.xml.gz2004-04-08 15:28 526  
[ ]Qle_lt_trans.con.body.xml.gz2004-04-08 15:28 46K 
[ ]Qle_lt_trans.con.types.xml.gz2004-04-08 15:28 62K 
[ ]Qle_lt_trans.con.xml.gz2004-04-08 15:28 491  
[ ]Qle_mult_neg_nonneg.con.body.xml.gz2004-04-08 15:28 21K 
[ ]Qle_mult_neg_nonneg.con.types.xml.gz2004-04-08 15:28 28K 
[ ]Qle_mult_neg_nonneg.con.xml.gz2004-04-08 15:28 535  
[ ]Qle_mult_nonneg_nonneg.con.body.xml.gz2004-04-08 15:28 7.3K 
[ ]Qle_mult_nonneg_nonneg.con.types.xml.gz2004-04-08 15:28 9.1K 
[ ]Qle_mult_nonneg_nonneg.con.xml.gz2004-04-08 15:28 533  
[ ]Qle_mult_nonneg_nonpos.con.body.xml.gz2004-04-08 15:28 8.6K 
[ ]Qle_mult_nonneg_nonpos.con.types.xml.gz2004-04-08 15:28 10K 
[ ]Qle_mult_nonneg_nonpos.con.xml.gz2004-04-08 15:28 535  
[ ]Qle_mult_nonneg_pos.con.body.xml.gz2004-04-08 15:28 23K 
[ ]Qle_mult_nonneg_pos.con.types.xml.gz2004-04-08 15:28 32K 
[ ]Qle_mult_nonneg_pos.con.xml.gz2004-04-08 15:28 538  
[ ]Qle_mult_nonpos_nonneg.con.body.xml.gz2004-04-08 15:28 8.5K 
[ ]Qle_mult_nonpos_nonneg.con.types.xml.gz2004-04-08 15:28 10K 
[ ]Qle_mult_nonpos_nonneg.con.xml.gz2004-04-08 15:28 538  
[ ]Qle_plus_neg_neg.con.body.xml.gz2004-04-08 15:28 838  
[ ]Qle_plus_neg_neg.con.types.xml.gz2004-04-08 15:28 760  
[ ]Qle_plus_neg_neg.con.xml.gz2004-04-08 15:28 524  
[ ]Qle_plus_plus.con.body.xml.gz2004-04-08 15:28 2.5K 
[ ]Qle_plus_plus.con.types.xml.gz2004-04-08 15:28 2.2K 
[ ]Qle_plus_plus.con.xml.gz2004-04-08 15:28 560  
[ ]Qle_plus_pos_pos.con.body.xml.gz2004-04-08 15:28 842  
[ ]Qle_plus_pos_pos.con.types.xml.gz2004-04-08 15:28 753  
[ ]Qle_plus_pos_pos.con.xml.gz2004-04-08 15:28 524  
[ ]Qle_trans.con.body.xml.gz2004-04-08 15:28 615  
[ ]Qle_trans.con.types.xml.gz2004-04-08 15:28 734  
[ ]Qle_trans.con.xml.gz2004-04-08 15:28 477  
[ ]Qlt.con.body.xml.gz2004-04-08 15:26 391  
[ ]Qlt.con.types.xml.gz2004-04-08 15:26 196  
[ ]Qlt.con.xml.gz2004-04-08 15:26 304  
[ ]Qlt_Zero_Qminus.con.body.xml.gz2004-04-08 15:26 268  
[ ]Qlt_Zero_Qminus.con.types.xml.gz2004-04-08 15:26 217  
[ ]Qlt_Zero_Qminus.con.xml.gz2004-04-08 15:26 501  
[ ]Qlt_Zero_Qminus_subproof.con.body.xml.gz2004-04-08 15:26 2.7K 
[ ]Qlt_Zero_Qminus_subproof.con.types.xml.gz2004-04-08 15:26 3.1K 
[ ]Qlt_Zero_Qminus_subproof.con.xml.gz2004-04-08 15:26 522  
[ ]Qlt_irreflexive.con.body.xml.gz2004-04-08 15:26 470  
[ ]Qlt_irreflexive.con.types.xml.gz2004-04-08 15:26 588  
[ ]Qlt_irreflexive.con.xml.gz2004-04-08 15:26 421  
[ ]Qlt_le_reg.con.body.xml.gz2004-04-08 15:28 1.0K 
[ ]Qlt_le_reg.con.types.xml.gz2004-04-08 15:28 918  
[ ]Qlt_le_reg.con.xml.gz2004-04-08 15:28 560  
[ ]Qlt_le_reg_neg.con.body.xml.gz2004-04-08 15:28 838  
[ ]Qlt_le_reg_neg.con.types.xml.gz2004-04-08 15:28 760  
[ ]Qlt_le_reg_neg.con.xml.gz2004-04-08 15:28 524  
[ ]Qlt_le_reg_pos.con.body.xml.gz2004-04-08 15:28 843  
[ ]Qlt_le_reg_pos.con.types.xml.gz2004-04-08 15:28 754  
[ ]Qlt_le_reg_pos.con.xml.gz2004-04-08 15:28 527  
[ ]Qlt_le_trans.con.body.xml.gz2004-04-08 15:28 46K 
[ ]Qlt_le_trans.con.types.xml.gz2004-04-08 15:28 61K 
[ ]Qlt_le_trans.con.xml.gz2004-04-08 15:28 489  
[ ]Qlt_le_weak.con.body.xml.gz2004-04-08 15:26 568  
[ ]Qlt_le_weak.con.types.xml.gz2004-04-08 15:26 625  
[ ]Qlt_le_weak.con.xml.gz2004-04-08 15:26 437  
[ ]Qlt_mult_neg_pos.con.body.xml.gz2004-04-08 15:28 269  
[ ]Qlt_mult_neg_pos.con.types.xml.gz2004-04-08 15:28 219  
[ ]Qlt_mult_neg_pos.con.xml.gz2004-04-08 15:28 526  
[ ]Qlt_mult_neg_pos_subproof.con.body.xml.gz2004-04-08 15:28 12K 
[ ]Qlt_mult_neg_pos_subproof.con.types.xml.gz2004-04-08 15:28 18K 
[ ]Qlt_mult_neg_pos_subproof.con.xml.gz2004-04-08 15:28 542  
[ ]Qlt_mult_pos_pos.con.body.xml.gz2004-04-08 15:28 267  
[ ]Qlt_mult_pos_pos.con.types.xml.gz2004-04-08 15:28 217  
[ ]Qlt_mult_pos_pos.con.xml.gz2004-04-08 15:28 520  
[ ]Qlt_mult_pos_pos_subproof.con.body.xml.gz2004-04-08 15:28 14K 
[ ]Qlt_mult_pos_pos_subproof.con.types.xml.gz2004-04-08 15:28 20K 
[ ]Qlt_mult_pos_pos_subproof.con.xml.gz2004-04-08 15:28 540  
[ ]Qlt_neg_pos.con.body.xml.gz2004-04-08 15:26 261  
[ ]Qlt_neg_pos.con.types.xml.gz2004-04-08 15:26 568  
[ ]Qlt_neg_pos.con.xml.gz2004-04-08 15:26 463  
[ ]Qlt_neg_pos_subproof.con.body.xml.gz2004-04-08 15:26 447  
[ ]Qlt_neg_pos_subproof.con.types.xml.gz2004-04-08 15:26 575  
[ ]Qlt_neg_pos_subproof.con.xml.gz2004-04-08 15:26 467  
[ ]Qlt_neg_zero.con.body.xml.gz2004-04-08 15:26 263  
[ ]Qlt_neg_zero.con.types.xml.gz2004-04-08 15:26 527  
[ ]Qlt_neg_zero.con.xml.gz2004-04-08 15:26 434  
[ ]Qlt_neg_zero_subproof.con.body.xml.gz2004-04-08 15:26 420  
[ ]Qlt_neg_zero_subproof.con.types.xml.gz2004-04-08 15:26 535  
[ ]Qlt_neg_zero_subproof.con.xml.gz2004-04-08 15:26 442  
[ ]Qlt_not_eq.con.body.xml.gz2004-04-08 15:26 785  
[ ]Qlt_not_eq.con.types.xml.gz2004-04-08 15:26 746  
[ ]Qlt_not_eq.con.xml.gz2004-04-08 15:26 483  
[ ]Qlt_plus_plus.con.body.xml.gz2004-04-08 15:28 1.1K 
[ ]Qlt_plus_plus.con.types.xml.gz2004-04-08 15:28 1.2K 
[ ]Qlt_plus_plus.con.xml.gz2004-04-08 15:28 553  
[ ]Qlt_plus_pos_pos.con.body.xml.gz2004-04-08 15:28 268  
[ ]Qlt_plus_pos_pos.con.types.xml.gz2004-04-08 15:28 218  
[ ]Qlt_plus_pos_pos.con.xml.gz2004-04-08 15:28 520  
[ ]Qlt_plus_pos_pos_subproof.con.body.xml.gz2004-04-08 15:28 29K 
[ ]Qlt_plus_pos_pos_subproof.con.types.xml.gz2004-04-08 15:28 82K 
[ ]Qlt_plus_pos_pos_subproof.con.xml.gz2004-04-08 15:28 543  
[ ]Qlt_transitive.con.body.xml.gz2004-04-08 15:26 561  
[ ]Qlt_transitive.con.types.xml.gz2004-04-08 15:26 690  
[ ]Qlt_transitive.con.xml.gz2004-04-08 15:26 491  
[ ]Qlt_zero_one.con.body.xml.gz2004-04-08 15:28 320  
[ ]Qlt_zero_one.con.types.xml.gz2004-04-08 15:28 413  
[ ]Qlt_zero_one.con.xml.gz2004-04-08 15:28 323  
[ ]Qlt_zero_pos.con.body.xml.gz2004-04-08 15:26 263  
[ ]Qlt_zero_pos.con.types.xml.gz2004-04-08 15:26 531  
[ ]Qlt_zero_pos.con.xml.gz2004-04-08 15:26 435  
[ ]Qlt_zero_pos_subproof.con.body.xml.gz2004-04-08 15:26 420  
[ ]Qlt_zero_pos_subproof.con.types.xml.gz2004-04-08 15:26 534  
[ ]Qlt_zero_pos_subproof.con.xml.gz2004-04-08 15:26 441  
[ ]Qmult_Qopp_left.con.body.xml.gz2004-04-08 15:28 2.1K 
[ ]Qmult_Qopp_left.con.types.xml.gz2004-04-08 15:28 4.1K 
[ ]Qmult_Qopp_left.con.xml.gz2004-04-08 15:28 512  
[ ]Qmult_Z_dL.con.body.xml.gz2004-04-08 15:26 948  
[ ]Qmult_Z_dL.con.types.xml.gz2004-04-08 15:26 1.2K 
[ ]Qmult_Z_dL.con.xml.gz2004-04-08 15:26 670  
[ ]Qmult_Z_dL_subproof.con.body.xml.gz2004-04-08 15:26 3.1K 
[ ]Qmult_Z_dL_subproof.con.types.xml.gz2004-04-08 15:26 4.1K 
[ ]Qmult_Z_dL_subproof.con.xml.gz2004-04-08 15:26 748  
[ ]Qmult_Z_nR.con.body.xml.gz2004-04-08 15:26 849  
[ ]Qmult_Z_nR.con.types.xml.gz2004-04-08 15:26 1.1K 
[ ]Qmult_Z_nR.con.xml.gz2004-04-08 15:26 624  
[ ]Qmult_Z_nR_subproof.con.body.xml.gz2004-04-08 15:26 2.6K 
[ ]Qmult_Z_nR_subproof.con.types.xml.gz2004-04-08 15:26 3.3K 
[ ]Qmult_Z_nR_subproof.con.xml.gz2004-04-08 15:26 652  
[ ]Qmult_Z_plus_Z_dL.con.body.xml.gz2004-04-08 15:28 1.6K 
[ ]Qmult_Z_plus_Z_dL.con.types.xml.gz2004-04-08 15:28 2.0K 
[ ]Qmult_Z_plus_Z_dL.con.xml.gz2004-04-08 15:28 796  
[ ]Qmult_Z_plus_Z_dL_subproof.con.body.xml.gz2004-04-08 15:28 906K 
[ ]Qmult_Z_plus_Z_dL_subproof.con.types.xml.gz2004-04-08 15:28 4.2M 
[ ]Qmult_Z_plus_Z_dL_subproof.con.xml.gz2004-04-08 15:28 865  
[ ]Qmult_Z_plus_Z_dL_subproof_subproof.con.body.xml.gz2004-04-08 15:27 1.0K 
[ ]Qmult_Z_plus_Z_dL_subproof_subproof.con.types.xml.gz2004-04-08 15:27 1.1K 
[ ]Qmult_Z_plus_Z_dL_subproof_subproof.con.xml.gz2004-04-08 15:27 563  
[ ]Qmult_one_right.con.body.xml.gz2004-04-08 15:28 609  
[ ]Qmult_one_right.con.types.xml.gz2004-04-08 15:28 741  
[ ]Qmult_one_right.con.xml.gz2004-04-08 15:28 436  
[ ]Qmult_resp_nonzero.con.body.xml.gz2004-04-08 15:28 1.1K 
[ ]Qmult_resp_nonzero.con.types.xml.gz2004-04-08 15:28 1.3K 
[ ]Qmult_resp_nonzero.con.xml.gz2004-04-08 15:28 591  
[ ]Qmult_zero_right.con.body.xml.gz2004-04-08 15:28 399  
[ ]Qmult_zero_right.con.types.xml.gz2004-04-08 15:28 550  
[ ]Qmult_zero_right.con.xml.gz2004-04-08 15:28 450  
[ ]Qmult_zero_right_subproof.con.body.xml.gz2004-04-08 15:28 1.1K 
[ ]Qmult_zero_right_subproof.con.types.xml.gz2004-04-08 15:28 1.4K 
[ ]Qmult_zero_right_subproof.con.xml.gz2004-04-08 15:28 467  
[ ]Qneg_NEG_1.con.body.xml.gz2004-04-08 15:28 759  
[ ]Qneg_NEG_1.con.types.xml.gz2004-04-08 15:28 711  
[ ]Qneg_NEG_1.con.xml.gz2004-04-08 15:28 546  
[ ]Qneg_injective.con.body.xml.gz2004-04-08 15:26 1.0K 
[ ]Qneg_injective.con.types.xml.gz2004-04-08 15:26 960  
[ ]Qneg_injective.con.xml.gz2004-04-08 15:26 518  
[ ]Qopp_Qneg.con.body.xml.gz2004-04-08 15:28 468  
[ ]Qopp_Qneg.con.types.xml.gz2004-04-08 15:28 664  
[ ]Qopp_Qneg.con.xml.gz2004-04-08 15:28 471  
[ ]Qopp_Qpos.con.body.xml.gz2004-04-08 15:28 468  
[ ]Qopp_Qpos.con.types.xml.gz2004-04-08 15:28 662  
[ ]Qopp_Qpos.con.xml.gz2004-04-08 15:28 471  
[ ]Qopp_linear.con.body.xml.gz2004-04-08 15:28 262  
[ ]Qopp_linear.con.types.xml.gz2004-04-08 15:28 209  
[ ]Qopp_linear.con.xml.gz2004-04-08 15:28 702  
[ ]Qopp_linear_subproof.con.body.xml.gz2004-04-08 15:28 7.7K 
[ ]Qopp_linear_subproof.con.types.xml.gz2004-04-08 15:28 7.7K 
[ ]Qopp_linear_subproof.con.xml.gz2004-04-08 15:28 730  
[ ]Qopp_resp_nonzero.con.body.xml.gz2004-04-08 15:28 1.8K 
[ ]Qopp_resp_nonzero.con.types.xml.gz2004-04-08 15:28 2.1K 
[ ]Qopp_resp_nonzero.con.xml.gz2004-04-08 15:28 519  
[ ]Qplus_zero_right.con.body.xml.gz2004-04-08 15:28 399  
[ ]Qplus_zero_right.con.types.xml.gz2004-04-08 15:28 552  
[ ]Qplus_zero_right.con.xml.gz2004-04-08 15:28 451  
[ ]Qplus_zero_right_subproof.con.body.xml.gz2004-04-08 15:28 1.2K 
[ ]Qplus_zero_right_subproof.con.types.xml.gz2004-04-08 15:28 1.5K 
[ ]Qplus_zero_right_subproof.con.xml.gz2004-04-08 15:28 471  
[ ]Qpos_POS_1.con.body.xml.gz2004-04-08 15:28 762  
[ ]Qpos_POS_1.con.types.xml.gz2004-04-08 15:28 709  
[ ]Qpos_POS_1.con.xml.gz2004-04-08 15:28 544  
[ ]Qpos_dL.con.body.xml.gz2004-04-08 15:26 648  
[ ]Qpos_dL.con.types.xml.gz2004-04-08 15:26 966  
[ ]Qpos_dL.con.xml.gz2004-04-08 15:26 562  
[ ]Qpos_injective.con.body.xml.gz2004-04-08 15:26 1.0K 
[ ]Qpos_injective.con.types.xml.gz2004-04-08 15:26 959  
[ ]Qpos_injective.con.xml.gz2004-04-08 15:26 517  
[ ]Qpos_nR.con.body.xml.gz2004-04-08 15:26 599  
[ ]Qpos_nR.con.types.xml.gz2004-04-08 15:26 800  
[ ]Qpos_nR.con.xml.gz2004-04-08 15:26 494  
[ ]Qpositive_c_0.con.body.xml.gz2004-04-08 15:26 9.6K 
[ ]Qpositive_c_0.con.types.xml.gz2004-04-08 15:26 14K 
[ ]Qpositive_c_0.con.xml.gz2004-04-08 15:26 538  
[ ]Qpositive_c_1_0_0.con.body.xml.gz2004-04-08 15:26 19K 
[ ]Qpositive_c_1_0_0.con.types.xml.gz2004-04-08 15:26 34K 
[ ]Qpositive_c_1_0_0.con.xml.gz2004-04-08 15:26 643  
[ ]Qpositive_c_1_0_1.con.body.xml.gz2004-04-08 15:26 2.5K 
[ ]Qpositive_c_1_0_1.con.types.xml.gz2004-04-08 15:26 2.8K 
[ ]Qpositive_c_1_0_1.con.xml.gz2004-04-08 15:26 732  
[ ]Qpositive_c_1_1.con.body.xml.gz2004-04-08 15:26 2.3K 
[ ]Qpositive_c_1_1.con.types.xml.gz2004-04-08 15:26 2.8K 
[ ]Qpositive_c_1_1.con.xml.gz2004-04-08 15:26 684  
[ ]Qpositive_c_dL.con.body.xml.gz2004-04-08 15:26 857  
[ ]Qpositive_c_dL.con.types.xml.gz2004-04-08 15:26 1.3K 
[ ]Qpositive_c_dL.con.xml.gz2004-04-08 15:26 638  
[ ]Qpositive_c_equal.con.body.xml.gz2004-04-08 15:26 22K 
[ ]Qpositive_c_equal.con.types.xml.gz2004-04-08 15:26 33K 
[ ]Qpositive_c_equal.con.xml.gz2004-04-08 15:26 727  
[ ]Qpositive_c_equal_One.con.body.xml.gz2004-04-08 15:26 1.6K 
[ ]Qpositive_c_equal_One.con.types.xml.gz2004-04-08 15:26 1.4K 
[ ]Qpositive_c_equal_One.con.xml.gz2004-04-08 15:26 545  
[ ]Qpositive_c_equal_strong.con.body.xml.gz2004-04-08 15:26 2.0K 
[ ]Qpositive_c_equal_strong.con.types.xml.gz2004-04-08 15:26 2.0K 
[ ]Qpositive_c_equal_strong.con.xml.gz2004-04-08 15:26 843  
[ ]Qpositive_c_equal_subproof.con.body.xml.gz2004-04-08 15:26 1.8K 
[ ]Qpositive_c_equal_subproof.con.types.xml.gz2004-04-08 15:26 1.6K 
[ ]Qpositive_c_equal_subproof.con.xml.gz2004-04-08 15:26 1.3K 
[ ]Qpositive_c_equal_subproof0.con.body.xml.gz2004-04-08 15:26 94K 
[ ]Qpositive_c_equal_subproof0.con.types.xml.gz2004-04-08 15:26 72K 
[ ]Qpositive_c_equal_subproof0.con.xml.gz2004-04-08 15:26 1.3K 
[ ]Qpositive_c_equal_subproof1.con.body.xml.gz2004-04-08 15:26 94K 
[ ]Qpositive_c_equal_subproof1.con.types.xml.gz2004-04-08 15:26 72K 
[ ]Qpositive_c_equal_subproof1.con.xml.gz2004-04-08 15:26 1.3K 
[ ]Qpositive_c_equal_subproof2.con.body.xml.gz2004-04-08 15:26 130K 
[ ]Qpositive_c_equal_subproof2.con.types.xml.gz2004-04-08 15:26 95K 
[ ]Qpositive_c_equal_subproof2.con.xml.gz2004-04-08 15:26 1.3K 
[ ]Qpositive_c_equal_subproof3.con.body.xml.gz2004-04-08 15:26 1.7K 
[ ]Qpositive_c_equal_subproof3.con.types.xml.gz2004-04-08 15:26 1.5K 
[ ]Qpositive_c_equal_subproof3.con.xml.gz2004-04-08 15:26 1.2K 
[ ]Qpositive_c_equal_subproof4.con.body.xml.gz2004-04-08 15:26 50K 
[ ]Qpositive_c_equal_subproof4.con.types.xml.gz2004-04-08 15:26 38K 
[ ]Qpositive_c_equal_subproof4.con.xml.gz2004-04-08 15:26 1.2K 
[ ]Qpositive_c_equal_subproof5.con.body.xml.gz2004-04-08 15:26 50K 
[ ]Qpositive_c_equal_subproof5.con.types.xml.gz2004-04-08 15:26 38K 
[ ]Qpositive_c_equal_subproof5.con.xml.gz2004-04-08 15:26 1.2K 
[ ]Qpositive_c_equal_subproof6.con.body.xml.gz2004-04-08 15:26 61K 
[ ]Qpositive_c_equal_subproof6.con.types.xml.gz2004-04-08 15:26 45K 
[ ]Qpositive_c_equal_subproof6.con.xml.gz2004-04-08 15:26 1.2K 
[ ]Qpositive_c_nR.con.body.xml.gz2004-04-08 15:26 737  
[ ]Qpositive_c_nR.con.types.xml.gz2004-04-08 15:26 1.2K 
[ ]Qpositive_c_nR.con.xml.gz2004-04-08 15:26 639  
[ ]Qpositive_dec_One.con.body.xml.gz2004-04-08 15:28 416  
[ ]Qpositive_dec_One.con.types.xml.gz2004-04-08 15:28 219  
[ ]Qpositive_dec_One.con.xml.gz2004-04-08 15:28 500  
[ ]Qpositive_i_c.con.body.xml.gz2004-04-08 15:26 6.0K 
[ ]Qpositive_i_c.con.types.xml.gz2004-04-08 15:26 8.8K 
[ ]Qpositive_i_c.con.xml.gz2004-04-08 15:26 682  
[ ]Qpositive_i_c_subproof.con.body.xml.gz2004-04-08 15:26 902  
[ ]Qpositive_i_c_subproof.con.types.xml.gz2004-04-08 15:26 1.0K 
[ ]Qpositive_i_c_subproof.con.xml.gz2004-04-08 15:26 874  
[ ]Qpositive_i_c_subproof0.con.body.xml.gz2004-04-08 15:26 15K 
[ ]Qpositive_i_c_subproof0.con.types.xml.gz2004-04-08 15:26 13K 
[ ]Qpositive_i_c_subproof0.con.xml.gz2004-04-08 15:26 1.0K 
[ ]Qpositive_i_c_subproof1.con.body.xml.gz2004-04-08 15:26 16K 
[ ]Qpositive_i_c_subproof1.con.types.xml.gz2004-04-08 15:26 12K 
[ ]Qpositive_i_c_subproof1.con.xml.gz2004-04-08 15:26 944  
[ ]Qpositive_i_c_subproof2.con.body.xml.gz2004-04-08 15:26 19K 
[ ]Qpositive_i_c_subproof2.con.types.xml.gz2004-04-08 15:26 15K 
[ ]Qpositive_i_c_subproof2.con.xml.gz2004-04-08 15:26 962  
[ ]Qpositive_i_nR.con.body.xml.gz2004-04-08 15:26 1.6K 
[ ]Qpositive_i_nR.con.types.xml.gz2004-04-08 15:26 2.3K 
[ ]Qpositive_i_nR.con.xml.gz2004-04-08 15:26 683  
[ ]Qpositive_i_nR_with_let.con.body.xml.gz2004-04-08 15:26 9.2K 
[ ]Qpositive_i_nR_with_let.con.types.xml.gz2004-04-08 15:26 21K 
[ ]Qpositive_i_nR_with_let.con.xml.gz2004-04-08 15:26 790  
[ ]Qpositive_tail.con.body.xml.gz2004-04-08 15:26 522  
[ ]Qpositive_tail.con.types.xml.gz2004-04-08 15:26 214  
[ ]Qpositive_tail.con.xml.gz2004-04-08 15:26 297  
[ ]Qpositive_to_Z.con.body.xml.gz2004-04-08 15:26 763  
[ ]Qpositive_to_Z.con.types.xml.gz2004-04-08 15:26 215  
[ ]Qpositive_to_Z.con.xml.gz2004-04-08 15:26 309  
[ ]Qpositive_to_Z_Qpositive_le.con.body.xml.gz2004-04-08 15:26 122K 
[ ]Qpositive_to_Z_Qpositive_le.con.types.xml.gz2004-04-08 15:26 194K 
[ ]Qpositive_to_Z_Qpositive_le.con.xml.gz2004-04-08 15:26 520  
[ ]Qpositive_to_Z_is_integer_part.con.body.xml.gz2004-04-08 15:26 8.2K 
[ ]Qpositive_to_Z_is_integer_part.con.types.xml.gz2004-04-08 15:26 9.7K 
[ ]Qpositive_to_Z_is_integer_part.con.xml.gz2004-04-08 15:26 616  
[ ]Qpositive_to_Z_is_integer_part_subproof.con.body.xml.gz2004-04-08 15:26 1.0K 
[ ]Qpositive_to_Z_is_integer_part_subproof.con.types.xml.gz2004-04-08 15:26 1.0K 
[ ]Qpositive_to_Z_is_integer_part_subproof.con.xml.gz2004-04-08 15:26 848  
[ ]Qpositive_to_Z_is_integer_part_subproof0.con.body.xml.gz2004-04-08 15:26 14K 
[ ]Qpositive_to_Z_is_integer_part_subproof0.con.types.xml.gz2004-04-08 15:26 11K 
[ ]Qpositive_to_Z_is_integer_part_subproof0.con.xml.gz2004-04-08 15:26 812  
[ ]Qpositive_to_Z_nonneg.con.body.xml.gz2004-04-08 15:26 278  
[ ]Qpositive_to_Z_nonneg.con.types.xml.gz2004-04-08 15:26 227  
[ ]Qpositive_to_Z_nonneg.con.xml.gz2004-04-08 15:26 453  
[ ]Qpositive_to_Z_nonneg_subproof.con.body.xml.gz2004-04-08 15:26 1.5K 
[ ]Qpositive_to_Z_nonneg_subproof.con.types.xml.gz2004-04-08 15:26 1.5K 
[ ]Qpositive_to_Z_nonneg_subproof.con.xml.gz2004-04-08 15:26 473  
[ ]Qpositive_to_Z_nonneg_subproof_subproof.con.body.xml.gz2004-04-08 15:26 4.7K 
[ ]Qpositive_to_Z_nonneg_subproof_subproof.con.types.xml.gz2004-04-08 15:26 3.9K 
[ ]Qpositive_to_Z_nonneg_subproof_subproof.con.xml.gz2004-04-08 15:26 584  
[ ]Qsgn.con.body.xml.gz2004-04-08 15:26 576  
[ ]Qsgn.con.types.xml.gz2004-04-08 15:26 197  
[ ]Qsgn.con.xml.gz2004-04-08 15:26 294  
[ ]Qsgn_2.con.body.xml.gz2004-04-08 15:28 253  
[ ]Qsgn_2.con.types.xml.gz2004-04-08 15:28 201  
[ ]Qsgn_2.con.xml.gz2004-04-08 15:28 487  
[ ]Qsgn_2_subproof.con.body.xml.gz2004-04-08 15:28 2.6K 
[ ]Qsgn_2_subproof.con.types.xml.gz2004-04-08 15:28 2.7K 
[ ]Qsgn_2_subproof.con.xml.gz2004-04-08 15:28 506  
[ ]Qsgn_7.con.body.xml.gz2004-04-08 15:28 253  
[ ]Qsgn_7.con.types.xml.gz2004-04-08 15:28 201  
[ ]Qsgn_7.con.xml.gz2004-04-08 15:28 525  
[ ]Qsgn_7_subproof.con.body.xml.gz2004-04-08 15:28 10K 
[ ]Qsgn_7_subproof.con.types.xml.gz2004-04-08 15:28 15K 
[ ]Qsgn_7_subproof.con.xml.gz2004-04-08 15:28 544  
[ ]Qsgn_8.con.body.xml.gz2004-04-08 15:28 253  
[ ]Qsgn_8.con.types.xml.gz2004-04-08 15:28 201  
[ ]Qsgn_8.con.xml.gz2004-04-08 15:28 521  
[ ]Qsgn_8_subproof.con.body.xml.gz2004-04-08 15:28 9.3K 
[ ]Qsgn_8_subproof.con.types.xml.gz2004-04-08 15:28 14K 
[ ]Qsgn_8_subproof.con.xml.gz2004-04-08 15:28 538  
[ ]Qsgn_9.con.body.xml.gz2004-04-08 15:28 253  
[ ]Qsgn_9.con.types.xml.gz2004-04-08 15:28 201  
[ ]Qsgn_9.con.xml.gz2004-04-08 15:28 520  
[ ]Qsgn_9_subproof.con.body.xml.gz2004-04-08 15:28 2.7K 
[ ]Qsgn_9_subproof.con.types.xml.gz2004-04-08 15:28 2.7K 
[ ]Qsgn_9_subproof.con.xml.gz2004-04-08 15:28 535  
[ ]Qsgn_10.con.body.xml.gz2004-04-08 15:28 255  
[ ]Qsgn_10.con.types.xml.gz2004-04-08 15:28 203  
[ ]Qsgn_10.con.xml.gz2004-04-08 15:28 518  
[ ]Qsgn_10_subproof.con.body.xml.gz2004-04-08 15:28 2.8K 
[ ]Qsgn_10_subproof.con.types.xml.gz2004-04-08 15:28 2.7K 
[ ]Qsgn_10_subproof.con.xml.gz2004-04-08 15:28 535  
[ ]Qsgn_15.con.body.xml.gz2004-04-08 15:28 2.2K 
[ ]Qsgn_15.con.types.xml.gz2004-04-08 15:28 4.6K 
[ ]Qsgn_15.con.xml.gz2004-04-08 15:28 521  
[ ]Qsgn_25.con.body.xml.gz2004-04-08 15:28 867  
[ ]Qsgn_25.con.types.xml.gz2004-04-08 15:28 1.3K 
[ ]Qsgn_25.con.xml.gz2004-04-08 15:28 481  
[ ]Qsgn_28.con.body.xml.gz2004-04-08 15:28 823  
[ ]Qsgn_28.con.types.xml.gz2004-04-08 15:28 1.2K 
[ ]Qsgn_28.con.xml.gz2004-04-08 15:28 469  
[ ]Qsgn_29.con.body.xml.gz2004-04-08 15:28 819  
[ ]Qsgn_29.con.types.xml.gz2004-04-08 15:28 1.2K 
[ ]Qsgn_29.con.xml.gz2004-04-08 15:28 458  
[ ]Qsgn_30.con.body.xml.gz2004-04-08 15:28 2.2K 
[ ]Qsgn_30.con.types.xml.gz2004-04-08 15:28 4.6K 
[ ]Qsgn_30.con.xml.gz2004-04-08 15:28 526  
[ ]Z_to_Q.con.body.xml.gz2004-04-08 15:26 784  
[ ]Z_to_Q.con.types.xml.gz2004-04-08 15:26 201  
[ ]Z_to_Q.con.xml.gz2004-04-08 15:26 301  
[ ]Z_to_Q_neg.con.body.xml.gz2004-04-08 15:26 760  
[ ]Z_to_Q_neg.con.types.xml.gz2004-04-08 15:26 698  
[ ]Z_to_Q_neg.con.xml.gz2004-04-08 15:26 481  
[ ]Z_to_Q_nonneg.con.body.xml.gz2004-04-08 15:26 761  
[ ]Z_to_Q_nonneg.con.types.xml.gz2004-04-08 15:26 697  
[ ]Z_to_Q_nonneg.con.xml.gz2004-04-08 15:26 485  
[ ]Z_to_Q_nonpos.con.body.xml.gz2004-04-08 15:26 765  
[ ]Z_to_Q_nonpos.con.types.xml.gz2004-04-08 15:26 703  
[ ]Z_to_Q_nonpos.con.xml.gz2004-04-08 15:26 487  
[ ]Z_to_Q_not_eq.con.body.xml.gz2004-04-08 15:26 266  
[ ]Z_to_Q_not_eq.con.types.xml.gz2004-04-08 15:26 213  
[ ]Z_to_Q_not_eq.con.xml.gz2004-04-08 15:26 548  
[ ]Z_to_Q_not_eq_subproof.con.body.xml.gz2004-04-08 15:26 648  
[ ]Z_to_Q_not_eq_subproof.con.types.xml.gz2004-04-08 15:26 900  
[ ]Z_to_Q_not_eq_subproof.con.xml.gz2004-04-08 15:26 564  
[ ]Z_to_Q_pos.con.body.xml.gz2004-04-08 15:26 756  
[ ]Z_to_Q_pos.con.types.xml.gz2004-04-08 15:26 693  
[ ]Z_to_Q_pos.con.xml.gz2004-04-08 15:26 480  
[ ]Z_to_Qle.con.body.xml.gz2004-04-08 15:26 1.2K 
[ ]Z_to_Qle.con.types.xml.gz2004-04-08 15:26 1.0K 
[ ]Z_to_Qle.con.xml.gz2004-04-08 15:26 481  
[ ]Z_to_Qlt.con.body.xml.gz2004-04-08 15:26 1.7K 
[ ]Z_to_Qlt.con.types.xml.gz2004-04-08 15:26 2.1K 
[ ]Z_to_Qlt.con.xml.gz2004-04-08 15:26 480  
[ ]Z_to_Qminus.con.body.xml.gz2004-04-08 15:26 1.1K 
[ ]Z_to_Qminus.con.types.xml.gz2004-04-08 15:26 1.3K 
[ ]Z_to_Qminus.con.xml.gz2004-04-08 15:26 531  
[ ]Z_to_Qmult.con.body.xml.gz2004-04-08 15:26 2.8K 
[ ]Z_to_Qmult.con.types.xml.gz2004-04-08 15:26 4.5K 
[ ]Z_to_Qmult.con.xml.gz2004-04-08 15:26 526  
[ ]Z_to_Qmult_NEG.con.body.xml.gz2004-04-08 15:26 4.8K 
[ ]Z_to_Qmult_NEG.con.types.xml.gz2004-04-08 15:26 6.6K 
[ ]Z_to_Qmult_NEG.con.xml.gz2004-04-08 15:26 611  
[ ]Z_to_Qmult_NEG_subproof.con.body.xml.gz2004-04-08 15:26 9.8K 
[ ]Z_to_Qmult_NEG_subproof.con.types.xml.gz2004-04-08 15:26 9.0K 
[ ]Z_to_Qmult_NEG_subproof.con.xml.gz2004-04-08 15:26 625  
[ ]Z_to_Qmult_POS.con.body.xml.gz2004-04-08 15:26 4.8K 
[ ]Z_to_Qmult_POS.con.types.xml.gz2004-04-08 15:26 6.6K 
[ ]Z_to_Qmult_POS.con.xml.gz2004-04-08 15:26 610  
[ ]Z_to_Qmult_POS_NEG.con.body.xml.gz2004-04-08 15:26 4.8K 
[ ]Z_to_Qmult_POS_NEG.con.types.xml.gz2004-04-08 15:26 6.6K 
[ ]Z_to_Qmult_POS_NEG.con.xml.gz2004-04-08 15:26 621  
[ ]Z_to_Qmult_POS_NEG_subproof.con.body.xml.gz2004-04-08 15:26 9.8K 
[ ]Z_to_Qmult_POS_NEG_subproof.con.types.xml.gz2004-04-08 15:26 9.0K 
[ ]Z_to_Qmult_POS_NEG_subproof.con.xml.gz2004-04-08 15:26 632  
[ ]Z_to_Qmult_POS_subproof.con.body.xml.gz2004-04-08 15:26 9.8K 
[ ]Z_to_Qmult_POS_subproof.con.types.xml.gz2004-04-08 15:26 9.0K 
[ ]Z_to_Qmult_POS_subproof.con.xml.gz2004-04-08 15:26 624  
[ ]Z_to_Qopp.con.body.xml.gz2004-04-08 15:26 874  
[ ]Z_to_Qopp.con.types.xml.gz2004-04-08 15:26 1.3K 
[ ]Z_to_Qopp.con.xml.gz2004-04-08 15:26 484  
[ ]Z_to_Qplus.con.body.xml.gz2004-04-08 15:26 2.8K 
[ ]Z_to_Qplus.con.types.xml.gz2004-04-08 15:26 4.5K 
[ ]Z_to_Qplus.con.xml.gz2004-04-08 15:26 527  
[ ]Z_to_Qplus_NEG.con.body.xml.gz2004-04-08 15:26 3.2K 
[ ]Z_to_Qplus_NEG.con.types.xml.gz2004-04-08 15:26 2.9K 
[ ]Z_to_Qplus_NEG.con.xml.gz2004-04-08 15:26 609  
[ ]Z_to_Qplus_NEG_subproof.con.body.xml.gz2004-04-08 15:26 2.0K 
[ ]Z_to_Qplus_NEG_subproof.con.types.xml.gz2004-04-08 15:26 3.1K 
[ ]Z_to_Qplus_NEG_subproof.con.xml.gz2004-04-08 15:26 674  
[ ]Z_to_Qplus_POS.con.body.xml.gz2004-04-08 15:26 5.9K 
[ ]Z_to_Qplus_POS.con.types.xml.gz2004-04-08 15:26 7.5K 
[ ]Z_to_Qplus_POS.con.xml.gz2004-04-08 15:26 607  
[ ]Z_to_Qplus_POS_NEG.con.body.xml.gz2004-04-08 15:26 22K 
[ ]Z_to_Qplus_POS_NEG.con.types.xml.gz2004-04-08 15:26 45K 
[ ]Z_to_Qplus_POS_NEG.con.xml.gz2004-04-08 15:26 615  
[ ]Z_to_Qplus_POS_NEG_subproof.con.body.xml.gz2004-04-08 15:26 7.1K 
[ ]Z_to_Qplus_POS_NEG_subproof.con.types.xml.gz2004-04-08 15:26 5.9K 
[ ]Z_to_Qplus_POS_NEG_subproof.con.xml.gz2004-04-08 15:26 606  
[ ]Z_to_Qplus_POS_NEG_subproof0.con.body.xml.gz2004-04-08 15:26 10K 
[ ]Z_to_Qplus_POS_NEG_subproof0.con.types.xml.gz2004-04-08 15:26 8.5K 
[ ]Z_to_Qplus_POS_NEG_subproof0.con.xml.gz2004-04-08 15:26 676  
[ ]Z_to_Qplus_POS_NEG_subproof1.con.body.xml.gz2004-04-08 15:26 743  
[ ]Z_to_Qplus_POS_NEG_subproof1.con.types.xml.gz2004-04-08 15:26 1.0K 
[ ]Z_to_Qplus_POS_NEG_subproof1.con.xml.gz2004-04-08 15:26 778  
[ ]Z_to_Qplus_POS_NEG_subproof1_subproof.con.body.xml.gz2004-04-08 15:26 9.0K 
[ ]Z_to_Qplus_POS_NEG_subproof1_subproof.con.types.xml.gz2004-04-08 15:26 7.6K 
[ ]Z_to_Qplus_POS_NEG_subproof1_subproof.con.xml.gz2004-04-08 15:26 793  
[ ]Z_to_Qplus_POS_NEG_subproof2.con.body.xml.gz2004-04-08 15:26 3.6K 
[ ]Z_to_Qplus_POS_NEG_subproof2.con.types.xml.gz2004-04-08 15:26 2.9K 
[ ]Z_to_Qplus_POS_NEG_subproof2.con.xml.gz2004-04-08 15:26 841  
[ ]Z_to_Qplus_POS_NEG_subproof3.con.body.xml.gz2004-04-08 15:26 36K 
[ ]Z_to_Qplus_POS_NEG_subproof3.con.types.xml.gz2004-04-08 15:26 31K 
[ ]Z_to_Qplus_POS_NEG_subproof3.con.xml.gz2004-04-08 15:26 971  
[ ]Z_to_Qplus_POS_NEG_subproof4.con.body.xml.gz2004-04-08 15:26 9.1K 
[ ]Z_to_Qplus_POS_NEG_subproof4.con.types.xml.gz2004-04-08 15:26 7.4K 
[ ]Z_to_Qplus_POS_NEG_subproof4.con.xml.gz2004-04-08 15:26 902  
[ ]Z_to_Qplus_POS_NEG_subproof5.con.body.xml.gz2004-04-08 15:26 25K 
[ ]Z_to_Qplus_POS_NEG_subproof5.con.types.xml.gz2004-04-08 15:26 19K 
[ ]Z_to_Qplus_POS_NEG_subproof5.con.xml.gz2004-04-08 15:26 936  
[ ]Z_to_Qplus_POS_NEG_subproof6.con.body.xml.gz2004-04-08 15:26 26K 
[ ]Z_to_Qplus_POS_NEG_subproof6.con.types.xml.gz2004-04-08 15:26 20K 
[ ]Z_to_Qplus_POS_NEG_subproof6.con.xml.gz2004-04-08 15:26 929  
[ ]Z_to_Qplus_POS_subproof.con.body.xml.gz2004-04-08 15:26 13K 
[ ]Z_to_Qplus_POS_subproof.con.types.xml.gz2004-04-08 15:26 12K 
[ ]Z_to_Qplus_POS_subproof.con.xml.gz2004-04-08 15:26 619  
[ ]Z_to_Qpositive.con.body.xml.gz2004-04-08 15:26 955  
[ ]Z_to_Qpositive.con.types.xml.gz2004-04-08 15:26 215  
[ ]Z_to_Qpositive.con.xml.gz2004-04-08 15:26 422  
[ ]Z_to_Qpositive_Q_tail_pos.con.body.xml.gz2004-04-08 15:28 1.0K 
[ ]Z_to_Qpositive_Q_tail_pos.con.types.xml.gz2004-04-08 15:28 1.4K 
[ ]Z_to_Qpositive_Q_tail_pos.con.xml.gz2004-04-08 15:28 574  
[ ]Z_to_Qpositive_Q_tail_pos_subproof.con.body.xml.gz2004-04-08 15:28 967  
[ ]Z_to_Qpositive_Q_tail_pos_subproof.con.types.xml.gz2004-04-08 15:28 1.2K 
[ ]Z_to_Qpositive_Q_tail_pos_subproof.con.xml.gz2004-04-08 15:28 560  
[ ]Z_to_Qpositive_Q_tail_pos_subproof0.con.body.xml.gz2004-04-08 15:28 615  
[ ]Z_to_Qpositive_Q_tail_pos_subproof0.con.types.xml.gz2004-04-08 15:28 897  
[ ]Z_to_Qpositive_Q_tail_pos_subproof0.con.xml.gz2004-04-08 15:28 647  
[ ]Z_to_Qpositive_Q_tail_pos_subproof1.con.body.xml.gz2004-04-08 15:28 1.1K 
[ ]Z_to_Qpositive_Q_tail_pos_subproof1.con.types.xml.gz2004-04-08 15:28 1.4K 
[ ]Z_to_Qpositive_Q_tail_pos_subproof1.con.xml.gz2004-04-08 15:28 643  
[ ]Z_to_Qpositive_equal.con.body.xml.gz2004-04-08 15:26 278  
[ ]Z_to_Qpositive_equal.con.types.xml.gz2004-04-08 15:26 226  
[ ]Z_to_Qpositive_equal.con.xml.gz2004-04-08 15:26 643  
[ ]Z_to_Qpositive_equal_subproof.con.body.xml.gz2004-04-08 15:26 5.7K 
[ ]Z_to_Qpositive_equal_subproof.con.types.xml.gz2004-04-08 15:26 13K 
[ ]Z_to_Qpositive_equal_subproof.con.xml.gz2004-04-08 15:26 661  
[ ]Z_to_Qpositive_subproof.con.body.xml.gz2004-04-08 15:26 845  
[ ]Z_to_Qpositive_subproof.con.types.xml.gz2004-04-08 15:26 675  
[ ]Z_to_Qpositive_subproof.con.xml.gz2004-04-08 15:26 401  
[ ]Z_to_Qpositive_subproof0.con.body.xml.gz2004-04-08 15:26 921  
[ ]Z_to_Qpositive_subproof0.con.types.xml.gz2004-04-08 15:26 738  
[ ]Z_to_Qpositive_subproof0.con.xml.gz2004-04-08 15:26 471  
[ ]Z_to_Qpositive_to_Q.con.body.xml.gz2004-04-08 15:26 273  
[ ]Z_to_Qpositive_to_Q.con.types.xml.gz2004-04-08 15:26 222  
[ ]Z_to_Qpositive_to_Q.con.xml.gz2004-04-08 15:26 569  
[ ]Z_to_Qpositive_to_Q_subproof.con.body.xml.gz2004-04-08 15:26 4.5K 
[ ]Z_to_Qpositive_to_Q_subproof.con.types.xml.gz2004-04-08 15:26 8.7K 
[ ]Z_to_Qpositive_to_Q_subproof.con.xml.gz2004-04-08 15:26 589  
[ ]decode_Q.con.body.xml.gz2004-04-08 15:26 1.1K 
[ ]decode_Q.con.types.xml.gz2004-04-08 15:26 205  
[ ]decode_Q.con.xml.gz2004-04-08 15:26 354  
[ ]eq_Z_to_Q.con.body.xml.gz2004-04-08 15:26 1.5K 
[ ]eq_Z_to_Q.con.types.xml.gz2004-04-08 15:26 1.2K 
[ ]eq_Z_to_Q.con.xml.gz2004-04-08 15:26 510  
[ ]le_plus_O_l.con.body.xml.gz2004-04-08 15:25 536  
[ ]le_plus_O_l.con.types.xml.gz2004-04-08 15:25 576  
[ ]le_plus_O_l.con.xml.gz2004-04-08 15:25 487  
[ ]le_plus_O_l_subproof.con.body.xml.gz2004-04-08 15:25 12K 
[ ]le_plus_O_l_subproof.con.types.xml.gz2004-04-08 15:25 10K 
[ ]le_plus_O_l_subproof.con.xml.gz2004-04-08 15:25 509  
[ ]le_plus_O_r.con.body.xml.gz2004-04-08 15:25 536  
[ ]le_plus_O_r.con.types.xml.gz2004-04-08 15:25 576  
[ ]le_plus_O_r.con.xml.gz2004-04-08 15:25 484  
[ ]le_plus_O_r_subproof.con.body.xml.gz2004-04-08 15:25 12K 
[ ]le_plus_O_r_subproof.con.types.xml.gz2004-04-08 15:25 10K 
[ ]le_plus_O_r_subproof.con.xml.gz2004-04-08 15:25 505  
[ ]le_plus_Sn_1_SSn.con.body.xml.gz2004-04-08 15:25 405  
[ ]le_plus_Sn_1_SSn.con.types.xml.gz2004-04-08 15:25 635  
[ ]le_plus_Sn_1_SSn.con.xml.gz2004-04-08 15:25 486  
[ ]le_plus_Sn_1_SSn_subproof.con.body.xml.gz2004-04-08 15:25 8.7K 
[ ]le_plus_Sn_1_SSn_subproof.con.types.xml.gz2004-04-08 15:25 8.1K 
[ ]le_plus_Sn_1_SSn_subproof.con.xml.gz2004-04-08 15:25 505  
[ ]length_of_Qpositive.con.body.xml.gz2004-04-08 15:26 778  
[ ]length_of_Qpositive.con.types.xml.gz2004-04-08 15:26 223  
[ ]length_of_Qpositive.con.xml.gz2004-04-08 15:26 317  
[ ]length_of_Qpositive_is_length.con.body.xml.gz2004-04-08 15:26 9.4K 
[ ]length_of_Qpositive_is_length.con.types.xml.gz2004-04-08 15:26 11K 
[ ]length_of_Qpositive_is_length.con.xml.gz2004-04-08 15:26 664  
[ ]length_of_Qpositive_is_length_subproof.con.body.xml.gz2004-04-08 15:26 14K 
[ ]length_of_Qpositive_is_length_subproof.con.types.xml.gz2004-04-08 15:26 13K 
[ ]length_of_Qpositive_is_length_subproof.con.xml.gz2004-04-08 15:26 1.0K 
[ ]length_of_Qpositive_is_length_subproof0.con.body.xml.gz2004-04-08 15:26 1.0K 
[ ]length_of_Qpositive_is_length_subproof0.con.types.xml.gz2004-04-08 15:26 1.0K 
[ ]length_of_Qpositive_is_length_subproof0.con.xml.gz2004-04-08 15:26 891  
[ ]length_of_Qpositive_is_length_subproof1.con.body.xml.gz2004-04-08 15:26 14K 
[ ]length_of_Qpositive_is_length_subproof1.con.types.xml.gz2004-04-08 15:26 11K 
[ ]length_of_Qpositive_is_length_subproof1.con.xml.gz2004-04-08 15:26 861  
[ ]length_of_Qpositive_to_positive.con.body.xml.gz2004-04-08 15:26 748  
[ ]length_of_Qpositive_to_positive.con.types.xml.gz2004-04-08 15:26 242  
[ ]length_of_Qpositive_to_positive.con.xml.gz2004-04-08 15:26 333  
[ ]lt_Z_to_Q.con.body.xml.gz2004-04-08 15:26 1.9K 
[ ]lt_Z_to_Q.con.types.xml.gz2004-04-08 15:26 1.3K 
[ ]lt_Z_to_Q.con.xml.gz2004-04-08 15:26 485  
[ ]lt_minus_eq_0.con.body.xml.gz2004-04-08 15:25 499  
[ ]lt_minus_eq_0.con.types.xml.gz2004-04-08 15:25 612  
[ ]lt_minus_eq_0.con.xml.gz2004-04-08 15:25 496  
[ ]lt_minus_eq_0_subproof.con.body.xml.gz2004-04-08 15:25 11K 
[ ]lt_minus_eq_0_subproof.con.types.xml.gz2004-04-08 15:25 8.6K 
[ ]lt_minus_eq_0_subproof.con.xml.gz2004-04-08 15:25 518  
[ ]lt_minus_neq.con.body.xml.gz2004-04-08 15:25 499  
[ ]lt_minus_neq.con.types.xml.gz2004-04-08 15:25 641  
[ ]lt_minus_neq.con.xml.gz2004-04-08 15:25 514  
[ ]lt_minus_neq_subproof.con.body.xml.gz2004-04-08 15:25 17K 
[ ]lt_minus_neq_subproof.con.types.xml.gz2004-04-08 15:25 13K 
[ ]lt_minus_neq_subproof.con.xml.gz2004-04-08 15:25 536  
[ ]make_Q.con.body.xml.gz2004-04-08 15:26 1.2K 
[ ]make_Q.con.types.xml.gz2004-04-08 15:26 201  
[ ]make_Q.con.xml.gz2004-04-08 15:26 311  
[ ]minus_pred.con.body.xml.gz2004-04-08 15:26 512  
[ ]minus_pred.con.types.xml.gz2004-04-08 15:26 695  
[ ]minus_pred.con.xml.gz2004-04-08 15:26 540  
[ ]minus_pred_nat.con.body.xml.gz2004-04-08 15:26 5.4K 
[ ]minus_pred_nat.con.types.xml.gz2004-04-08 15:26 6.5K 
[ ]minus_pred_nat.con.xml.gz2004-04-08 15:26 778  
[ ]minus_pred_nat_subproof.con.body.xml.gz2004-04-08 15:26 1.1K 
[ ]minus_pred_nat_subproof.con.types.xml.gz2004-04-08 15:26 1.6K 
[ ]minus_pred_nat_subproof.con.xml.gz2004-04-08 15:26 743  
[ ]minus_pred_nat_subproof0.con.body.xml.gz2004-04-08 15:26 1.3K 
[ ]minus_pred_nat_subproof0.con.types.xml.gz2004-04-08 15:26 1.9K 
[ ]minus_pred_nat_subproof0.con.xml.gz2004-04-08 15:26 840  
[ ]minus_pred_nat_subproof1.con.body.xml.gz2004-04-08 15:26 1.2K 
[ ]minus_pred_nat_subproof1.con.types.xml.gz2004-04-08 15:26 1.8K 
[ ]minus_pred_nat_subproof1.con.xml.gz2004-04-08 15:26 819  
[ ]minus_pred_nat_subproof2.con.body.xml.gz2004-04-08 15:26 1.3K 
[ ]minus_pred_nat_subproof2.con.types.xml.gz2004-04-08 15:26 2.1K 
[ ]minus_pred_nat_subproof2.con.xml.gz2004-04-08 15:26 876  
[ ]minus_pred_subproof.con.body.xml.gz2004-04-08 15:26 314K 
[ ]minus_pred_subproof.con.types.xml.gz2004-04-08 15:26 271K 
[ ]minus_pred_subproof.con.xml.gz2004-04-08 15:26 565  
[ ]neg_Z_to_Q.con.body.xml.gz2004-04-08 15:26 516  
[ ]neg_Z_to_Q.con.types.xml.gz2004-04-08 15:26 656  
[ ]neg_Z_to_Q.con.xml.gz2004-04-08 15:26 481  
[ ]not_O_S.con.body.xml.gz2004-04-08 15:25 1.3K 
[ ]not_O_S.con.types.xml.gz2004-04-08 15:25 657  
[ ]not_O_S.con.xml.gz2004-04-08 15:25 562  
[ ]pos_Z_to_Q.con.body.xml.gz2004-04-08 15:26 514  
[ ]pos_Z_to_Q.con.types.xml.gz2004-04-08 15:26 653  
[ ]pos_Z_to_Q.con.xml.gz2004-04-08 15:26 484  
[ ]pred_nat_absolu.con.body.xml.gz2004-04-08 15:26 1.4K 
[ ]pred_nat_absolu.con.types.xml.gz2004-04-08 15:26 2.0K 
[ ]pred_nat_absolu.con.xml.gz2004-04-08 15:26 604  
[ ]pred_nat_absolu_subproof.con.body.xml.gz2004-04-08 15:26 1.0K 
[ ]pred_nat_absolu_subproof.con.types.xml.gz2004-04-08 15:26 1.3K 
[ ]pred_nat_absolu_subproof.con.xml.gz2004-04-08 15:26 590  
[ ]pred_nat_absolu_subproof0.con.body.xml.gz2004-04-08 15:26 1.1K 
[ ]pred_nat_absolu_subproof0.con.types.xml.gz2004-04-08 15:26 1.5K 
[ ]pred_nat_absolu_subproof0.con.xml.gz2004-04-08 15:26 664  
[ ]what_dL_does.con.body.xml.gz2004-04-08 15:26 47K 
[ ]what_dL_does.con.types.xml.gz2004-04-08 15:26 62K 
[ ]what_dL_does.con.xml.gz2004-04-08 15:26 513  
[ ]what_dL_does_subproof.con.body.xml.gz2004-04-08 15:26 17K 
[ ]what_dL_does_subproof.con.types.xml.gz2004-04-08 15:26 15K 
[ ]what_dL_does_subproof.con.xml.gz2004-04-08 15:26 758  
[ ]what_dL_does_subproof0.con.body.xml.gz2004-04-08 15:26 12K 
[ ]what_dL_does_subproof0.con.types.xml.gz2004-04-08 15:26 9.7K 
[ ]what_dL_does_subproof0.con.xml.gz2004-04-08 15:26 603  
[ ]what_nR_does.con.body.xml.gz2004-04-08 15:26 20K 
[ ]what_nR_does.con.types.xml.gz2004-04-08 15:26 31K 
[ ]what_nR_does.con.xml.gz2004-04-08 15:26 468  
[ ]what_nR_does_subproof.con.body.xml.gz2004-04-08 15:26 12K 
[ ]what_nR_does_subproof.con.types.xml.gz2004-04-08 15:26 9.7K 
[ ]what_nR_does_subproof.con.xml.gz2004-04-08 15:26 583  
Apache/2.4.57 (Debian) Server at mowgli.cs.unibo.it Port 80