Index of /xml/CoRN/metrics/CMetricSpaces

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]unique_MSseqLim.con.types.xml.gz2004-11-09 17:49 1.3M 
[ ]unique_MSseqLim.con.body.xml.gz2004-11-09 17:49 812K 
[ ]metric_d_strext.con.body.xml.gz2004-11-09 17:45 160K 
[ ]metric_d_strext.con.types.xml.gz2004-11-09 17:45 159K 
[ ]metric_ap_tight.con.types.xml.gz2004-11-09 17:45 110K 
[ ]metric_ap_tight.con.body.xml.gz2004-11-09 17:45 87K 
[ ]Quotient_pres_CMetricSpace.con.types.xml.gz2004-11-09 17:45 48K 
[ ]Quotient_pres_CMetricSpace.con.body.xml.gz2004-11-09 17:45 38K 
[ ]Prod0CMetricSpaces_apdiag_grzero.con.types.xml.gz2004-11-09 17:44 18K 
[ ]Prod0CMetricSpaces_apdiag_grzero.con.body.xml.gz2004-11-09 17:44 9.4K 
[ ]metric_ap_cotransitive.con.types.xml.gz2004-11-09 17:44 8.3K 
[ ]dIR_apdiag_grzero.con.types.xml.gz2004-11-09 17:45 6.4K 
[ ]SubMetricSpace_apdiag_grzero.con.types.xml.gz2004-11-09 17:44 6.3K 
[ ]d_wd.con.types.xml.gz2004-11-09 17:45 5.0K 
[ ]metric_ap_cotransitive.con.body.xml.gz2004-11-09 17:44 4.3K 
[ ]metric_ap_irreflexive.con.types.xml.gz2004-11-09 17:44 4.3K 
[ ]zf_nis_CMetricSpace.con.body.xml.gz2004-11-09 17:44 4.0K 
[ ]Metric_d_tri_ineq.con.types.xml.gz2004-11-09 17:45 3.9K 
[ ]d_wd.con.body.xml.gz2004-11-09 17:45 3.8K 
[ ]Metric_d_apdiag_grzero.con.types.xml.gz2004-11-09 17:45 3.7K 
[ ]zf_nis_CMetricSpace.con.types.xml.gz2004-11-09 17:44 3.6K 
[ ]SubMetricSpace_apdiag_grzero.con.body.xml.gz2004-11-09 17:44 2.9K 
[ ]d_zero_imp_eq.con.types.xml.gz2004-11-09 17:44 2.8K 
[ ]Metric_d_pos_imp_ap.con.types.xml.gz2004-11-09 17:45 2.8K 
[ ]metric_ap_irreflexive.con.body.xml.gz2004-11-09 17:44 2.8K 
[ ]INDEX2005-07-05 08:11 2.5K 
[ ]d_zero_imp_eq.con.body.xml.gz2004-11-09 17:44 2.5K 
[ ]metric_ap_symmetric.con.types.xml.gz2004-11-09 17:44 2.4K 
[ ]Metric_d_com.con.types.xml.gz2004-11-09 17:45 2.2K 
[ ]dIR_apdiag_grzero.con.body.xml.gz2004-11-09 17:45 1.9K 
[ ]metric_ap_symmetric.con.body.xml.gz2004-11-09 17:44 1.8K 
[ ]Metric_d_nneg.con.types.xml.gz2004-11-09 17:45 1.7K 
[ ]is_CMetricSpace_diag_zero.con.body.xml.gz2004-11-09 17:44 1.2K 
[ ]Metric_d_apdiag_grzero.con.body.xml.gz2004-11-09 17:45 1.2K 
[ ]d_wd.con.xml.gz2004-11-09 17:45 1.2K 
[ ]d_zero_imp_eq.con.xml.gz2004-11-09 17:44 1.2K 
[ ]Metric_d_pos_imp_ap.con.body.xml.gz2004-11-09 17:45 1.2K 
[ ]metric_ap.con.body.xml.gz2004-11-09 17:44 1.1K 
[ ]metric_eq.con.body.xml.gz2004-11-09 17:44 1.0K 
[ ]ax_d_apdiag_imp_grzero.con.types.xml.gz2004-11-09 17:44 1.0K 
[ ]is_CMetricSpace_diag_zero.con.xml.gz2004-11-09 17:44 913  
[ ]zf_nis_CMetricSpace.con.xml.gz2004-11-09 17:44 881  
[ ]unique_MSseqLim.con.xml.gz2004-11-09 17:49 831  
[ ]metric_d.con.body.xml.gz2004-11-09 17:45 810  
[ ]emb_strext.con.types.xml.gz2004-11-09 17:45 778  
[ ]Metric_CSet_is_CSetoid.con.types.xml.gz2004-11-09 17:45 778  
[ ]CMetricSpace_ind.con.types.xml.gz2004-11-09 17:44 775  
[ ]CMetricSpace_rect.con.body.xml.gz2004-11-09 17:44 770  
[ ]Metric_d.con.body.xml.gz2004-11-09 17:45 751  
[ ]metric_d_strext.con.xml.gz2004-11-09 17:45 719  
[ ]ax_d_apdiag_imp_grzero.con.body.xml.gz2004-11-09 17:44 712  
[ ]Metric_d_tri_ineq.con.body.xml.gz2004-11-09 17:45 702  
[ ]SubMetricSpace_apdiag_grzero.con.xml.gz2004-11-09 17:44 665  
[ ]Metric_d.con.xml.gz2004-11-09 17:45 661  
[ ]SubMetricSpace.con.body.xml.gz2004-11-09 17:44 640  
[ ]Metric_d_nneg.con.body.xml.gz2004-11-09 17:45 640  
[ ]Metric_d.con.types.xml.gz2004-11-09 17:45 638  
[ ]metric_d.con.xml.gz2004-11-09 17:45 635  
[ ]CMetricSpace_rect.con.xml.gz2004-11-09 17:44 633  
[ ]CMetricSpace_ind.con.xml.gz2004-11-09 17:44 632  
[ ]Metric_d_com.con.body.xml.gz2004-11-09 17:45 629  
[ ]CMetricSpace_rec.con.xml.gz2004-11-09 17:44 629  
[ ]Metric_CSet_is_CSetoid.con.body.xml.gz2004-11-09 17:45 614  
[ ]QuotientCSetoid_is_CPsMetricSpace.con.types.xml.gz2004-11-09 17:45 596  
[ ]scms_crr.con.body.xml.gz2004-11-09 17:44 593  
[ ]Prod0CMetricSpaces_apdiag_grzero.con.xml.gz2004-11-09 17:44 590  
[ ]d_CMetricSpace_apdiag_imp_grzero.con.types.xml.gz2004-11-09 17:44 589  
[ ]Emb.con.body.xml.gz2004-11-09 17:45 587  
[ ]QuotientCSetoid_is_CPsMetricSpace.con.body.xml.gz2004-11-09 17:45 561  
[ ]emb_strext.con.xml.gz2004-11-09 17:45 558  
[ ]metric_ap_tight.con.xml.gz2004-11-09 17:45 548  
[ ]is_CMetricSpace_diag_zero.con.types.xml.gz2004-11-09 17:44 540  
[ ]metric_ap_irreflexive.con.xml.gz2004-11-09 17:44 532  
[ ]metric_ap_cotransitive.con.xml.gz2004-11-09 17:44 532  
[ ]CMetricSpace.ind.xml.gz2004-11-09 17:44 531  
[ ]metric_ap_symmetric.con.xml.gz2004-11-09 17:44 529  
[ ]Prod0CMetricSpace.con.body.xml.gz2004-11-09 17:44 528  
[ ]Metric_CSetoid.con.body.xml.gz2004-11-09 17:45 527  
[ ]nz.con.types.xml.gz2004-11-09 17:45 521  
[ ]emb_strext.con.body.xml.gz2004-11-09 17:45 514  
[ ]Quotient_pres_CMetricSpace.con.xml.gz2004-11-09 17:45 503  
[ ]Emb.con.xml.gz2004-11-09 17:45 502  
[ ]Emb.con.types.xml.gz2004-11-09 17:45 496  
[ ]Metric_CSet_is_CSetoid.con.xml.gz2004-11-09 17:45 493  
[ ]d_CMetricSpace_apdiag_imp_grzero.con.xml.gz2004-11-09 17:44 488  
[ ]Metric_d_apdiag_grzero.con.xml.gz2004-11-09 17:45 488  
[ ]emb.con.xml.gz2004-11-09 17:45 481  
[ ]Prod0CMetricSpace.con.types.xml.gz2004-11-09 17:44 480  
[ ]ax_d_apdiag_imp_grzero.con.xml.gz2004-11-09 17:44 478  
[ ]Metric_d_pos_imp_ap.con.xml.gz2004-11-09 17:45 478  
[ ]SubMetricSpace.con.xml.gz2004-11-09 17:44 476  
[ ]Metric_d_tri_ineq.con.xml.gz2004-11-09 17:45 474  
[ ]QuotientCPsMetricSpace.con.body.xml.gz2004-11-09 17:45 472  
[ ]SubMetricSpace.con.types.xml.gz2004-11-09 17:44 469  
[ ]Metric_d_nneg.con.xml.gz2004-11-09 17:45 467  
[ ]Metric_d_com.con.xml.gz2004-11-09 17:45 465  
[ ]QuotientCMetricSpace.con.body.xml.gz2004-11-09 17:45 462  
[ ]metric_eq.con.xml.gz2004-11-09 17:44 459  
[ ]metric_ap.con.xml.gz2004-11-09 17:44 455  
[ ]QuotientCSetoid_is_CPsMetricSpace.con.xml.gz2004-11-09 17:45 446  
[ ]QuotientCMetricSpace.con.types.xml.gz2004-11-09 17:45 423  
[ ]emb.con.body.xml.gz2004-11-09 17:45 420  
[ ]CMetricSpace_ind.con.body.xml.gz2004-11-09 17:44 418  
[ ]CMetricSpace_rec.con.body.xml.gz2004-11-09 17:44 416  
[ ]nz.con.xml.gz2004-11-09 17:45 412  
[ ]nz.con.body.xml.gz2004-11-09 17:45 411  
[ ]d_CMetricSpace_apdiag_imp_grzero.con.body.xml.gz2004-11-09 17:44 411  
[ ]dIR_apdiag_grzero.con.xml.gz2004-11-09 17:45 353  
[ ]IR_as_CMetricSpace.con.body.xml.gz2004-11-09 17:45 346  
[ ]QuotientCMetricSpace.con.xml.gz2004-11-09 17:45 313  
[ ]Metric_CSetoid.con.xml.gz2004-11-09 17:45 312  
[ ]QuotientCPsMetricSpace.con.xml.gz2004-11-09 17:45 311  
[ ]Prod0CMetricSpace.con.xml.gz2004-11-09 17:44 306  
[ ]scms_crr.con.xml.gz2004-11-09 17:44 297  
[ ]IR_as_CMetricSpace.con.xml.gz2004-11-09 17:45 249  
[ ]QuotientCPsMetricSpace.con.types.xml.gz2004-11-09 17:45 221  
[ ]IR_as_CMetricSpace.con.types.xml.gz2004-11-09 17:45 214  
[ ]Metric_CSetoid.con.types.xml.gz2004-11-09 17:45 211  
[ ]CMetricSpace_rect.con.types.xml.gz2004-11-09 17:44 211  
[ ]CMetricSpace_rec.con.types.xml.gz2004-11-09 17:44 209  
[ ]scms_crr.con.types.xml.gz2004-11-09 17:44 203  
[ ]metric_eq.con.types.xml.gz2004-11-09 17:44 203  
[ ]metric_ap.con.types.xml.gz2004-11-09 17:44 203  
[ ]CMetricSpace.ind.types.xml.gz2004-11-09 17:44 201  
[ ]metric_d.con.types.xml.gz2004-11-09 17:45 200  
[ ]emb.con.types.xml.gz2004-11-09 17:45 194  
Apache/2.4.61 (Debian) Server at mowgli.cs.unibo.it Port 80