Index of /xml/CoRN/algebra/COrdFields

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]mult_resp_less_both.con.types.xml.gz2004-11-09 10:39 166K 
[ ]mult_resp_less_both.con.body.xml.gz2004-11-09 10:39 74K 
[ ]negative_Sumx.con.types.xml.gz2004-11-09 10:40 49K 
[ ]recip_resp_less.con.types.xml.gz2004-11-09 10:39 48K 
[ ]negative_Sumx.con.body.xml.gz2004-11-09 10:40 45K 
[ ]recip_resp_less.con.body.xml.gz2004-11-09 10:39 39K 
[ ]inv_resp_less.con.body.xml.gz2004-11-09 10:39 38K 
[ ]mult_resp_less.con.body.xml.gz2004-11-09 10:39 37K 
[ ]mult_cancel_less.con.types.xml.gz2004-11-09 10:40 37K 
[ ]inv_resp_less.con.types.xml.gz2004-11-09 10:39 36K 
[ ]mult_resp_less.con.types.xml.gz2004-11-09 10:39 36K 
[ ]positive_Sumx.con.body.xml.gz2004-11-09 10:40 36K 
[ ]mult_cancel_less.con.body.xml.gz2004-11-09 10:40 35K 
[ ]inv_cancel_less.con.body.xml.gz2004-11-09 10:39 31K 
[ ]Sumx_resp_less.con.types.xml.gz2004-11-09 10:40 30K 
[ ]plus_cancel_less.con.body.xml.gz2004-11-09 10:39 29K 
[ ]plus_cancel_less.con.types.xml.gz2004-11-09 10:39 27K 
[ ]inv_cancel_less.con.types.xml.gz2004-11-09 10:39 27K 
[ ]pos_div_three'.con.types.xml.gz2004-11-09 10:40 26K 
[ ]div_resp_less_rht.con.body.xml.gz2004-11-09 10:39 25K 
[ ]div_resp_less.con.body.xml.gz2004-11-09 10:40 25K 
[ ]div_resp_less.con.types.xml.gz2004-11-09 10:40 25K 
[ ]div_resp_less_rht.con.types.xml.gz2004-11-09 10:39 25K 
[ ]pos_div_three'.con.body.xml.gz2004-11-09 10:40 24K 
[ ]recip_resp_pos.con.types.xml.gz2004-11-09 10:39 24K 
[ ]pos_div_two'.con.types.xml.gz2004-11-09 10:40 23K 
[ ]swap_div.con.types.xml.gz2004-11-09 10:40 23K 
[ ]recip_resp_pos.con.body.xml.gz2004-11-09 10:39 23K 
[ ]swap_div.con.body.xml.gz2004-11-09 10:40 22K 
[ ]pos_one.con.body.xml.gz2004-11-09 10:39 20K 
[ ]positive_Sumx.con.types.xml.gz2004-11-09 10:40 19K 
[ ]Sumx_resp_less.con.body.xml.gz2004-11-09 10:40 18K 
[ ]pos_one.con.types.xml.gz2004-11-09 10:39 18K 
[ ]pos_div_four'.con.types.xml.gz2004-11-09 10:40 18K 
[ ]Sum_resp_less.con.types.xml.gz2004-11-09 10:40 17K 
[ ]pos_div_two'.con.body.xml.gz2004-11-09 10:40 17K 
[ ]less_nring.con.types.xml.gz2004-11-09 10:40 16K 
[ ]less_nring.con.body.xml.gz2004-11-09 10:40 16K 
[ ]pos_div_three.con.types.xml.gz2004-11-09 10:40 15K 
[ ]pos_div_four.con.types.xml.gz2004-11-09 10:40 14K 
[ ]positive_Sum_two.con.types.xml.gz2004-11-09 10:40 14K 
[ ]Sum_resp_less.con.body.xml.gz2004-11-09 10:40 14K 
[ ]shift_less_minus.con.body.xml.gz2004-11-09 10:39 12K 
[ ]pos_div_three.con.body.xml.gz2004-11-09 10:40 12K 
[ ]pos_div_four'.con.body.xml.gz2004-11-09 10:40 12K 
[ ]Smallest_less_Average.con.types.xml.gz2004-11-09 10:40 12K 
[ ]Average_less_Greatest.con.types.xml.gz2004-11-09 10:40 11K 
[ ]shift_less_plus.con.body.xml.gz2004-11-09 10:39 11K 
[ ]shift_plus_less.con.body.xml.gz2004-11-09 10:39 11K 
[ ]shift_plus_less.con.types.xml.gz2004-11-09 10:39 11K 
[ ]shift_less_plus.con.types.xml.gz2004-11-09 10:39 11K 
[ ]shift_less_minus.con.types.xml.gz2004-11-09 10:39 11K 
[ ]pos_div_fortyeight.con.types.xml.gz2004-11-09 10:40 11K 
[ ]pos_div_four.con.body.xml.gz2004-11-09 10:40 11K 
[ ]Smallest_less_Average.con.body.xml.gz2004-11-09 10:40 10K 
[ ]Average_less_Greatest.con.body.xml.gz2004-11-09 10:40 10K 
[ ]shift_zero_less_minus'.con.types.xml.gz2004-11-09 10:39 9.7K 
[ ]shift_zero_less_minus'.con.body.xml.gz2004-11-09 10:39 9.3K 
[ ]positive_Sum_two.con.body.xml.gz2004-11-09 10:40 9.1K 
[ ]less_cotransitive.con.types.xml.gz2004-11-09 10:39 8.9K 
[ ]square_eq.con.body.xml.gz2004-11-09 10:39 8.7K 
[ ]INDEX2005-07-05 08:11 8.7K 
[ ]plus_resp_less_rht.con.types.xml.gz2004-11-09 10:39 7.6K 
[ ]is_COrdField_ind.con.types.xml.gz2004-11-09 10:38 7.5K 
[ ]pos_div_twentyfour.con.types.xml.gz2004-11-09 10:40 7.4K 
[ ]ax_plus_resp_less.con.types.xml.gz2004-11-09 10:38 7.0K 
[ ]ax_mult_resp_pos.con.types.xml.gz2004-11-09 10:38 6.8K 
[ ]less_cotransitive.con.body.xml.gz2004-11-09 10:39 6.7K 
[ ]pos_div_eighteen.con.types.xml.gz2004-11-09 10:40 6.5K 
[ ]pos_div_sixteen.con.types.xml.gz2004-11-09 10:40 6.3K 
[ ]plus_resp_less_rht.con.body.xml.gz2004-11-09 10:39 6.3K 
[ ]mult_resp_pos.con.types.xml.gz2004-11-09 10:39 6.3K 
[ ]shift_zero_less_minus.con.body.xml.gz2004-11-09 10:39 5.9K 
[ ]plus_resp_less_lft.con.types.xml.gz2004-11-09 10:39 5.9K 
[ ]pos_div_twelve.con.types.xml.gz2004-11-09 10:40 5.8K 
[ ]mult_resp_less_lft.con.types.xml.gz2004-11-09 10:39 5.7K 
[ ]mult_resp_pos.con.body.xml.gz2004-11-09 10:39 5.7K 
[ ]pos_div_nine.con.types.xml.gz2004-11-09 10:40 5.5K 
[ ]shift_zero_less_minus.con.types.xml.gz2004-11-09 10:39 5.5K 
[ ]ax_plus_resp_less.con.body.xml.gz2004-11-09 10:38 5.5K 
[ ]pos_div_eight.con.types.xml.gz2004-11-09 10:40 5.4K 
[ ]ax_less_conf_ap.con.types.xml.gz2004-11-09 10:38 5.4K 
[ ]ax_mult_resp_pos.con.body.xml.gz2004-11-09 10:38 5.4K 
[ ]plus_resp_less_both.con.types.xml.gz2004-11-09 10:39 5.3K 
[ ]less_conf_ap.con.types.xml.gz2004-11-09 10:39 5.3K 
[ ]pos_div_fortyeight.con.body.xml.gz2004-11-09 10:40 5.3K 
[ ]pos_div_six.con.types.xml.gz2004-11-09 10:40 5.2K 
[ ]nring_fac_ap_zero.con.types.xml.gz2004-11-09 10:39 5.2K 
[ ]one_less_two.con.types.xml.gz2004-11-09 10:39 5.2K 
[ ]less_conf_ap.con.body.xml.gz2004-11-09 10:39 5.1K 
[ ]nring_fac_ap_zero.con.body.xml.gz2004-11-09 10:39 5.0K 
[ ]char0_OrdField.con.types.xml.gz2004-11-09 10:39 5.0K 
[ ]less_plusOne.con.types.xml.gz2004-11-09 10:39 4.9K 
[ ]nring_less_succ.con.types.xml.gz2004-11-09 10:39 4.9K 
[ ]ax_less_conf_ap.con.body.xml.gz2004-11-09 10:38 4.9K 
[ ]char0_OrdField.con.body.xml.gz2004-11-09 10:39 4.7K 
[ ]less_strorder.con.body.xml.gz2004-11-09 10:39 4.7K 
[ ]pos_div_two.con.types.xml.gz2004-11-09 10:40 4.6K 
[ ]ax_less_strorder.con.body.xml.gz2004-11-09 10:38 4.5K 
[ ]is_COrdField_rect.con.body.xml.gz2004-11-09 10:38 4.4K 
[ ]nring_pos.con.types.xml.gz2004-11-09 10:40 4.3K 
[ ]Greater_imp_ap.con.body.xml.gz2004-11-09 10:39 4.3K 
[ ]less_imp_ap.con.body.xml.gz2004-11-09 10:39 4.3K 
[ ]is_COrdField_ind.con.xml.gz2004-11-09 10:38 4.3K 
[ ]is_COrdField_rec.con.xml.gz2004-11-09 10:38 4.3K 
[ ]is_COrdField_rect.con.xml.gz2004-11-09 10:38 4.3K 
[ ]is_COrdField.ind.xml.gz2004-11-09 10:38 4.1K 
[ ]ap_imp_less.con.body.xml.gz2004-11-09 10:39 4.1K 
[ ]leEq_imp_eq.con.types.xml.gz2004-11-09 10:39 4.0K 
[ ]ap_imp_less.con.types.xml.gz2004-11-09 10:39 4.0K 
[ ]three_less_four.con.types.xml.gz2004-11-09 10:39 3.9K 
[ ]eps_div_less_eps.con.types.xml.gz2004-11-09 10:40 3.9K 
[ ]one_less_two.con.body.xml.gz2004-11-09 10:39 3.9K 
[ ]shift_less_div.con.types.xml.gz2004-11-09 10:40 3.8K 
[ ]shift_div_less.con.types.xml.gz2004-11-09 10:40 3.8K 
[ ]pos_div_twentyfour.con.body.xml.gz2004-11-09 10:40 3.8K 
[ ]Greater_imp_ap.con.types.xml.gz2004-11-09 10:39 3.8K 
[ ]less_imp_ap.con.types.xml.gz2004-11-09 10:39 3.8K 
[ ]plus_resp_less_lft.con.body.xml.gz2004-11-09 10:39 3.8K 
[ ]mult_resp_less_lft.con.body.xml.gz2004-11-09 10:39 3.7K 
[ ]shift_less_mult.con.types.xml.gz2004-11-09 10:40 3.6K 
[ ]shift_less_mult'.con.types.xml.gz2004-11-09 10:40 3.6K 
[ ]shift_mult_less.con.types.xml.gz2004-11-09 10:40 3.6K 
[ ]minus_resp_less_rht.con.types.xml.gz2004-11-09 10:39 3.6K 
[ ]pos_div_eighteen.con.body.xml.gz2004-11-09 10:40 3.6K 
[ ]plus_resp_less_both.con.body.xml.gz2004-11-09 10:39 3.5K 
[ ]less_transitive_unfolded.con.types.xml.gz2004-11-09 10:39 3.5K 
[ ]nring_apart.con.types.xml.gz2004-11-09 10:39 3.5K 
[ ]qltone.con.types.xml.gz2004-11-09 10:39 3.5K 
[ ]nring_less.con.types.xml.gz2004-11-09 10:39 3.5K 
[ ]shift_div_less.con.body.xml.gz2004-11-09 10:40 3.4K 
[ ]shift_less_div.con.body.xml.gz2004-11-09 10:40 3.4K 
[ ]pos_div_sixteen.con.body.xml.gz2004-11-09 10:40 3.4K 
[ ]leEq_less_trans.con.types.xml.gz2004-11-09 10:39 3.4K 
[ ]shift_plus_less'.con.types.xml.gz2004-11-09 10:39 3.4K 
[ ]shift_less_plus'.con.types.xml.gz2004-11-09 10:39 3.4K 
[ ]less_plusOne.con.body.xml.gz2004-11-09 10:39 3.3K 
[ ]shift_div_less'.con.types.xml.gz2004-11-09 10:40 3.3K 
[ ]nring_less_succ.con.body.xml.gz2004-11-09 10:39 3.3K 
[ ]pos_div_twelve.con.body.xml.gz2004-11-09 10:40 3.3K 
[ ]less_antisymmetric_unfolded.con.types.xml.gz2004-11-09 10:39 3.2K 
[ ]less_leEq_trans.con.types.xml.gz2004-11-09 10:39 3.2K 
[ ]two_less_three.con.types.xml.gz2004-11-09 10:39 3.2K 
[ ]shift_minus_less'.con.types.xml.gz2004-11-09 10:39 3.1K 
[ ]shift_less_minus'.con.types.xml.gz2004-11-09 10:39 3.1K 
[ ]pos_div_nine.con.body.xml.gz2004-11-09 10:40 3.1K 
[ ]pos_div_eight.con.body.xml.gz2004-11-09 10:40 3.1K 
[ ]shift_minus_less.con.types.xml.gz2004-11-09 10:39 3.0K 
[ ]pos_div_six.con.body.xml.gz2004-11-09 10:40 3.0K 
[ ]less_antisymmetric_unfolded.con.body.xml.gz2004-11-09 10:39 3.0K 
[ ]minus_resp_less.con.types.xml.gz2004-11-09 10:39 3.0K 
[ ]leEq_imp_eq.con.body.xml.gz2004-11-09 10:39 3.0K 
[ ]plus_one_ext_less.con.types.xml.gz2004-11-09 10:39 2.9K 
[ ]eps_div_less_eps.con.body.xml.gz2004-11-09 10:40 2.8K 
[ ]pos_div_two.con.body.xml.gz2004-11-09 10:40 2.8K 
[ ]shift_div_less'.con.body.xml.gz2004-11-09 10:40 2.8K 
[ ]nring_ap_zero_imp.con.types.xml.gz2004-11-09 10:39 2.8K 
[ ]qltone.con.body.xml.gz2004-11-09 10:39 2.7K 
[ ]leEq_less_trans.con.body.xml.gz2004-11-09 10:39 2.7K 
[ ]nring_pos.con.body.xml.gz2004-11-09 10:40 2.7K 
[ ]shift_minus_less.con.body.xml.gz2004-11-09 10:39 2.7K 
[ ]less_leEq_trans.con.body.xml.gz2004-11-09 10:39 2.7K 
[ ]lt_equiv_imp_eq.con.types.xml.gz2004-11-09 10:39 2.6K 
[ ]shift_less_mult'.con.body.xml.gz2004-11-09 10:40 2.6K 
[ ]nring_ap_zero_imp.con.body.xml.gz2004-11-09 10:39 2.6K 
[ ]shift_less_mult.con.body.xml.gz2004-11-09 10:40 2.6K 
[ ]nring_apart.con.body.xml.gz2004-11-09 10:39 2.6K 
[ ]shift_mult_less.con.body.xml.gz2004-11-09 10:40 2.6K 
[ ]less_transitive_unfolded.con.body.xml.gz2004-11-09 10:39 2.5K 
[ ]shift_minus_less'.con.body.xml.gz2004-11-09 10:39 2.5K 
[ ]zero_lt_posplus1.con.types.xml.gz2004-11-09 10:39 2.5K 
[ ]shift_less_minus'.con.body.xml.gz2004-11-09 10:39 2.5K 
[ ]leEq_not_eq.con.types.xml.gz2004-11-09 10:39 2.4K 
[ ]div_resp_pos.con.types.xml.gz2004-11-09 10:39 2.4K 
[ ]pos_Snring.con.types.xml.gz2004-11-09 10:39 2.4K 
[ ]pos_fortyeight.con.types.xml.gz2004-11-09 10:39 2.4K 
[ ]leEq_wdr.con.types.xml.gz2004-11-09 10:39 2.4K 
[ ]leEq_wdl.con.types.xml.gz2004-11-09 10:39 2.4K 
[ ]leEq_not_eq.con.body.xml.gz2004-11-09 10:39 2.4K 
[ ]mult_resp_less_both.con.xml.gz2004-11-09 10:39 2.3K 
[ ]nring_leEq.con.types.xml.gz2004-11-09 10:39 2.3K 
[ ]lt_equiv_imp_eq.con.body.xml.gz2004-11-09 10:39 2.2K 
[ ]shift_less_plus'.con.body.xml.gz2004-11-09 10:39 2.2K 
[ ]square_eq.con.xml.gz2004-11-09 10:39 2.2K 
[ ]shift_plus_less'.con.body.xml.gz2004-11-09 10:39 2.2K 
[ ]plus_resp_less_both.con.xml.gz2004-11-09 10:39 2.1K 
[ ]mult_cancel_less.con.xml.gz2004-11-09 10:40 2.1K 
[ ]mult_resp_less.con.xml.gz2004-11-09 10:39 2.1K 
[ ]mult_resp_less_lft.con.xml.gz2004-11-09 10:39 2.1K 
[ ]plus_one_ext_less.con.body.xml.gz2004-11-09 10:39 2.0K 
[ ]pos_div_fortyeight.con.xml.gz2004-11-09 10:40 2.0K 
[ ]plus_cancel_less.con.xml.gz2004-11-09 10:39 2.0K 
[ ]pos_nring_fac.con.types.xml.gz2004-11-09 10:40 2.0K 
[ ]shift_mult_less.con.xml.gz2004-11-09 10:40 2.0K 
[ ]shift_less_mult.con.xml.gz2004-11-09 10:40 1.9K 
[ ]shift_less_div.con.xml.gz2004-11-09 10:40 1.9K 
[ ]shift_div_less.con.xml.gz2004-11-09 10:40 1.9K 
[ ]swap_div.con.xml.gz2004-11-09 10:40 1.9K 
[ ]shift_less_mult'.con.xml.gz2004-11-09 10:40 1.9K 
[ ]shift_div_less'.con.xml.gz2004-11-09 10:40 1.9K 
[ ]ax_plus_resp_less.con.xml.gz2004-11-09 10:38 1.9K 
[ ]plus_resp_less_rht.con.xml.gz2004-11-09 10:39 1.9K 
[ ]plus_resp_less_lft.con.xml.gz2004-11-09 10:39 1.9K 
[ ]div_resp_pos.con.body.xml.gz2004-11-09 10:39 1.9K 
[ ]nring_less.con.body.xml.gz2004-11-09 10:39 1.8K 
[ ]three_less_four.con.body.xml.gz2004-11-09 10:39 1.8K 
[ ]positive_Sum_two.con.xml.gz2004-11-09 10:40 1.8K 
[ ]negative_Sumx.con.xml.gz2004-11-09 10:40 1.8K 
[ ]positive_Sumx.con.xml.gz2004-11-09 10:40 1.8K 
[ ]ax_mult_resp_pos.con.xml.gz2004-11-09 10:38 1.8K 
[ ]recip_resp_less.con.xml.gz2004-11-09 10:39 1.7K 
[ ]mult_resp_pos.con.xml.gz2004-11-09 10:39 1.7K 
[ ]Average_less_Greatest.con.xml.gz2004-11-09 10:40 1.7K 
[ ]Smallest_less_Average.con.xml.gz2004-11-09 10:40 1.7K 
[ ]minusOne_less.con.types.xml.gz2004-11-09 10:40 1.7K 
[ ]minus_resp_less_rht.con.body.xml.gz2004-11-09 10:39 1.7K 
[ ]lt_equiv_imp_eq.con.xml.gz2004-11-09 10:39 1.7K 
[ ]pos_twentyfour.con.types.xml.gz2004-11-09 10:39 1.7K 
[ ]nring_leEq.con.body.xml.gz2004-11-09 10:39 1.6K 
[ ]shift_minus_less.con.xml.gz2004-11-09 10:39 1.6K 
[ ]shift_less_minus.con.xml.gz2004-11-09 10:39 1.6K 
[ ]shift_less_minus'.con.xml.gz2004-11-09 10:39 1.6K 
[ ]shift_minus_less'.con.xml.gz2004-11-09 10:39 1.6K 
[ ]shift_plus_less'.con.xml.gz2004-11-09 10:39 1.6K 
[ ]shift_less_plus'.con.xml.gz2004-11-09 10:39 1.6K 
[ ]div_resp_less_rht.con.xml.gz2004-11-09 10:39 1.6K 
[ ]shift_less_plus.con.xml.gz2004-11-09 10:39 1.6K 
[ ]inv_cancel_less.con.xml.gz2004-11-09 10:39 1.6K 
[ ]shift_plus_less.con.xml.gz2004-11-09 10:39 1.6K 
[ ]nringS_ap_zero.con.types.xml.gz2004-11-09 10:39 1.6K 
[ ]less_cotransitive_unfolded.con.types.xml.gz2004-11-09 10:39 1.6K 
[ ]div_resp_less.con.xml.gz2004-11-09 10:40 1.6K 
[ ]pos_div_twentyfour.con.xml.gz2004-11-09 10:40 1.6K 
[ ]leEq_wdr.con.body.xml.gz2004-11-09 10:39 1.6K 
[ ]inv_resp_less.con.xml.gz2004-11-09 10:39 1.6K 
[ ]leEq_wdl.con.body.xml.gz2004-11-09 10:39 1.6K 
[ ]leEq_transitive.con.types.xml.gz2004-11-09 10:39 1.6K 
[ ]div_resp_pos.con.xml.gz2004-11-09 10:39 1.6K 
[ ]pos_fortyeight.con.xml.gz2004-11-09 10:39 1.5K 
[ ]pos_div_eighteen.con.xml.gz2004-11-09 10:40 1.5K 
[ ]fortyeight_ap_zero.con.xml.gz2004-11-09 10:39 1.5K 
[ ]eps_div_less_eps.con.xml.gz2004-11-09 10:40 1.5K 
[ ]pos_div_sixteen.con.xml.gz2004-11-09 10:40 1.5K 
[ ]pos_sixteen.con.types.xml.gz2004-11-09 10:39 1.5K 
[ ]pos_eighteen.con.types.xml.gz2004-11-09 10:39 1.5K 
[ ]Sum_resp_less.con.xml.gz2004-11-09 10:40 1.5K 
[ ]plus_one_ext_less.con.xml.gz2004-11-09 10:39 1.5K 
[ ]less_wdr.con.types.xml.gz2004-11-09 10:39 1.5K 
[ ]less_wdl.con.types.xml.gz2004-11-09 10:39 1.5K 
[ ]Sumx_resp_less.con.xml.gz2004-11-09 10:40 1.5K 
[ ]less_irreflexive.con.types.xml.gz2004-11-09 10:39 1.4K 
[ ]pos_div_twelve.con.xml.gz2004-11-09 10:40 1.4K 
[ ]zero_lt_posplus1.con.xml.gz2004-11-09 10:39 1.4K 
[ ]minus_resp_less.con.body.xml.gz2004-11-09 10:39 1.4K 
[ ]pos_twelve.con.types.xml.gz2004-11-09 10:39 1.4K 
[ ]pos_div_eight.con.xml.gz2004-11-09 10:40 1.4K 
[ ]zero_lt_posplus1.con.body.xml.gz2004-11-09 10:39 1.4K 
[ ]pos_div_nine.con.xml.gz2004-11-09 10:40 1.4K 
[ ]two_less_three.con.body.xml.gz2004-11-09 10:39 1.4K 
[ ]fortyeight_ap_zero.con.types.xml.gz2004-11-09 10:39 1.4K 
[ ]square_eq.con.types.xml.gz2004-11-09 10:39 1.4K 
[ ]pos_div_six.con.xml.gz2004-11-09 10:40 1.3K 
[ ]pos_div_four.con.xml.gz2004-11-09 10:40 1.3K 
[ ]less_cotransitive_unfolded.con.xml.gz2004-11-09 10:39 1.3K 
[ ]pos_div_three.con.xml.gz2004-11-09 10:40 1.3K 
[ ]recip_resp_pos.con.xml.gz2004-11-09 10:39 1.3K 
[ ]nring_ap_zero.con.types.xml.gz2004-11-09 10:39 1.3K 
[ ]pos_nine.con.types.xml.gz2004-11-09 10:39 1.3K 
[ ]pos_div_two.con.xml.gz2004-11-09 10:40 1.3K 
[ ]minus_resp_less.con.xml.gz2004-11-09 10:39 1.3K 
[ ]minus_resp_less_rht.con.xml.gz2004-11-09 10:39 1.3K 
[ ]ax_less_conf_ap.con.xml.gz2004-11-09 10:38 1.3K 
[ ]pos_div_four'.con.xml.gz2004-11-09 10:40 1.3K 
[ ]pos_Snring.con.body.xml.gz2004-11-09 10:39 1.3K 
[ ]pos_div_three'.con.xml.gz2004-11-09 10:40 1.3K 
[ ]pos_eight.con.types.xml.gz2004-11-09 10:39 1.3K 
[ ]pos_six.con.types.xml.gz2004-11-09 10:39 1.2K 
[ ]pos_div_two'.con.xml.gz2004-11-09 10:40 1.2K 
[ ]less_transitive_unfolded.con.xml.gz2004-11-09 10:39 1.2K 
[ ]less_plusOne.con.xml.gz2004-11-09 10:39 1.2K 
[ ]pos_ap_zero.con.types.xml.gz2004-11-09 10:39 1.2K 
[ ]shift_zero_less_minus'.con.xml.gz2004-11-09 10:39 1.2K 
[ ]fortyeight_ap_zero.con.body.xml.gz2004-11-09 10:39 1.2K 
[ ]less_conf_ap.con.xml.gz2004-11-09 10:39 1.2K 
[ ]shift_zero_less_minus.con.xml.gz2004-11-09 10:39 1.2K 
[ ]less_wdr.con.xml.gz2004-11-09 10:39 1.2K 
[ ]less_wdl.con.xml.gz2004-11-09 10:39 1.2K 
[ ]leEq_less_trans.con.xml.gz2004-11-09 10:39 1.2K 
[ ]pos_twentyfour.con.xml.gz2004-11-09 10:39 1.2K 
[ ]leEq_transitive.con.body.xml.gz2004-11-09 10:39 1.2K 
[ ]nring_ap_zero'.con.types.xml.gz2004-11-09 10:39 1.2K 
[ ]less_leEq_trans.con.xml.gz2004-11-09 10:39 1.2K 
[ ]ap_imp_less.con.xml.gz2004-11-09 10:39 1.1K 
[ ]pos_nring_fac.con.body.xml.gz2004-11-09 10:40 1.1K 
[ ]less_leEq.con.types.xml.gz2004-11-09 10:39 1.1K 
[ ]twentyfour_ap_zero.con.xml.gz2004-11-09 10:39 1.1K 
[ ]pos_eighteen.con.xml.gz2004-11-09 10:39 1.1K 
[ ]qltone.con.xml.gz2004-11-09 10:39 1.1K 
[ ]less_irreflexive_unfolded.con.types.xml.gz2004-11-09 10:39 1.1K 
[ ]pos_sixteen.con.xml.gz2004-11-09 10:39 1.1K 
[ ]less_antisymmetric_unfolded.con.xml.gz2004-11-09 10:39 1.1K 
[ ]COrdField_ind.con.types.xml.gz2004-11-09 10:38 1.1K 
[ ]eighteen_ap_zero.con.xml.gz2004-11-09 10:39 1.0K 
[ ]strictorder_ind.con.types.xml.gz2004-11-09 10:38 1.0K 
[ ]pos_twelve.con.xml.gz2004-11-09 10:39 1.0K 
[ ]sixteen_ap_zero.con.xml.gz2004-11-09 10:39 1.0K 
[ ]two_less_four.con.types.xml.gz2004-11-09 10:39 1.0K 
[ ]pos_fortyeight.con.body.xml.gz2004-11-09 10:39 1.0K 
[ ]leEq_not_eq.con.xml.gz2004-11-09 10:39 1.0K 
[ ]nring_less.con.xml.gz2004-11-09 10:39 1.0K 
[ ]pos_ap_zero.con.xml.gz2004-11-09 10:39 1.0K 
[ ]twentyfour_ap_zero.con.types.xml.gz2004-11-09 10:39 1.0K 
[ ]strictorder_rect.con.body.xml.gz2004-11-09 10:38 1.0K 
[ ]nring_less_succ.con.xml.gz2004-11-09 10:39 1.0K 
[ ]Greater_imp_ap.con.xml.gz2004-11-09 10:39 1.0K 
[ ]two_less_four.con.body.xml.gz2004-11-09 10:39 1.0K 
[ ]pos_nine.con.xml.gz2004-11-09 10:39 1.0K 
[ ]less_imp_ap.con.xml.gz2004-11-09 10:39 1.0K 
[ ]twelve_ap_zero.con.xml.gz2004-11-09 10:39 1.0K 
[ ]pos_eight.con.xml.gz2004-11-09 10:39 1.0K 
[ ]pos_ap_zero.con.body.xml.gz2004-11-09 10:39 1.0K 
[ ]less_leEq.con.body.xml.gz2004-11-09 10:39 1.0K 
[ ]three_less_four.con.xml.gz2004-11-09 10:39 1.0K 
[ ]one_less_four.con.types.xml.gz2004-11-09 10:39 1.0K 
[ ]nring_apart.con.xml.gz2004-11-09 10:39 1.0K 
[ ]pos_six.con.xml.gz2004-11-09 10:39 966  
[ ]two_less_four.con.xml.gz2004-11-09 10:39 964  
[ ]two_less_three.con.xml.gz2004-11-09 10:39 961  
[ ]one_less_three.con.types.xml.gz2004-11-09 10:39 961  
[ ]one_less_four.con.body.xml.gz2004-11-09 10:39 960  
[ ]pos_three.con.types.xml.gz2004-11-09 10:39 957  
[ ]nine_ap_zero.con.xml.gz2004-11-09 10:39 954  
[ ]leEq_wdl.con.xml.gz2004-11-09 10:39 953  
[ ]pos_four.con.types.xml.gz2004-11-09 10:39 952  
[ ]pos_four.con.body.xml.gz2004-11-09 10:39 952  
[ ]leEq_wdr.con.xml.gz2004-11-09 10:39 949  
[ ]COrdField_rect.con.body.xml.gz2004-11-09 10:38 949  
[ ]pos_four.con.xml.gz2004-11-09 10:39 945  
[ ]eight_ap_zero.con.xml.gz2004-11-09 10:39 938  
[ ]pos_three.con.xml.gz2004-11-09 10:39 936  
[ ]one_less_three.con.body.xml.gz2004-11-09 10:39 935  
[ ]pos_two.con.types.xml.gz2004-11-09 10:39 931  
[ ]eighteen_ap_zero.con.types.xml.gz2004-11-09 10:39 931  
[ ]pos_three.con.body.xml.gz2004-11-09 10:39 926  
[ ]pos_two.con.xml.gz2004-11-09 10:39 925  
[ ]less_leEq.con.xml.gz2004-11-09 10:39 923  
[ ]one_less_four.con.xml.gz2004-11-09 10:39 922  
[ ]pos_Snring.con.xml.gz2004-11-09 10:39 921  
[ ]sixteen_ap_zero.con.types.xml.gz2004-11-09 10:39 915  
[ ]less_irreflexive.con.body.xml.gz2004-11-09 10:39 911  
[ ]six_ap_zero.con.xml.gz2004-11-09 10:39 909  
[ ]one_less_two.con.xml.gz2004-11-09 10:39 908  
[ ]one_less_three.con.xml.gz2004-11-09 10:39 908  
[ ]pos_two.con.body.xml.gz2004-11-09 10:39 905  
[ ]cof_less.con.body.xml.gz2004-11-09 10:38 900  
[ ]eq_imp_leEq.con.body.xml.gz2004-11-09 10:39 896  
[ ]ax_less_strorder.con.xml.gz2004-11-09 10:38 895  
[ ]four_ap_zero.con.xml.gz2004-11-09 10:39 894  
[ ]nring_pos.con.xml.gz2004-11-09 10:40 889  
[ ]leEq_transitive.con.xml.gz2004-11-09 10:39 888  
[ ]eq_imp_leEq.con.types.xml.gz2004-11-09 10:39 887  
[ ]three_ap_zero.con.xml.gz2004-11-09 10:39 885  
[ ]leEq_reflexive.con.types.xml.gz2004-11-09 10:39 873  
[ ]leEq.con.body.xml.gz2004-11-09 10:38 873  
[ ]minusOne_less.con.xml.gz2004-11-09 10:40 872  
[ ]nring_ap_zero_imp.con.xml.gz2004-11-09 10:39 869  
[ ]nring_leEq.con.xml.gz2004-11-09 10:39 868  
[ ]two_ap_zero.con.xml.gz2004-11-09 10:39 865  
[ ]so_trans.con.body.xml.gz2004-11-09 10:38 865  
[ ]less_nring.con.xml.gz2004-11-09 10:40 862  
[ ]twelve_ap_zero.con.types.xml.gz2004-11-09 10:39 858  
[ ]nring_ap_zero'.con.xml.gz2004-11-09 10:39 857  
[ ]leEq_imp_eq.con.xml.gz2004-11-09 10:39 856  
[ ]so_asym.con.body.xml.gz2004-11-09 10:38 852  
[ ]pos_nring_fac.con.xml.gz2004-11-09 10:40 852  
[ ]nring_ap_zero.con.xml.gz2004-11-09 10:39 850  
[ ]strictorder_ind.con.xml.gz2004-11-09 10:38 849  
[ ]greater.con.body.xml.gz2004-11-09 10:38 848  
[ ]strictorder_rect.con.xml.gz2004-11-09 10:38 840  
[ ]strictorder_rec.con.xml.gz2004-11-09 10:38 840  
[ ]cof_proof.con.body.xml.gz2004-11-09 10:38 840  
[ ]twentyfour_ap_zero.con.body.xml.gz2004-11-09 10:39 839  
[ ]pos_one.con.xml.gz2004-11-09 10:39 824  
[ ]COrdField_ind.con.xml.gz2004-11-09 10:38 817  
[ ]COrdField_rect.con.xml.gz2004-11-09 10:38 816  
[ ]COrdField_rec.con.xml.gz2004-11-09 10:38 812  
[ ]eq_imp_leEq.con.xml.gz2004-11-09 10:39 811  
[ ]nine_ap_zero.con.types.xml.gz2004-11-09 10:39 808  
[ ]eight_ap_zero.con.types.xml.gz2004-11-09 10:39 801  
[ ]nringS_ap_zero.con.xml.gz2004-11-09 10:39 798  
[ ]nring_fac_ap_zero.con.xml.gz2004-11-09 10:39 794  
[ ]COrdField_is_COrdField.con.body.xml.gz2004-11-09 10:38 787  
[ ]six_ap_zero.con.types.xml.gz2004-11-09 10:39 783  
[ ]less_irreflexive_unfolded.con.xml.gz2004-11-09 10:39 781  
[ ]cof_crr.con.body.xml.gz2004-11-09 10:38 771  
[ ]so_trans.con.types.xml.gz2004-11-09 10:38 769  
[ ]so_asym.con.types.xml.gz2004-11-09 10:38 768  
[ ]eighteen_ap_zero.con.body.xml.gz2004-11-09 10:39 756  
[ ]is_COrdField_ind.con.body.xml.gz2004-11-09 10:38 752  
[ ]is_COrdField_rec.con.body.xml.gz2004-11-09 10:38 750  
[ ]strictorder.ind.xml.gz2004-11-09 10:38 748  
[ ]four_ap_zero.con.types.xml.gz2004-11-09 10:39 746  
[ ]three_ap_zero.con.types.xml.gz2004-11-09 10:39 742  
[ ]two_ap_zero.con.types.xml.gz2004-11-09 10:39 735  
[ ]sixteen_ap_zero.con.body.xml.gz2004-11-09 10:39 729  
[ ]minusOne_less.con.body.xml.gz2004-11-09 10:40 723  
[ ]COrdField.ind.xml.gz2004-11-09 10:38 701  
[ ]less_strorder.con.xml.gz2004-11-09 10:39 695  
[ ]less_cotransitive.con.xml.gz2004-11-09 10:39 692  
[ ]less_irreflexive.con.xml.gz2004-11-09 10:39 688  
[ ]twelve_ap_zero.con.body.xml.gz2004-11-09 10:39 677  
[ ]pos_twentyfour.con.body.xml.gz2004-11-09 10:39 655  
[ ]nring_ap_zero'.con.body.xml.gz2004-11-09 10:39 648  
[ ]greater.con.xml.gz2004-11-09 10:38 646  
[ ]leEq.con.xml.gz2004-11-09 10:38 639  
[ ]nine_ap_zero.con.body.xml.gz2004-11-09 10:39 638  
[ ]nringS_ap_zero.con.body.xml.gz2004-11-09 10:39 635  
[ ]leEq_reflexive.con.body.xml.gz2004-11-09 10:39 632  
[ ]eight_ap_zero.con.body.xml.gz2004-11-09 10:39 626  
[ ]six_ap_zero.con.body.xml.gz2004-11-09 10:39 598  
[ ]leEq_reflexive.con.xml.gz2004-11-09 10:39 575  
[ ]four_ap_zero.con.body.xml.gz2004-11-09 10:39 575  
[ ]pos_eighteen.con.body.xml.gz2004-11-09 10:39 572  
[ ]three_ap_zero.con.body.xml.gz2004-11-09 10:39 564  
[ ]cof_less.con.xml.gz2004-11-09 10:38 562  
[ ]strictorder_ind.con.body.xml.gz2004-11-09 10:38 554  
[ ]strictorder_rec.con.body.xml.gz2004-11-09 10:38 552  
[ ]pos_sixteen.con.body.xml.gz2004-11-09 10:39 549  
[ ]two_ap_zero.con.body.xml.gz2004-11-09 10:39 547  
[ ]nring_ap_zero.con.body.xml.gz2004-11-09 10:39 547  
[ ]so_asym.con.xml.gz2004-11-09 10:38 541  
[ ]less_wdr.con.body.xml.gz2004-11-09 10:39 540  
[ ]less_wdl.con.body.xml.gz2004-11-09 10:39 540  
[ ]Snring.con.body.xml.gz2004-11-09 10:39 536  
[ ]so_trans.con.xml.gz2004-11-09 10:38 535  
[ ]Snring.con.xml.gz2004-11-09 10:39 521  
[ ]pos_twelve.con.body.xml.gz2004-11-09 10:39 498  
[ ]pos_nine.con.body.xml.gz2004-11-09 10:39 456  
[ ]pos_eight.con.body.xml.gz2004-11-09 10:39 447  
[ ]pos_six.con.body.xml.gz2004-11-09 10:39 421  
[ ]COrdField_ind.con.body.xml.gz2004-11-09 10:38 416  
[ ]COrdField_rec.con.body.xml.gz2004-11-09 10:38 415  
[ ]cof_proof.con.xml.gz2004-11-09 10:38 402  
[ ]char0_OrdField.con.xml.gz2004-11-09 10:39 390  
[ ]COrdField_is_COrdField.con.xml.gz2004-11-09 10:38 364  
[ ]less_cotransitive_unfolded.con.body.xml.gz2004-11-09 10:39 293  
[ ]less_irreflexive_unfolded.con.body.xml.gz2004-11-09 10:39 291  
[ ]cof_crr.con.xml.gz2004-11-09 10:38 291  
[ ]COrdField_is_COrdField.con.types.xml.gz2004-11-09 10:39 218  
[ ]strictorder_rect.con.types.xml.gz2004-11-09 10:38 216  
[ ]ax_less_strorder.con.types.xml.gz2004-11-09 10:38 216  
[ ]strictorder_rec.con.types.xml.gz2004-11-09 10:38 214  
[ ]is_COrdField_rect.con.types.xml.gz2004-11-09 10:38 214  
[ ]is_COrdField_rec.con.types.xml.gz2004-11-09 10:38 212  
[ ]less_strorder.con.types.xml.gz2004-11-09 10:39 211  
[ ]COrdField_rect.con.types.xml.gz2004-11-09 10:38 208  
[ ]COrdField_rec.con.types.xml.gz2004-11-09 10:38 207  
[ ]strictorder.ind.types.xml.gz2004-11-09 10:38 205  
[ ]is_COrdField.ind.types.xml.gz2004-11-09 10:38 205  
[ ]cof_proof.con.types.xml.gz2004-11-09 10:38 204  
[ ]cof_less.con.types.xml.gz2004-11-09 10:38 202  
[ ]cof_crr.con.types.xml.gz2004-11-09 10:38 201  
[ ]greater.con.types.xml.gz2004-11-09 10:38 200  
[ ]Snring.con.types.xml.gz2004-11-09 10:39 199  
[ ]COrdField.ind.types.xml.gz2004-11-09 10:38 198  
[ ]leEq.con.types.xml.gz2004-11-09 10:38 195  
[DIR]infinity_of_cordfields/2005-07-05 08:13 -  
[DIR]consequences_of_infinity/2005-07-05 08:13 -  
[DIR]Properties_of_Ordering/2005-07-05 08:13 -  
[DIR]OrdField_basics/2005-07-05 08:13 -  
[DIR]COrdField_axioms/2005-07-05 08:13 -  
[DIR]Basic_Properties_of_leEq/2005-07-05 08:13 -  
Apache/2.4.62 (Debian) Server at mowgli.cs.unibo.it Port 80