Index of /xml/CoRN/model/structures/Qsec

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]Q.ind.types.xml.gz2004-11-09 17:50 190  
[ ]den.con.types.xml.gz2004-11-09 17:50 193  
[ ]num.con.types.xml.gz2004-11-09 17:50 193  
[ ]Qap.con.types.xml.gz2004-11-09 17:50 194  
[ ]Qeq.con.types.xml.gz2004-11-09 17:50 194  
[ ]Qlt.con.types.xml.gz2004-11-09 17:50 194  
[ ]Qinv.con.types.xml.gz2004-11-09 17:50 195  
[ ]QONE.con.types.xml.gz2004-11-09 17:50 196  
[ ]QTWO.con.types.xml.gz2004-11-09 17:50 196  
[ ]Qopp.con.types.xml.gz2004-11-09 17:50 196  
[ ]Qmult.con.types.xml.gz2004-11-09 17:50 197  
[ ]Qplus.con.types.xml.gz2004-11-09 17:50 197  
[ ]QZERO.con.types.xml.gz2004-11-09 17:50 198  
[ ]Q_rec.con.types.xml.gz2004-11-09 17:50 198  
[ ]QFOUR.con.types.xml.gz2004-11-09 17:50 199  
[ ]Q_rect.con.types.xml.gz2004-11-09 17:50 200  
[ ]inject_Z.con.types.xml.gz2004-11-09 17:50 204  
[ ]QONE.con.xml.gz2004-11-09 17:50 232  
[ ]QTWO.con.xml.gz2004-11-09 17:50 233  
[ ]QFOUR.con.xml.gz2004-11-09 17:50 235  
[ ]QZERO.con.xml.gz2004-11-09 17:50 235  
[ ]Qopp.con.xml.gz2004-11-09 17:50 283  
[ ]Qmult.con.xml.gz2004-11-09 17:50 292  
[ ]Qplus.con.xml.gz2004-11-09 17:50 294  
[ ]num.con.xml.gz2004-11-09 17:50 295  
[ ]den.con.xml.gz2004-11-09 17:50 299  
[ ]Qlt.con.xml.gz2004-11-09 17:50 303  
[ ]Qap.con.xml.gz2004-11-09 17:50 304  
[ ]inject_Z.con.xml.gz2004-11-09 17:50 304  
[ ]Qeq.con.xml.gz2004-11-09 17:50 305  
[ ]QZERO.con.body.xml.gz2004-11-09 17:50 322  
[ ]ONEQ_neq_ZEROQ.con.xml.gz2004-11-09 17:50 323  
[ ]QONE.con.body.xml.gz2004-11-09 17:50 342  
[ ]QTWO.con.body.xml.gz2004-11-09 17:50 356  
[ ]QFOUR.con.body.xml.gz2004-11-09 17:50 371  
[ ]refl_Qeq.con.xml.gz2004-11-09 17:50 371  
[ ]injZ_One.con.body.xml.gz2004-11-09 17:50 386  
[ ]Q.ind.xml.gz2004-11-09 17:50 401  
[ ]Q_rec.con.body.xml.gz2004-11-09 17:50 407  
[ ]Qmult_n_1.con.xml.gz2004-11-09 17:50 408  
[ ]Q_ind.con.body.xml.gz2004-11-09 17:50 411  
[ ]inject_Z.con.body.xml.gz2004-11-09 17:50 413  
[ ]QZERO_right.con.xml.gz2004-11-09 17:50 415  
[ ]Qinv.con.xml.gz2004-11-09 17:50 415  
[ ]Qap.con.body.xml.gz2004-11-09 17:50 416  
[ ]ap_Q_irreflexive0.con.xml.gz2004-11-09 17:50 421  
[ ]injZ_One.con.xml.gz2004-11-09 17:50 424  
[ ]ONEQ_neq_ZEROQ.con.body.xml.gz2004-11-09 17:50 425  
[ ]ZEROQ_as_lft_unit0.con.xml.gz2004-11-09 17:50 425  
[ ]ZEROQ_as_rht_unit0.con.xml.gz2004-11-09 17:50 426  
[ ]sym_Qeq.con.xml.gz2004-11-09 17:50 428  
[ ]Qplus_inverse_r.con.xml.gz2004-11-09 17:50 435  
[ ]ap_Q_symmetric0.con.xml.gz2004-11-09 17:50 438  
[ ]Qlt_is_irreflexive_unfolded.con.xml.gz2004-11-09 17:50 439  
[ ]Qplus_sym.con.xml.gz2004-11-09 17:50 442  
[ ]Qmult_sym.con.xml.gz2004-11-09 17:50 444  
[ ]Qopp.con.body.xml.gz2004-11-09 17:50 444  
[ ]Qplus_is_commut0.con.xml.gz2004-11-09 17:50 454  
[ ]Qopp_simpl.con.xml.gz2004-11-09 17:50 470  
[ ]trans_Qeq.con.xml.gz2004-11-09 17:50 473  
[ ]dec_Qeq.con.xml.gz2004-11-09 17:50 474  
[ ]Q_is_archemaedian0_subproof.con.xml.gz2004-11-09 17:50 475  
[ ]Qlt_wd_left.con.xml.gz2004-11-09 17:50 479  
[ ]Qlt_wd_right.con.xml.gz2004-11-09 17:50 482  
[ ]Qlt_is_antisymmetric_unfolded.con.xml.gz2004-11-09 17:50 497  
[ ]ap_Q_tight0.con.xml.gz2004-11-09 17:50 499  
[ ]Qmult_resp_pos_Qlt.con.xml.gz2004-11-09 17:50 503  
[ ]num.con.body.xml.gz2004-11-09 17:50 503  
[ ]Qlt_eq_gt_dec.con.xml.gz2004-11-09 17:50 504  
[ ]den.con.body.xml.gz2004-11-09 17:50 505  
[ ]Qlt_is_transitive_unfolded.con.xml.gz2004-11-09 17:50 506  
[ ]Qplus_assoc.con.xml.gz2004-11-09 17:50 508  
[ ]Qplus_resp_Qlt.con.xml.gz2004-11-09 17:50 508  
[ ]Qmult_assoc.con.xml.gz2004-11-09 17:50 511  
[ ]refl_Qeq.con.body.xml.gz2004-11-09 17:50 512  
[ ]Q_non_zero.con.xml.gz2004-11-09 17:50 513  
[ ]Qmult.con.body.xml.gz2004-11-09 17:50 514  
[ ]Qmult_eq.con.xml.gz2004-11-09 17:50 524  
[ ]Qlt_gives_apartness.con.xml.gz2004-11-09 17:50 530  
[ ]ap_Q_cotransitive0.con.xml.gz2004-11-09 17:50 536  
[ ]ONEQ_neq_ZEROQ.con.types.xml.gz2004-11-09 17:50 538  
[ ]Qmult_plus_distr_r.con.xml.gz2004-11-09 17:50 544  
[ ]Qplus_assoc.con.body.xml.gz2004-11-09 17:50 546  
[ ]Qlt.con.body.xml.gz2004-11-09 17:50 547  
[ ]injZ_One.con.types.xml.gz2004-11-09 17:50 548  
[ ]Q_rect.con.xml.gz2004-11-09 17:50 550  
[ ]Qmult_simpl.con.xml.gz2004-11-09 17:50 550  
[ ]Qplus_simpl.con.xml.gz2004-11-09 17:50 550  
[ ]Q_rec.con.xml.gz2004-11-09 17:50 555  
[ ]Q_is_archemaedian0_subproof0.con.xml.gz2004-11-09 17:50 557  
[ ]Q_ind.con.xml.gz2004-11-09 17:50 560  
[ ]Qeq.con.body.xml.gz2004-11-09 17:50 566  
[ ]Qmult_strext0.con.xml.gz2004-11-09 17:50 572  
[ ]Qplus_strext0.con.xml.gz2004-11-09 17:50 572  
[ ]injz_plus.con.xml.gz2004-11-09 17:50 590  
[ ]Qinv_is_inv.con.xml.gz2004-11-09 17:50 592  
[ ]Qlt_strext_unfolded.con.xml.gz2004-11-09 17:50 595  
[ ]Qinv.con.body.xml.gz2004-11-09 17:50 611  
[ ]Qplus.con.body.xml.gz2004-11-09 17:50 621  
[ ]Qinv_strext.con.xml.gz2004-11-09 17:50 628  
[ ]refl_Qeq.con.types.xml.gz2004-11-09 17:50 637  
[ ]Q_is_archemaedian0.con.xml.gz2004-11-09 17:50 640  
[ ]nonZero.con.xml.gz2004-11-09 17:50 648  
[ ]ap_Q_irreflexive0.con.body.xml.gz2004-11-09 17:50 658  
[ ]Qlt_is_antisymmetric_unfolded.con.body.xml.gz2004-11-09 17:50 677  
[ ]Q_ind.con.types.xml.gz2004-11-09 17:50 681  
[ ]Q_rect.con.body.xml.gz2004-11-09 17:50 691  
[ ]sym_Qeq.con.body.xml.gz2004-11-09 17:50 712  
[ ]Qlt_is_antisymmetric_unfolded.con.types.xml.gz2004-11-09 17:50 746  
[ ]ap_Q_symmetric0.con.body.xml.gz2004-11-09 17:50 790  
[ ]sym_Qeq.con.types.xml.gz2004-11-09 17:50 857  
[ ]ap_Q_irreflexive0.con.types.xml.gz2004-11-09 17:50 900  
[ ]Q_non_zero.con.body.xml.gz2004-11-09 17:50 938  
[ ]Qplus_simpl.con.body.xml.gz2004-11-09 17:50 1.0K 
[ ]ap_Q_symmetric0.con.types.xml.gz2004-11-09 17:50 1.0K 
[ ]Qlt_is_irreflexive_unfolded.con.body.xml.gz2004-11-09 17:50 1.0K 
[ ]Q_non_zero.con.types.xml.gz2004-11-09 17:50 1.1K 
[ ]dec_Qeq.con.types.xml.gz2004-11-09 17:50 1.2K 
[ ]Qmult_n_1.con.body.xml.gz2004-11-09 17:50 1.2K 
[ ]Qlt_wd_right.con.body.xml.gz2004-11-09 17:50 1.2K 
[ ]Q_is_archemaedian0_subproof.con.body.xml.gz2004-11-09 17:50 1.2K 
[ ]Q_is_archemaedian0_subproof.con.types.xml.gz2004-11-09 17:50 1.2K 
[ ]Qmult_n_1.con.types.xml.gz2004-11-09 17:50 1.3K 
[ ]ap_Q_cotransitive0.con.body.xml.gz2004-11-09 17:50 1.3K 
[ ]Qlt_is_irreflexive_unfolded.con.types.xml.gz2004-11-09 17:50 1.3K 
[ ]ap_Q_tight0.con.body.xml.gz2004-11-09 17:50 1.4K 
[ ]Qmult_strext0.con.body.xml.gz2004-11-09 17:50 1.4K 
[ ]Qplus_strext0.con.body.xml.gz2004-11-09 17:50 1.4K 
[ ]Qplus_assoc.con.types.xml.gz2004-11-09 17:50 1.5K 
[ ]ap_Q_cotransitive0.con.types.xml.gz2004-11-09 17:50 1.5K 
[ ]Qopp_simpl.con.body.xml.gz2004-11-09 17:50 1.6K 
[ ]ap_Q_tight0.con.types.xml.gz2004-11-09 17:50 1.6K 
[ ]Qopp_simpl.con.types.xml.gz2004-11-09 17:50 1.7K 
[ ]Qlt_wd_right.con.types.xml.gz2004-11-09 17:50 1.7K 
[ ]Qplus_simpl.con.types.xml.gz2004-11-09 17:50 1.8K 
[ ]Qmult_strext0.con.types.xml.gz2004-11-09 17:50 2.0K 
[ ]Qplus_strext0.con.types.xml.gz2004-11-09 17:50 2.0K 
[ ]dec_Qeq.con.body.xml.gz2004-11-09 17:50 2.1K 
[ ]Qmult_resp_pos_Qlt.con.body.xml.gz2004-11-09 17:50 2.3K 
[ ]Qlt_gives_apartness.con.types.xml.gz2004-11-09 17:50 2.6K 
[ ]Qmult_eq.con.body.xml.gz2004-11-09 17:50 2.7K 
[ ]ZEROQ_as_lft_unit0.con.body.xml.gz2004-11-09 17:50 2.7K 
[ ]Qplus_inverse_r.con.body.xml.gz2004-11-09 17:50 2.8K 
[ ]QZERO_right.con.body.xml.gz2004-11-09 17:50 2.8K 
[ ]ZEROQ_as_rht_unit0.con.body.xml.gz2004-11-09 17:50 2.8K 
[ ]Qlt_gives_apartness.con.body.xml.gz2004-11-09 17:50 2.8K 
[ ]Qmult_eq.con.types.xml.gz2004-11-09 17:50 2.8K 
[ ]Q_is_archemaedian0.con.types.xml.gz2004-11-09 17:50 2.9K 
[ ]Q_is_archemaedian0.con.body.xml.gz2004-11-09 17:50 2.9K 
[ ]Qmult_resp_pos_Qlt.con.types.xml.gz2004-11-09 17:50 3.0K 
[ ]Q_is_archemaedian0_subproof0.con.types.xml.gz2004-11-09 17:50 3.1K 
[ ]INDEX2005-07-05 08:13 3.2K 
[ ]Q_is_archemaedian0_subproof0.con.body.xml.gz2004-11-09 17:50 3.6K 
[ ]ZEROQ_as_lft_unit0.con.types.xml.gz2004-11-09 17:50 3.7K 
[ ]Qmult_sym.con.body.xml.gz2004-11-09 17:50 3.8K 
[ ]Qplus_inverse_r.con.types.xml.gz2004-11-09 17:50 3.8K 
[ ]QZERO_right.con.types.xml.gz2004-11-09 17:50 4.0K 
[ ]Qlt_eq_gt_dec.con.body.xml.gz2004-11-09 17:50 4.0K 
[ ]ZEROQ_as_rht_unit0.con.types.xml.gz2004-11-09 17:50 4.0K 
[ ]nonZero.con.body.xml.gz2004-11-09 17:50 4.2K 
[ ]trans_Qeq.con.body.xml.gz2004-11-09 17:50 4.3K 
[ ]Qplus_is_commut0.con.body.xml.gz2004-11-09 17:50 4.6K 
[ ]Qlt_eq_gt_dec.con.types.xml.gz2004-11-09 17:50 4.7K 
[ ]Qlt_wd_left.con.types.xml.gz2004-11-09 17:50 4.8K 
[ ]Qmult_assoc.con.body.xml.gz2004-11-09 17:50 4.9K 
[ ]Qmult_sym.con.types.xml.gz2004-11-09 17:50 5.0K 
[ ]nonZero.con.types.xml.gz2004-11-09 17:50 5.2K 
[ ]Qlt_wd_left.con.body.xml.gz2004-11-09 17:50 5.4K 
[ ]Qplus_sym.con.body.xml.gz2004-11-09 17:50 5.5K 
[ ]injz_plus.con.body.xml.gz2004-11-09 17:50 5.5K 
[ ]trans_Qeq.con.types.xml.gz2004-11-09 17:50 5.6K 
[ ]Qinv_strext.con.body.xml.gz2004-11-09 17:50 5.9K 
[ ]Qlt_strext_unfolded.con.types.xml.gz2004-11-09 17:50 6.4K 
[ ]Qmult_plus_distr_r.con.body.xml.gz2004-11-09 17:50 6.6K 
[ ]Qplus_is_commut0.con.types.xml.gz2004-11-09 17:50 6.7K 
[ ]Qlt_strext_unfolded.con.body.xml.gz2004-11-09 17:50 6.8K 
[ ]Qmult_assoc.con.types.xml.gz2004-11-09 17:50 6.9K 
[ ]Qinv_is_inv.con.body.xml.gz2004-11-09 17:50 6.9K 
[ ]Qmult_simpl.con.body.xml.gz2004-11-09 17:50 7.0K 
[ ]Qinv_strext.con.types.xml.gz2004-11-09 17:50 7.5K 
[ ]Qplus_sym.con.types.xml.gz2004-11-09 17:50 7.7K 
[ ]Qinv_is_inv.con.types.xml.gz2004-11-09 17:50 7.8K 
[ ]injz_plus.con.types.xml.gz2004-11-09 17:50 7.9K 
[ ]Qmult_simpl.con.types.xml.gz2004-11-09 17:50 8.7K 
[ ]Qmult_plus_distr_r.con.types.xml.gz2004-11-09 17:50 10K 
[ ]Qplus_resp_Qlt.con.types.xml.gz2004-11-09 17:50 16K 
[ ]Qplus_resp_Qlt.con.body.xml.gz2004-11-09 17:50 17K 
[ ]Qlt_is_transitive_unfolded.con.types.xml.gz2004-11-09 17:50 24K 
[ ]Qlt_is_transitive_unfolded.con.body.xml.gz2004-11-09 17:50 29K 
Apache/2.4.61 (Debian) Server at mowgli.cs.unibo.it Port 80