Index of /xml/CoRN/reals/Max_AbsIR

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[DIR]Part_Function_Max/2005-07-05 08:13 -  
[DIR]Part_Function_Abs/2005-07-05 08:13 -  
[DIR]Minimum/2005-07-05 08:13 -  
[DIR]Maximum/2005-07-05 08:13 -  
[DIR]Inclusion/2005-07-05 08:13 -  
[ ]INDEX2005-07-05 08:11 5.0K 
[ ]included_FMin.con.xml.gz2004-11-09 12:09 1.0K 
[ ]included_FMin.con.types.xml.gz2004-11-09 12:09 2.4K 
[ ]included_FMin.con.body.xml.gz2004-11-09 12:09 1.2K 
[ ]included_FMin'.con.xml.gz2004-11-09 12:09 941  
[ ]included_FMin'.con.types.xml.gz2004-11-09 12:09 1.7K 
[ ]included_FMin'.con.body.xml.gz2004-11-09 12:09 1.1K 
[ ]included_FMin''.con.xml.gz2004-11-09 12:09 944  
[ ]included_FMin''.con.types.xml.gz2004-11-09 12:09 1.7K 
[ ]included_FMin''.con.body.xml.gz2004-11-09 12:09 1.1K 
[ ]included_FAbs.con.xml.gz2004-11-09 12:09 919  
[ ]included_FAbs.con.types.xml.gz2004-11-09 12:09 2.3K 
[ ]included_FAbs.con.body.xml.gz2004-11-09 12:09 1.0K 
[ ]included_FAbs'.con.xml.gz2004-11-09 12:09 920  
[ ]included_FAbs'.con.types.xml.gz2004-11-09 12:09 1.7K 
[ ]included_FAbs'.con.body.xml.gz2004-11-09 12:09 1.1K 
[ ]included_FMax.con.xml.gz2004-11-09 12:09 1.0K 
[ ]included_FMax.con.types.xml.gz2004-11-09 12:09 2.4K 
[ ]included_FMax.con.body.xml.gz2004-11-09 12:09 1.2K 
[ ]included_FMax'.con.xml.gz2004-11-09 12:09 942  
[ ]included_FMax'.con.types.xml.gz2004-11-09 12:09 1.7K 
[ ]included_FMax'.con.body.xml.gz2004-11-09 12:09 1.1K 
[ ]included_FMax''.con.xml.gz2004-11-09 12:09 945  
[ ]included_FMax''.con.types.xml.gz2004-11-09 12:09 1.7K 
[ ]included_FMax''.con.body.xml.gz2004-11-09 12:09 1.1K 
[ ]FAbs_nonneg.con.xml.gz2004-11-09 12:09 1.2K 
[ ]FAbs_nonneg.con.types.xml.gz2004-11-09 12:09 7.2K 
[ ]FAbs_nonneg.con.body.xml.gz2004-11-09 12:09 4.6K 
[ ]FAbs_char'.con.xml.gz2004-11-09 12:09 2.4K 
[ ]FAbs_char'.con.types.xml.gz2004-11-09 12:09 13K 
[ ]FAbs_char'.con.body.xml.gz2004-11-09 12:09 7.0K 
[ ]FAbs_char.con.xml.gz2004-11-09 12:09 1.5K 
[ ]FAbs_char.con.types.xml.gz2004-11-09 12:09 11K 
[ ]FAbs_char.con.body.xml.gz2004-11-09 12:09 5.2K 
[ ]FMin_char.con.xml.gz2004-11-09 12:09 1.9K 
[ ]FMin_char.con.types.xml.gz2004-11-09 12:09 18K 
[ ]FMin_char.con.body.xml.gz2004-11-09 12:09 10K 
[ ]FMin.con.xml.gz2004-11-09 12:09 495  
[ ]FMin.con.types.xml.gz2004-11-09 12:09 195  
[ ]FMin.con.body.xml.gz2004-11-09 12:09 726  
[ ]FAbs.con.xml.gz2004-11-09 12:09 490  
[ ]FAbs.con.types.xml.gz2004-11-09 12:09 195  
[ ]FAbs.con.body.xml.gz2004-11-09 12:09 513  
[ ]part_function_Max_strext.con.xml.gz2004-11-09 12:09 3.1K 
[ ]part_function_Max_strext.con.types.xml.gz2004-11-09 12:09 9.8K 
[ ]part_function_Max_strext.con.body.xml.gz2004-11-09 12:09 8.1K 
[ ]FMax.con.xml.gz2004-11-09 12:09 505  
[ ]FMax.con.types.xml.gz2004-11-09 12:09 8.0K 
[ ]FMax.con.body.xml.gz2004-11-09 12:09 3.6K 
[ ]AbsIR_str_bnd.con.xml.gz2004-11-09 12:09 1.9K 
[ ]AbsIR_str_bnd.con.types.xml.gz2004-11-09 12:09 4.3K 
[ ]AbsIR_str_bnd.con.body.xml.gz2004-11-09 12:09 3.0K 
[ ]AbsIR_bnd.con.xml.gz2004-11-09 12:09 1.7K 
[ ]AbsIR_bnd.con.types.xml.gz2004-11-09 12:09 3.7K 
[ ]AbsIR_bnd.con.body.xml.gz2004-11-09 12:09 2.8K 
[ ]Abs_Max.con.xml.gz2004-11-09 12:09 1.8K 
[ ]Abs_Max.con.types.xml.gz2004-11-09 12:09 80K 
[ ]Abs_Max.con.body.xml.gz2004-11-09 12:09 70K 
[ ]AbsIR_eq_zero.con.xml.gz2004-11-09 12:09 1.3K 
[ ]AbsIR_eq_zero.con.types.xml.gz2004-11-09 12:09 3.0K 
[ ]AbsIR_eq_zero.con.body.xml.gz2004-11-09 12:09 2.7K 
[ ]AbsIR_approach_zero.con.xml.gz2004-11-09 12:09 1.6K 
[ ]AbsIR_approach_zero.con.types.xml.gz2004-11-09 12:09 8.7K 
[ ]AbsIR_approach_zero.con.body.xml.gz2004-11-09 12:09 6.3K 
[ ]leEq_distr_AbsIR.con.types.xml.gz2004-11-09 12:09 407K 
[ ]leEq_distr_AbsIR.con.xml.gz2004-11-09 12:09 1.7K 
[ ]leEq_distr_AbsIR.con.body.xml.gz2004-11-09 12:09 323K 
[ ]less_AbsIR.con.xml.gz2004-11-09 12:08 2.1K 
[ ]less_AbsIR.con.types.xml.gz2004-11-09 12:08 16K 
[ ]less_AbsIR.con.body.xml.gz2004-11-09 12:08 8.0K 
[ ]AbsIR_eq_x.con.xml.gz2004-11-09 12:08 1.1K 
[ ]AbsIR_eq_x.con.types.xml.gz2004-11-09 12:08 6.1K 
[ ]AbsIR_eq_x.con.body.xml.gz2004-11-09 12:08 4.3K 
[ ]AbsIR_eq_inv_x.con.xml.gz2004-11-09 12:08 1.4K 
[ ]AbsIR_eq_inv_x.con.types.xml.gz2004-11-09 12:08 5.2K 
[ ]AbsIR_eq_inv_x.con.body.xml.gz2004-11-09 12:08 3.4K 
[ ]AbsIR_minus.con.xml.gz2004-11-09 12:08 1.4K 
[ ]AbsIR_minus.con.types.xml.gz2004-11-09 12:08 13K 
[ ]AbsIR_minus.con.body.xml.gz2004-11-09 12:08 14K 
[ ]AbsIR_inv.con.xml.gz2004-11-09 12:08 1.5K 
[ ]AbsIR_inv.con.types.xml.gz2004-11-09 12:08 10K 
[ ]AbsIR_inv.con.body.xml.gz2004-11-09 12:08 6.9K 
[ ]zero_less_AbsIR_plus_one.con.xml.gz2004-11-09 12:08 1.6K 
[ ]zero_less_AbsIR_plus_one.con.types.xml.gz2004-11-09 12:08 11K 
[ ]zero_less_AbsIR_plus_one.con.body.xml.gz2004-11-09 12:08 9.7K 
[ ]AbsSmall_transitive.con.xml.gz2004-11-09 12:08 1.4K 
[ ]AbsSmall_transitive.con.types.xml.gz2004-11-09 12:08 2.0K 
[ ]AbsSmall_transitive.con.body.xml.gz2004-11-09 12:08 2.1K 
[ ]AbsIR_imp_AbsSmall.con.types.xml.gz2004-11-09 12:08 18K 
[ ]AbsIR_imp_AbsSmall.con.xml.gz2004-11-09 12:08 1.1K 
[ ]AbsIR_imp_AbsSmall.con.body.xml.gz2004-11-09 12:08 13K 
[ ]AbsSmall_imp_AbsIR.con.xml.gz2004-11-09 12:08 1.1K 
[ ]AbsSmall_imp_AbsIR.con.types.xml.gz2004-11-09 12:08 9.2K 
[ ]AbsSmall_imp_AbsIR.con.body.xml.gz2004-11-09 12:08 5.4K 
[ ]AbsIR_eq_AbsSmall.con.xml.gz2004-11-09 12:08 1.2K 
[ ]AbsIR_eq_AbsSmall.con.types.xml.gz2004-11-09 12:08 1.7K 
[ ]AbsIR_eq_AbsSmall.con.body.xml.gz2004-11-09 12:08 1.6K 
[ ]AbsSmall_e.con.xml.gz2004-11-09 12:08 874  
[ ]AbsSmall_e.con.types.xml.gz2004-11-09 12:08 18K 
[ ]AbsSmall_e.con.body.xml.gz2004-11-09 12:08 17K 
[ ]leEq_AbsIR.con.xml.gz2004-11-09 12:08 874  
[ ]leEq_AbsIR.con.types.xml.gz2004-11-09 12:08 1.9K 
[ ]leEq_AbsIR.con.body.xml.gz2004-11-09 12:08 932  
[ ]inv_leEq_AbsIR.con.xml.gz2004-11-09 12:08 1.2K 
[ ]inv_leEq_AbsIR.con.types.xml.gz2004-11-09 12:08 2.6K 
[ ]inv_leEq_AbsIR.con.body.xml.gz2004-11-09 12:08 947  
[ ]AbsIR_resp_ap_zero.con.xml.gz2004-11-09 12:08 1.3K 
[ ]AbsIR_resp_ap_zero.con.types.xml.gz2004-11-09 12:08 2.6K 
[ ]AbsIR_resp_ap_zero.con.body.xml.gz2004-11-09 12:08 1.8K 
[ ]AbsIR_pos.con.xml.gz2004-11-09 12:08 1.4K 
[ ]AbsIR_pos.con.types.xml.gz2004-11-09 12:08 15K 
[ ]AbsIR_pos.con.body.xml.gz2004-11-09 12:08 7.9K 
[ ]AbsIR_cancel_ap_zero.con.xml.gz2004-11-09 12:08 1.3K 
[ ]AbsIR_cancel_ap_zero.con.types.xml.gz2004-11-09 12:08 2.6K 
[ ]AbsIR_cancel_ap_zero.con.body.xml.gz2004-11-09 12:08 2.7K 
[ ]AbsIR_nonneg.con.xml.gz2004-11-09 12:08 1.0K 
[ ]AbsIR_nonneg.con.types.xml.gz2004-11-09 12:08 12K 
[ ]AbsIR_nonneg.con.body.xml.gz2004-11-09 12:08 8.2K 
[ ]AbsIRz_isz.con.xml.gz2004-11-09 12:08 914  
[ ]AbsIRz_isz.con.types.xml.gz2004-11-09 12:08 4.6K 
[ ]AbsIRz_isz.con.body.xml.gz2004-11-09 12:08 3.2K 
[ ]AbsIR_wdr.con.xml.gz2004-11-09 12:08 1.8K 
[ ]AbsIR_wdr.con.types.xml.gz2004-11-09 12:08 2.7K 
[ ]AbsIR_wdr.con.body.xml.gz2004-11-09 12:08 2.3K 
[ ]AbsIR_wdl.con.xml.gz2004-11-09 12:08 1.8K 
[ ]AbsIR_wdl.con.types.xml.gz2004-11-09 12:08 2.7K 
[ ]AbsIR_wdl.con.body.xml.gz2004-11-09 12:08 2.3K 
[ ]AbsIR_wd.con.xml.gz2004-11-09 12:08 1.4K 
[ ]AbsIR_wd.con.types.xml.gz2004-11-09 12:08 2.0K 
[ ]AbsIR_wd.con.body.xml.gz2004-11-09 12:08 1.1K 
[ ]AbsIR.con.types.xml.gz2004-11-09 12:08 827  
[ ]AbsIR.con.xml.gz2004-11-09 12:08 488  
[ ]AbsIR.con.body.xml.gz2004-11-09 12:08 548  
[ ]ABSIR_wd.con.xml.gz2004-11-09 12:08 519  
[ ]ABSIR_wd.con.types.xml.gz2004-11-09 12:08 1.1K 
[ ]ABSIR_wd.con.body.xml.gz2004-11-09 12:08 649  
[ ]ABSIR_strext.con.xml.gz2004-11-09 12:08 529  
[ ]ABSIR_strext.con.types.xml.gz2004-11-09 12:08 37K 
[ ]ABSIR_strext.con.body.xml.gz2004-11-09 12:08 34K 
[ ]Min_less_Max_imp_ap.con.xml.gz2004-11-09 12:08 1.4K 
[ ]Min_less_Max_imp_ap.con.types.xml.gz2004-11-09 12:08 6.3K 
[ ]Min_less_Max_imp_ap.con.body.xml.gz2004-11-09 12:08 8.0K 
[ ]ABSIR.con.xml.gz2004-11-09 12:08 610  
[ ]ABSIR.con.types.xml.gz2004-11-09 12:08 196  
[ ]ABSIR.con.body.xml.gz2004-11-09 12:08 1.2K 
[ ]ap_imp_Min_less_Max.con.xml.gz2004-11-09 12:08 1.4K 
[ ]ap_imp_Min_less_Max.con.types.xml.gz2004-11-09 12:08 8.3K 
[ ]ap_imp_Min_less_Max.con.body.xml.gz2004-11-09 12:08 4.9K 
[ ]Min_less_Max.con.xml.gz2004-11-09 12:08 1.7K 
[ ]Min_less_Max.con.types.xml.gz2004-11-09 12:08 3.7K 
[ ]Min_less_Max.con.body.xml.gz2004-11-09 12:08 2.1K 
[ ]Min_leEq_Max'.con.xml.gz2004-11-09 12:08 1.3K 
[ ]Min_leEq_Max'.con.types.xml.gz2004-11-09 12:08 2.7K 
[ ]Min_leEq_Max'.con.body.xml.gz2004-11-09 12:08 1.4K 
[ ]Min3_leEq_Max3.con.xml.gz2004-11-09 12:08 1.8K 
[ ]Min3_leEq_Max3.con.types.xml.gz2004-11-09 12:08 4.5K 
[ ]Min3_leEq_Max3.con.body.xml.gz2004-11-09 12:08 2.5K 
[ ]leEq_Min_plus_eps.con.xml.gz2004-11-09 12:08 2.7K 
[ ]leEq_Min_plus_eps.con.types.xml.gz2004-11-09 12:08 7.7K 
[ ]leEq_Min_plus_eps.con.body.xml.gz2004-11-09 12:08 19K 
[ ]Min_leEq_Max.con.xml.gz2004-11-09 12:08 1.0K 
[ ]Min_leEq_Max.con.types.xml.gz2004-11-09 12:08 1.8K 
[ ]Min_leEq_Max.con.body.xml.gz2004-11-09 12:08 1.1K 
[ ]Min_is_lft_imp_leEq.con.xml.gz2004-11-09 12:08 1.2K 
[ ]Min_is_lft_imp_leEq.con.types.xml.gz2004-11-09 12:08 31K 
[ ]Min_is_lft_imp_leEq.con.body.xml.gz2004-11-09 12:08 30K 
[ ]leEq_imp_Min_is_lft.con.xml.gz2004-11-09 12:08 1.2K 
[ ]leEq_imp_Min_is_lft.con.types.xml.gz2004-11-09 12:08 10K 
[ ]leEq_imp_Min_is_lft.con.body.xml.gz2004-11-09 12:08 7.5K 
[ ]Min_id.con.xml.gz2004-11-09 12:08 1.0K 
[ ]Min_id.con.types.xml.gz2004-11-09 12:08 6.3K 
[ ]Min_id.con.body.xml.gz2004-11-09 12:08 4.3K 
[ ]Min_comm.con.xml.gz2004-11-09 12:08 1.4K 
[ ]Min_comm.con.types.xml.gz2004-11-09 12:08 6.2K 
[ ]Min_comm.con.body.xml.gz2004-11-09 12:08 3.3K 
[ ]equiv_imp_eq_min.con.xml.gz2004-11-09 12:08 2.9K 
[ ]equiv_imp_eq_min.con.types.xml.gz2004-11-09 12:08 63K 
[ ]equiv_imp_eq_min.con.body.xml.gz2004-11-09 12:08 61K 
[ ]less_Min.con.xml.gz2004-11-09 12:08 1.7K 
[ ]less_Min.con.types.xml.gz2004-11-09 12:08 14K 
[ ]less_Min.con.body.xml.gz2004-11-09 12:08 11K 
[ ]leEq_Min.con.xml.gz2004-11-09 12:08 1.3K 
[ ]leEq_Min.con.types.xml.gz2004-11-09 12:08 13K 
[ ]leEq_Min.con.body.xml.gz2004-11-09 12:08 11K 
[ ]Min_less_imp.con.xml.gz2004-11-09 12:08 1.7K 
[ ]Min_less_imp.con.types.xml.gz2004-11-09 12:08 19K 
[ ]Min_less_imp.con.body.xml.gz2004-11-09 12:08 14K 
[ ]Min_leEq_rht.con.xml.gz2004-11-09 12:08 1.1K 
[ ]Min_leEq_rht.con.types.xml.gz2004-11-09 12:08 11K 
[ ]Min_leEq_rht.con.body.xml.gz2004-11-09 12:08 10K 
[ ]Min_leEq_lft.con.xml.gz2004-11-09 12:08 1.1K 
[ ]Min_leEq_lft.con.types.xml.gz2004-11-09 12:08 11K 
[ ]Min_leEq_lft.con.body.xml.gz2004-11-09 12:08 10K 
[ ]Min_wd_unfolded.con.xml.gz2004-11-09 12:08 1.9K 
[ ]Min_wd_unfolded.con.types.xml.gz2004-11-09 12:08 6.7K 
[ ]Min_wd_unfolded.con.body.xml.gz2004-11-09 12:08 3.0K 
[ ]Min_strext_unfolded.con.xml.gz2004-11-09 12:08 1.9K 
[ ]Min_strext_unfolded.con.types.xml.gz2004-11-09 12:08 4.1K 
[ ]Min_strext_unfolded.con.body.xml.gz2004-11-09 12:08 1.8K 
[ ]Min.con.xml.gz2004-11-09 12:08 484  
[ ]Min.con.types.xml.gz2004-11-09 12:08 928  
[ ]Min.con.body.xml.gz2004-11-09 12:08 546  
[ ]MIN_strext.con.xml.gz2004-11-09 12:08 528  
[ ]MIN_strext.con.types.xml.gz2004-11-09 12:08 10K 
[ ]MIN_strext.con.body.xml.gz2004-11-09 12:08 9.9K 
[ ]MIN_wd.con.xml.gz2004-11-09 12:08 518  
[ ]MIN_wd.con.types.xml.gz2004-11-09 12:08 7.0K 
[ ]MIN_wd.con.body.xml.gz2004-11-09 12:08 5.2K 
[ ]MIN.con.xml.gz2004-11-09 12:08 712  
[ ]MIN.con.types.xml.gz2004-11-09 12:08 193  
[ ]MIN.con.body.xml.gz2004-11-09 12:08 1.9K 
[ ]x_div_Max_leEq_x.con.xml.gz2004-11-09 12:08 1.6K 
[ ]x_div_Max_leEq_x.con.types.xml.gz2004-11-09 12:08 7.7K 
[ ]x_div_Max_leEq_x.con.body.xml.gz2004-11-09 12:08 3.6K 
[ ]pos_max_one.con.xml.gz2004-11-09 12:08 1.2K 
[ ]pos_max_one.con.types.xml.gz2004-11-09 12:08 2.6K 
[ ]pos_max_one.con.body.xml.gz2004-11-09 12:08 1.3K 
[ ]max_one_ap_zero.con.xml.gz2004-11-09 12:08 1.2K 
[ ]max_one_ap_zero.con.types.xml.gz2004-11-09 12:08 3.6K 
[ ]max_one_ap_zero.con.body.xml.gz2004-11-09 12:08 2.5K 
[ ]Max_minus_eps_leEq.con.xml.gz2004-11-09 12:08 2.1K 
[ ]Max_minus_eps_leEq.con.types.xml.gz2004-11-09 12:08 7.4K 
[ ]Max_minus_eps_leEq.con.body.xml.gz2004-11-09 12:08 14K 
[ ]Max_is_rht_imp_leEq.con.xml.gz2004-11-09 12:07 1.2K 
[ ]Max_is_rht_imp_leEq.con.types.xml.gz2004-11-09 12:07 4.5K 
[ ]Max_is_rht_imp_leEq.con.body.xml.gz2004-11-09 12:07 4.1K 
[ ]leEq_imp_Max_is_rht.con.xml.gz2004-11-09 12:07 1.2K 
[ ]leEq_imp_Max_is_rht.con.types.xml.gz2004-11-09 12:07 2.4K 
[ ]leEq_imp_Max_is_rht.con.body.xml.gz2004-11-09 12:07 1.4K 
[ ]Max_comm.con.xml.gz2004-11-09 12:07 1.4K 
[ ]Max_comm.con.types.xml.gz2004-11-09 12:07 8.6K 
[ ]Max_comm.con.body.xml.gz2004-11-09 12:07 3.2K 
[ ]equiv_imp_eq_max.con.xml.gz2004-11-09 12:07 2.9K 
[ ]equiv_imp_eq_max.con.types.xml.gz2004-11-09 12:07 6.8K 
[ ]equiv_imp_eq_max.con.body.xml.gz2004-11-09 12:07 5.0K 
[ ]Max_id.con.xml.gz2004-11-09 12:07 1.0K 
[ ]Max_id.con.types.xml.gz2004-11-09 12:07 3.1K 
[ ]Max_id.con.body.xml.gz2004-11-09 12:07 1.8K 
[ ]Max_less.con.xml.gz2004-11-09 12:07 1.7K 
[ ]Max_less.con.types.xml.gz2004-11-09 12:07 52K 
[ ]Max_less.con.body.xml.gz2004-11-09 12:07 27K 
[ ]Max_leEq.con.xml.gz2004-11-09 12:07 1.3K 
[ ]Max_leEq.con.types.xml.gz2004-11-09 12:07 4.3K 
[ ]Max_leEq.con.body.xml.gz2004-11-09 12:07 3.0K 
[ ]rht_leEq_Max.con.xml.gz2004-11-09 12:07 1.1K 
[ ]rht_leEq_Max.con.types.xml.gz2004-11-09 12:07 889  
[ ]rht_leEq_Max.con.body.xml.gz2004-11-09 12:07 768  
[ ]lft_leEq_Max.con.xml.gz2004-11-09 12:07 1.1K 
[ ]lft_leEq_Max.con.types.xml.gz2004-11-09 12:07 882  
[ ]lft_leEq_Max.con.body.xml.gz2004-11-09 12:07 768  
[ ]less_Max_imp.con.xml.gz2004-11-09 12:07 1.7K 
[ ]less_Max_imp.con.types.xml.gz2004-11-09 12:07 2.1K 
[ ]less_Max_imp.con.body.xml.gz2004-11-09 12:07 779  
[ ]Max_wd_unfolded.con.xml.gz2004-11-09 12:07 1.9K 
[ ]Max_wd_unfolded.con.types.xml.gz2004-11-09 12:07 6.1K 
[ ]Max_wd_unfolded.con.body.xml.gz2004-11-09 12:07 1.9K 
[ ]Max.con.xml.gz2004-11-09 12:07 654  
[ ]Max.con.types.xml.gz2004-11-09 12:07 1.5K 
[ ]Max.con.body.xml.gz2004-11-09 12:07 926  
[ ]MAX_wd.con.xml.gz2004-11-09 12:07 901  
[ ]MAX_wd.con.types.xml.gz2004-11-09 12:07 2.4K 
[ ]MAX_wd.con.body.xml.gz2004-11-09 12:07 1.1K 
[ ]MAX_strext.con.xml.gz2004-11-09 12:07 912  
[ ]MAX_strext.con.types.xml.gz2004-11-09 12:07 16K 
[ ]MAX_strext.con.body.xml.gz2004-11-09 12:07 10K 
[ ]less_MAX_imp.con.xml.gz2004-11-09 12:07 1.2K 
[ ]less_MAX_imp.con.types.xml.gz2004-11-09 12:07 12K 
[ ]less_MAX_imp.con.body.xml.gz2004-11-09 12:07 11K 
[ ]rht_leEq_MAX.con.xml.gz2004-11-09 12:07 373  
[ ]rht_leEq_MAX.con.types.xml.gz2004-11-09 12:07 17K 
[ ]rht_leEq_MAX.con.body.xml.gz2004-11-09 12:07 6.3K 
[ ]lft_leEq_MAX.con.xml.gz2004-11-09 12:07 379  
[ ]lft_leEq_MAX.con.types.xml.gz2004-11-09 12:07 34K 
[ ]lft_leEq_MAX.con.body.xml.gz2004-11-09 12:07 15K 
[ ]Max_CauchySeq.con.xml.gz2004-11-09 12:07 274  
[ ]Max_CauchySeq.con.types.xml.gz2004-11-09 12:07 209  
[ ]Max_CauchySeq.con.body.xml.gz2004-11-09 12:07 443  
[ ]MAX.con.xml.gz2004-11-09 12:07 468  
[ ]MAX.con.types.xml.gz2004-11-09 12:07 193  
[ ]MAX.con.body.xml.gz2004-11-09 12:07 313  
[ ]Cauchy_Max_seq.con.xml.gz2004-11-09 12:07 405  
[ ]Cauchy_Max_seq.con.types.xml.gz2004-11-09 12:07 71K 
[ ]Cauchy_Max_seq.con.body.xml.gz2004-11-09 12:07 27K 
[ ]Max_seq_char.con.xml.gz2004-11-09 12:07 1.6K 
[ ]Max_seq_char.con.types.xml.gz2004-11-09 12:07 37K 
[ ]Max_seq_char.con.body.xml.gz2004-11-09 12:07 11K 
[ ]Max_seq.con.xml.gz2004-11-09 12:07 560  
[ ]Max_seq.con.types.xml.gz2004-11-09 12:07 1.4K 
[ ]Max_seq.con.body.xml.gz2004-11-09 12:07 3.0K 
Apache/2.4.62 (Debian) Server at mowgli.cs.unibo.it Port 80