Index of /xml/Orsay/QArith/QArith_base

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]INDEX2005-07-05 08:12 3.5K 
[ ]Q.ind.types.xml.gz2004-04-08 14:46 190  
[ ]Q.ind.xml.gz2004-04-08 14:46 396  
[ ]Q_Setoid.con.body.xml.gz2004-04-08 14:46 1.0K 
[ ]Q_Setoid.con.types.xml.gz2004-04-08 14:46 1.2K 
[ ]Q_Setoid.con.xml.gz2004-04-08 14:46 325  
[ ]Q_dec.con.body.xml.gz2004-04-08 14:46 555  
[ ]Q_dec.con.types.xml.gz2004-04-08 14:46 197  
[ ]Q_dec.con.xml.gz2004-04-08 14:46 490  
[ ]Q_ind.con.body.xml.gz2004-04-08 14:46 407  
[ ]Q_ind.con.types.xml.gz2004-04-08 14:46 678  
[ ]Q_ind.con.xml.gz2004-04-08 14:46 555  
[ ]Q_rec.con.body.xml.gz2004-04-08 14:46 404  
[ ]Q_rec.con.types.xml.gz2004-04-08 14:46 197  
[ ]Q_rec.con.xml.gz2004-04-08 14:46 550  
[ ]Q_rect.con.body.xml.gz2004-04-08 14:46 686  
[ ]Q_rect.con.types.xml.gz2004-04-08 14:46 199  
[ ]Q_rect.con.xml.gz2004-04-08 14:46 546  
[ ]Qden.con.body.xml.gz2004-04-08 14:46 505  
[ ]Qden.con.types.xml.gz2004-04-08 14:46 196  
[ ]Qden.con.xml.gz2004-04-08 14:46 296  
[ ]Qdiv.con.body.xml.gz2004-04-08 14:46 399  
[ ]Qdiv.con.types.xml.gz2004-04-08 14:46 196  
[ ]Qdiv.con.xml.gz2004-04-08 14:46 288  
[ ]Qdiv_Qmult.con.body.xml.gz2004-04-08 14:46 1.5K 
[ ]Qdiv_Qmult.con.types.xml.gz2004-04-08 14:46 1.4K 
[ ]Qdiv_Qmult.con.xml.gz2004-04-08 14:46 581  
[ ]Qdiv_comp.con.body.xml.gz2004-04-08 14:46 1.5K 
[ ]Qdiv_comp.con.types.xml.gz2004-04-08 14:46 1.4K 
[ ]Qdiv_comp.con.xml.gz2004-04-08 14:46 546  
[ ]Qeq.con.body.xml.gz2004-04-08 14:46 633  
[ ]Qeq.con.types.xml.gz2004-04-08 14:46 194  
[ ]Qeq.con.xml.gz2004-04-08 14:46 303  
[ ]Qeq_dec.con.body.xml.gz2004-04-08 14:46 2.2K 
[ ]Qeq_dec.con.types.xml.gz2004-04-08 14:46 770  
[ ]Qeq_dec.con.xml.gz2004-04-08 14:46 476  
[ ]Qeq_refl.con.body.xml.gz2004-04-08 14:46 506  
[ ]Qeq_refl.con.types.xml.gz2004-04-08 14:46 633  
[ ]Qeq_refl.con.xml.gz2004-04-08 14:46 366  
[ ]Qeq_sym.con.body.xml.gz2004-04-08 14:46 710  
[ ]Qeq_sym.con.types.xml.gz2004-04-08 14:46 853  
[ ]Qeq_sym.con.xml.gz2004-04-08 14:46 424  
[ ]Qeq_trans.con.body.xml.gz2004-04-08 14:46 13K 
[ ]Qeq_trans.con.types.xml.gz2004-04-08 14:46 19K 
[ ]Qeq_trans.con.xml.gz2004-04-08 14:46 472  
[ ]Qinv.con.body.xml.gz2004-04-08 14:46 760  
[ ]Qinv.con.types.xml.gz2004-04-08 14:46 196  
[ ]Qinv.con.xml.gz2004-04-08 14:46 280  
[ ]Qinv_Qmult.con.body.xml.gz2004-04-08 14:46 11K 
[ ]Qinv_Qmult.con.types.xml.gz2004-04-08 14:46 21K 
[ ]Qinv_Qmult.con.xml.gz2004-04-08 14:46 588  
[ ]Qinv_comp.con.body.xml.gz2004-04-08 14:46 12K 
[ ]Qinv_comp.con.types.xml.gz2004-04-08 14:46 34K 
[ ]Qinv_comp.con.xml.gz2004-04-08 14:46 461  
[ ]Qle.con.body.xml.gz2004-04-08 14:46 619  
[ ]Qle.con.types.xml.gz2004-04-08 14:46 194  
[ ]Qle.con.xml.gz2004-04-08 14:46 301  
[ ]Qle_antisym.con.body.xml.gz2004-04-08 14:46 780  
[ ]Qle_antisym.con.types.xml.gz2004-04-08 14:46 1.1K 
[ ]Qle_antisym.con.xml.gz2004-04-08 14:46 464  
[ ]Qle_antisym_subproof.con.body.xml.gz2004-04-08 14:46 13K 
[ ]Qle_antisym_subproof.con.types.xml.gz2004-04-08 14:46 11K 
[ ]Qle_antisym_subproof.con.xml.gz2004-04-08 14:46 834  
[ ]Qle_comp.con.body.xml.gz2004-04-08 14:46 21K 
[ ]Qle_comp.con.types.xml.gz2004-04-08 14:46 31K 
[ ]Qle_comp.con.xml.gz2004-04-08 14:46 520  
[ ]Qle_comp2.con.body.xml.gz2004-04-08 14:46 1.0K 
[ ]Qle_comp2.con.types.xml.gz2004-04-08 14:46 1.0K 
[ ]Qle_comp2.con.xml.gz2004-04-08 14:46 645  
[ ]Qle_lt_or_eq.con.body.xml.gz2004-04-08 14:46 736  
[ ]Qle_lt_or_eq.con.types.xml.gz2004-04-08 14:46 1.2K 
[ ]Qle_lt_or_eq.con.xml.gz2004-04-08 14:46 492  
[ ]Qle_not_lt.con.body.xml.gz2004-04-08 14:46 785  
[ ]Qle_not_lt.con.types.xml.gz2004-04-08 14:46 1.0K 
[ ]Qle_not_lt.con.xml.gz2004-04-08 14:46 462  
[ ]Qle_not_lt_subproof.con.body.xml.gz2004-04-08 14:46 8.2K 
[ ]Qle_not_lt_subproof.con.types.xml.gz2004-04-08 14:46 6.3K 
[ ]Qle_not_lt_subproof.con.xml.gz2004-04-08 14:46 713  
[ ]Qle_plus_compat.con.body.xml.gz2004-04-08 14:46 31K 
[ ]Qle_plus_compat.con.types.xml.gz2004-04-08 14:46 47K 
[ ]Qle_plus_compat.con.xml.gz2004-04-08 14:46 554  
[ ]Qle_refl.con.body.xml.gz2004-04-08 14:46 485  
[ ]Qle_refl.con.types.xml.gz2004-04-08 14:46 611  
[ ]Qle_refl.con.xml.gz2004-04-08 14:46 364  
[ ]Qle_trans.con.body.xml.gz2004-04-08 14:46 13K 
[ ]Qle_trans.con.types.xml.gz2004-04-08 14:46 18K 
[ ]Qle_trans.con.xml.gz2004-04-08 14:46 467  
[ ]Qlt.con.body.xml.gz2004-04-08 14:46 617  
[ ]Qlt.con.types.xml.gz2004-04-08 14:46 194  
[ ]Qlt.con.xml.gz2004-04-08 14:46 301  
[ ]Qlt_comp.con.body.xml.gz2004-04-08 14:46 22K 
[ ]Qlt_comp.con.types.xml.gz2004-04-08 14:46 31K 
[ ]Qlt_comp.con.xml.gz2004-04-08 14:46 523  
[ ]Qlt_comp2.con.body.xml.gz2004-04-08 14:46 1.0K 
[ ]Qlt_comp2.con.types.xml.gz2004-04-08 14:46 1.0K 
[ ]Qlt_comp2.con.xml.gz2004-04-08 14:46 645  
[ ]Qlt_comp_subproof.con.body.xml.gz2004-04-08 14:46 19K 
[ ]Qlt_comp_subproof.con.types.xml.gz2004-04-08 14:46 13K 
[ ]Qlt_comp_subproof.con.xml.gz2004-04-08 14:46 1.6K 
[ ]Qlt_le_dec.con.body.xml.gz2004-04-08 14:46 674  
[ ]Qlt_le_dec.con.types.xml.gz2004-04-08 14:46 206  
[ ]Qlt_le_dec.con.xml.gz2004-04-08 14:46 453  
[ ]Qlt_le_weak.con.body.xml.gz2004-04-08 14:46 643  
[ ]Qlt_le_weak.con.types.xml.gz2004-04-08 14:46 905  
[ ]Qlt_le_weak.con.xml.gz2004-04-08 14:46 429  
[ ]Qlt_le_weak_subproof.con.body.xml.gz2004-04-08 14:46 9.5K 
[ ]Qlt_le_weak_subproof.con.types.xml.gz2004-04-08 14:46 7.3K 
[ ]Qlt_le_weak_subproof.con.xml.gz2004-04-08 14:46 711  
[ ]Qlt_not_eq.con.body.xml.gz2004-04-08 14:46 791  
[ ]Qlt_not_eq.con.types.xml.gz2004-04-08 14:46 1.0K 
[ ]Qlt_not_eq.con.xml.gz2004-04-08 14:46 462  
[ ]Qlt_not_eq_subproof.con.body.xml.gz2004-04-08 14:46 8.7K 
[ ]Qlt_not_eq_subproof.con.types.xml.gz2004-04-08 14:46 7.1K 
[ ]Qlt_not_eq_subproof.con.xml.gz2004-04-08 14:46 725  
[ ]Qlt_not_le.con.body.xml.gz2004-04-08 14:46 783  
[ ]Qlt_not_le.con.types.xml.gz2004-04-08 14:46 1.0K 
[ ]Qlt_not_le.con.xml.gz2004-04-08 14:46 463  
[ ]Qlt_not_le_subproof.con.body.xml.gz2004-04-08 14:46 8.2K 
[ ]Qlt_not_le_subproof.con.types.xml.gz2004-04-08 14:46 6.3K 
[ ]Qlt_not_le_subproof.con.xml.gz2004-04-08 14:46 713  
[ ]Qlt_trans.con.body.xml.gz2004-04-08 14:46 13K 
[ ]Qlt_trans.con.types.xml.gz2004-04-08 14:46 18K 
[ ]Qlt_trans.con.xml.gz2004-04-08 14:46 473  
[ ]Qlt_trans_subproof.con.body.xml.gz2004-04-08 14:46 9.0K 
[ ]Qlt_trans_subproof.con.types.xml.gz2004-04-08 14:46 6.6K 
[ ]Qlt_trans_subproof.con.xml.gz2004-04-08 14:46 758  
[ ]Qlt_trans_subproof0.con.body.xml.gz2004-04-08 14:46 9.0K 
[ ]Qlt_trans_subproof0.con.types.xml.gz2004-04-08 14:46 6.6K 
[ ]Qlt_trans_subproof0.con.xml.gz2004-04-08 14:46 760  
[ ]Qminus.con.body.xml.gz2004-04-08 14:46 402  
[ ]Qminus.con.types.xml.gz2004-04-08 14:46 199  
[ ]Qminus.con.xml.gz2004-04-08 14:46 292  
[ ]Qminus_comp.con.body.xml.gz2004-04-08 14:46 1.5K 
[ ]Qminus_comp.con.types.xml.gz2004-04-08 14:46 1.4K 
[ ]Qminus_comp.con.xml.gz2004-04-08 14:46 549  
[ ]Qmult.con.body.xml.gz2004-04-08 14:46 511  
[ ]Qmult.con.types.xml.gz2004-04-08 14:46 197  
[ ]Qmult.con.xml.gz2004-04-08 14:46 290  
[ ]Qmult_Qdiv.con.body.xml.gz2004-04-08 14:46 1.4K 
[ ]Qmult_Qdiv.con.types.xml.gz2004-04-08 14:46 1.4K 
[ ]Qmult_Qdiv.con.xml.gz2004-04-08 14:46 586  
[ ]Qmult_assoc.con.body.xml.gz2004-04-08 14:46 4.9K 
[ ]Qmult_assoc.con.types.xml.gz2004-04-08 14:46 6.9K 
[ ]Qmult_assoc.con.xml.gz2004-04-08 14:46 507  
[ ]Qmult_comp.con.body.xml.gz2004-04-08 14:46 21K 
[ ]Qmult_comp.con.types.xml.gz2004-04-08 14:46 30K 
[ ]Qmult_comp.con.xml.gz2004-04-08 14:46 545  
[ ]Qmult_eq.con.body.xml.gz2004-04-08 14:46 4.2K 
[ ]Qmult_eq.con.types.xml.gz2004-04-08 14:46 5.9K 
[ ]Qmult_eq.con.xml.gz2004-04-08 14:46 624  
[ ]Qmult_n_1.con.body.xml.gz2004-04-08 14:46 1.2K 
[ ]Qmult_n_1.con.types.xml.gz2004-04-08 14:46 1.4K 
[ ]Qmult_n_1.con.xml.gz2004-04-08 14:46 493  
[ ]Qmult_plus_distr_r.con.body.xml.gz2004-04-08 14:46 11K 
[ ]Qmult_plus_distr_r.con.types.xml.gz2004-04-08 14:46 14K 
[ ]Qmult_plus_distr_r.con.xml.gz2004-04-08 14:46 536  
[ ]Qmult_simpl.con.body.xml.gz2004-04-08 14:46 1.3K 
[ ]Qmult_simpl.con.types.xml.gz2004-04-08 14:46 1.1K 
[ ]Qmult_simpl.con.xml.gz2004-04-08 14:46 541  
[ ]Qmult_sym.con.body.xml.gz2004-04-08 14:46 3.8K 
[ ]Qmult_sym.con.types.xml.gz2004-04-08 14:46 5.0K 
[ ]Qmult_sym.con.xml.gz2004-04-08 14:46 441  
[ ]Qnum.con.body.xml.gz2004-04-08 14:46 502  
[ ]Qnum.con.types.xml.gz2004-04-08 14:46 196  
[ ]Qnum.con.xml.gz2004-04-08 14:46 293  
[ ]Qone_neq_Qzero.con.body.xml.gz2004-04-08 14:46 1.3K 
[ ]Qone_neq_Qzero.con.types.xml.gz2004-04-08 14:46 1.3K 
[ ]Qone_neq_Qzero.con.xml.gz2004-04-08 14:46 433  
[ ]Qopp.con.body.xml.gz2004-04-08 14:46 439  
[ ]Qopp.con.types.xml.gz2004-04-08 14:46 196  
[ ]Qopp.con.xml.gz2004-04-08 14:46 280  
[ ]Qopp_comp.con.body.xml.gz2004-04-08 14:46 5.0K 
[ ]Qopp_comp.con.types.xml.gz2004-04-08 14:46 7.2K 
[ ]Qopp_comp.con.xml.gz2004-04-08 14:46 464  
[ ]Qopp_simpl.con.body.xml.gz2004-04-08 14:46 803  
[ ]Qopp_simpl.con.types.xml.gz2004-04-08 14:46 703  
[ ]Qopp_simpl.con.xml.gz2004-04-08 14:46 462  
[ ]Qplus.con.body.xml.gz2004-04-08 14:46 693  
[ ]Qplus.con.types.xml.gz2004-04-08 14:46 197  
[ ]Qplus.con.xml.gz2004-04-08 14:46 292  
[ ]Qplus_assoc.con.body.xml.gz2004-04-08 14:46 12K 
[ ]Qplus_assoc.con.types.xml.gz2004-04-08 14:46 15K 
[ ]Qplus_assoc.con.xml.gz2004-04-08 14:46 504  
[ ]Qplus_comp.con.body.xml.gz2004-04-08 14:46 26K 
[ ]Qplus_comp.con.types.xml.gz2004-04-08 14:46 40K 
[ ]Qplus_comp.con.xml.gz2004-04-08 14:46 543  
[ ]Qplus_inverse_r.con.body.xml.gz2004-04-08 14:46 2.8K 
[ ]Qplus_inverse_r.con.types.xml.gz2004-04-08 14:46 3.8K 
[ ]Qplus_inverse_r.con.xml.gz2004-04-08 14:46 500  
[ ]Qplus_simpl.con.body.xml.gz2004-04-08 14:46 1.3K 
[ ]Qplus_simpl.con.types.xml.gz2004-04-08 14:46 1.1K 
[ ]Qplus_simpl.con.xml.gz2004-04-08 14:46 541  
[ ]Qplus_sym.con.body.xml.gz2004-04-08 14:46 5.6K 
[ ]Qplus_sym.con.types.xml.gz2004-04-08 14:46 7.5K 
[ ]Qplus_sym.con.xml.gz2004-04-08 14:46 436  
[ ]Qzero_right.con.body.xml.gz2004-04-08 14:46 3.3K 
[ ]Qzero_right.con.types.xml.gz2004-04-08 14:46 4.2K 
[ ]Qzero_right.con.xml.gz2004-04-08 14:46 479  
[ ]inject_Z.con.body.xml.gz2004-04-08 14:46 408  
[ ]inject_Z.con.types.xml.gz2004-04-08 14:46 203  
[ ]inject_Z.con.xml.gz2004-04-08 14:46 299  
[ ]not_Qle.con.body.xml.gz2004-04-08 14:46 666  
[ ]not_Qle.con.types.xml.gz2004-04-08 14:46 957  
[ ]not_Qle.con.xml.gz2004-04-08 14:46 462  
[ ]not_Qle_subproof.con.body.xml.gz2004-04-08 14:46 9.5K 
[ ]not_Qle_subproof.con.types.xml.gz2004-04-08 14:46 7.4K 
[ ]not_Qle_subproof.con.xml.gz2004-04-08 14:46 739  
[ ]not_Qlt.con.body.xml.gz2004-04-08 14:46 666  
[ ]not_Qlt.con.types.xml.gz2004-04-08 14:46 960  
[ ]not_Qlt.con.xml.gz2004-04-08 14:46 462  
[ ]not_Qlt_subproof.con.body.xml.gz2004-04-08 14:46 9.5K 
[ ]not_Qlt_subproof.con.types.xml.gz2004-04-08 14:46 7.4K 
[ ]not_Qlt_subproof.con.xml.gz2004-04-08 14:46 739  
[ ]setoid_eq_ext1.con.body.xml.gz2004-04-08 14:46 820  
[ ]setoid_eq_ext1.con.types.xml.gz2004-04-08 14:46 639  
[ ]setoid_eq_ext1.con.xml.gz2004-04-08 14:46 525  
[ ]setoid_eq_ext2.con.body.xml.gz2004-04-08 14:46 1.2K 
[ ]setoid_eq_ext2.con.types.xml.gz2004-04-08 14:46 1.1K 
[ ]setoid_eq_ext2.con.xml.gz2004-04-08 14:46 653  
[ ]times2mult.con.body.xml.gz2004-04-08 14:46 512  
[ ]times2mult.con.types.xml.gz2004-04-08 14:46 786  
[ ]times2mult.con.xml.gz2004-04-08 14:46 522  
Apache/2.4.57 (Debian) Server at mowgli.cs.unibo.it Port 80