Index of /xml/Rocq/GRAPHS/cgraph

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]ad_0_path_dist_1_correct_1.con.types.xml.gz2004-04-08 14:24 157K 
[ ]ad_simple_path_naive_search_correct_1.con.types.xml.gz2004-04-08 14:24 141K 
[ ]ad_simple_path_dist_1_correct_1.con.types.xml.gz2004-04-08 14:24 134K 
[ ]CG_add_edge_1.con.types.xml.gz2004-04-08 14:24 129K 
[ ]CG_add_edge_1.con.body.xml.gz2004-04-08 14:24 105K 
[ ]ad_1_path_dist_big_enough_1.con.types.xml.gz2004-04-08 14:24 92K 
[ ]ad_0_path_dist_1_correct_1.con.body.xml.gz2004-04-08 14:24 85K 
[ ]ad_simple_path_naive_search_correct_1.con.body.xml.gz2004-04-08 14:24 82K 
[ ]CG_add_4.con.types.xml.gz2004-04-08 14:24 79K 
[ ]ad_simple_path_dist_1_correct_1.con.body.xml.gz2004-04-08 14:24 79K 
[ ]CG_add_4.con.body.xml.gz2004-04-08 14:24 78K 
[ ]ad_simple_path_dist_1_complete_1.con.body.xml.gz2004-04-08 14:24 72K 
[ ]ad_1_path_dist_correct_1.con.types.xml.gz2004-04-08 14:24 60K 
[ ]CG_add_4_5.con.body.xml.gz2004-04-08 14:24 60K 
[ ]ad_1_path_dist_big_enough_1.con.body.xml.gz2004-04-08 14:24 59K 
[ ]ad_simple_path_naive_search_complete_1.con.body.xml.gz2004-04-08 14:24 49K 
[ ]CG_add_5_1.con.body.xml.gz2004-04-08 14:24 46K 
[ ]CG_add_4_1.con.body.xml.gz2004-04-08 14:24 44K 
[ ]CG_add_5_1.con.types.xml.gz2004-04-08 14:24 34K 
[ ]CG_add_4_2.con.body.xml.gz2004-04-08 14:24 33K 
[ ]CG_add_4_4.con.body.xml.gz2004-04-08 14:24 33K 
[ ]cg_out_of_range_2.con.body.xml.gz2004-04-08 14:24 31K 
[ ]CG_edge_dist_some_1.con.body.xml.gz2004-04-08 14:24 30K 
[ ]CG_path_app_3.con.body.xml.gz2004-04-08 14:23 30K 
[ ]CGS_solve_1_correct.con.body.xml.gz2004-04-08 14:24 30K 
[ ]CG_add_4_3.con.body.xml.gz2004-04-08 14:24 29K 
[ ]ad_1_path_dist_correct_1.con.body.xml.gz2004-04-08 14:24 28K 
[ ]CG_path_weight_and_last_unique.con.types.xml.gz2004-04-08 14:23 27K 
[ ]CG_add_root_rooted_4.con.body.xml.gz2004-04-08 14:24 27K 
[ ]CG_path_app_2.con.body.xml.gz2004-04-08 14:23 26K 
[ ]all_min_le_2_1.con.body.xml.gz2004-04-08 14:24 25K 
[ ]CGS_solve_complete_1.con.types.xml.gz2004-04-08 14:24 24K 
[ ]cg_range_4.con.types.xml.gz2004-04-08 14:24 24K 
[ ]cg_range_4.con.body.xml.gz2004-04-08 14:24 24K 
[ ]ad_path_then_simple_path.con.body.xml.gz2004-04-08 14:23 23K 
[ ]ad_simple_path_dist_1_complete_1.con.types.xml.gz2004-04-08 14:24 21K 
[ ]CGFormSimplify_correct.con.types.xml.gz2004-04-08 14:25 21K 
[ ]CG_path_weight_and_last_unique.con.body.xml.gz2004-04-08 14:23 21K 
[ ]CG_add_3.con.types.xml.gz2004-04-08 14:24 20K 
[ ]CG_rooted_sat_1.con.types.xml.gz2004-04-08 14:24 19K 
[ ]ad_0_path_dist_1_ge.con.types.xml.gz2004-04-08 14:24 19K 
[ ]CG_add_3.con.body.xml.gz2004-04-08 14:24 18K 
[ ]CG_add_root_rooted_2.con.types.xml.gz2004-04-08 14:24 17K 
[ ]CGFormSimplify_correct.con.body.xml.gz2004-04-08 14:25 16K 
[ ]CG_add_4_5.con.types.xml.gz2004-04-08 14:24 16K 
[ ]CG_rooted_sat_1.con.body.xml.gz2004-04-08 14:24 16K 
[ ]CGS_solve_1_correct.con.types.xml.gz2004-04-08 14:24 16K 
[ ]cg_add_dom_subset.con.types.xml.gz2004-04-08 14:24 15K 
[ ]CG_add_1.con.types.xml.gz2004-04-08 14:24 15K 
[ ]CG_add_1.con.body.xml.gz2004-04-08 14:24 15K 
[ ]CGS_solve_complete_1.con.body.xml.gz2004-04-08 14:24 15K 
[ ]CG_add_4_3.con.types.xml.gz2004-04-08 14:24 13K 
[ ]INDEX2005-07-05 08:12 13K 
[ ]cg_add_dom_subset.con.body.xml.gz2004-04-08 14:24 12K 
[ ]CG_add_4_4.con.types.xml.gz2004-04-08 14:24 12K 
[ ]CG_path_in_cg_1.con.types.xml.gz2004-04-08 14:23 11K 
[ ]CG_edge_dist_some.con.body.xml.gz2004-04-08 14:24 11K 
[ ]CG_edge_dist_some_1.con.types.xml.gz2004-04-08 14:24 11K 
[ ]CG_add_root_rooted_2.con.body.xml.gz2004-04-08 14:24 11K 
[ ]CG_leq_trans.con.body.xml.gz2004-04-08 14:24 11K 
[ ]CG_add_root_rooted_4.con.types.xml.gz2004-04-08 14:24 11K 
[ ]all_min_le_1.con.body.xml.gz2004-04-08 14:24 11K 
[ ]CG_add_root_out_of_range.con.types.xml.gz2004-04-08 14:24 11K 
[ ]CGeval_dec.con.body.xml.gz2004-04-08 14:24 11K 
[ ]Ddmin_assoc.con.types.xml.gz2004-04-08 14:23 10K 
[ ]CGSnot_complete.con.types.xml.gz2004-04-08 14:25 9.9K 
[ ]CG_leq_trans.con.types.xml.gz2004-04-08 14:24 9.8K 
[ ]CGS_translate_l.con.types.xml.gz2004-04-08 14:24 9.5K 
[ ]all_min_le_1.con.types.xml.gz2004-04-08 14:24 9.3K 
[ ]cg_out_of_range_2.con.types.xml.gz2004-04-08 14:24 9.3K 
[ ]ad_0_path_dist_1_le.con.body.xml.gz2004-04-08 14:24 9.0K 
[ ]CGSnot_complete.con.body.xml.gz2004-04-08 14:25 9.0K 
[ ]CG_circuit_complete_1.con.body.xml.gz2004-04-08 14:24 8.9K 
[ ]CGSnot_correct.con.types.xml.gz2004-04-08 14:24 8.9K 
[ ]ad_simple_path_naive_search_complete_1.con.types.xml.gz2004-04-08 14:24 8.6K 
[ ]CG_add_4_2.con.types.xml.gz2004-04-08 14:24 8.5K 
[ ]CG_add_root_rooted_1.con.types.xml.gz2004-04-08 14:24 8.2K 
[ ]ad_0_path_dist_1_ge.con.body.xml.gz2004-04-08 14:24 8.2K 
[ ]cg_range_1.con.types.xml.gz2004-04-08 14:24 8.1K 
[ ]cg_range_1.con.body.xml.gz2004-04-08 14:24 8.1K 
[ ]ad_simple_path_dist_d_3.con.body.xml.gz2004-04-08 14:24 8.0K 
[ ]CG_path_in_cg_1.con.body.xml.gz2004-04-08 14:23 7.9K 
[ ]ad_simple_path_dist_complete_3.con.body.xml.gz2004-04-08 14:24 7.9K 
[ ]CG_add_4_1.con.types.xml.gz2004-04-08 14:24 7.9K 
[ ]Ddmin_le_distr_l.con.types.xml.gz2004-04-08 14:23 7.8K 
[ ]CG_edge_in_cg_1.con.body.xml.gz2004-04-08 14:23 7.8K 
[ ]CG_add_root_out_of_range.con.body.xml.gz2004-04-08 14:24 7.8K 
[ ]ad_simple_path_dec.con.body.xml.gz2004-04-08 14:24 7.7K 
[ ]CG_add_card_le.con.types.xml.gz2004-04-08 14:24 7.6K 
[ ]CG_edge_in_cg_1.con.types.xml.gz2004-04-08 14:23 7.3K 
[ ]cg_range_2.con.body.xml.gz2004-04-08 14:24 7.0K 
[ ]ad_simple_path_dist_d_3.con.types.xml.gz2004-04-08 14:24 6.9K 
[ ]all_min_le_2_1.con.types.xml.gz2004-04-08 14:24 6.8K 
[ ]CG_standard_rho_minimal.con.types.xml.gz2004-04-08 14:24 6.8K 
[ ]CG_standard_rho_minimal.con.body.xml.gz2004-04-08 14:24 6.7K 
[ ]all_min_le_3.con.body.xml.gz2004-04-08 14:24 6.6K 
[ ]CGSnot_correct.con.body.xml.gz2004-04-08 14:24 6.3K 
[ ]CG_add_root_rooted_1.con.body.xml.gz2004-04-08 14:24 6.3K 
[ ]ad_simple_path_dist_1_complete.con.body.xml.gz2004-04-08 14:24 6.2K 
[ ]ad_simple_path_dist_correct.con.body.xml.gz2004-04-08 14:24 5.9K 
[ ]CG_path_app_4.con.body.xml.gz2004-04-08 14:24 5.9K 
[ ]CG_path_app_3.con.types.xml.gz2004-04-08 14:23 5.8K 
[ ]CG_path_app_2.con.types.xml.gz2004-04-08 14:23 5.6K 
[ ]CG_add_2.con.body.xml.gz2004-04-08 14:24 5.5K 
[ ]CG_add_sat.con.types.xml.gz2004-04-08 14:24 5.5K 
[ ]CG_add_sat.con.body.xml.gz2004-04-08 14:24 5.4K 
[ ]ad_simple_path_dist_complete_3.con.types.xml.gz2004-04-08 14:24 5.3K 
[ ]ad_0_path_dist_1_le.con.types.xml.gz2004-04-08 14:24 5.1K 
[ ]Ddle_trans.con.types.xml.gz2004-04-08 14:23 5.1K 
[ ]Ddmin_le_3.con.types.xml.gz2004-04-08 14:23 5.0K 
[ ]Ddmin_assoc.con.body.xml.gz2004-04-08 14:23 5.0K 
[ ]ad_path_then_simple_path.con.types.xml.gz2004-04-08 14:23 5.0K 
[ ]CG_circuit_complete_1.con.types.xml.gz2004-04-08 14:24 5.0K 
[ ]CG_add_2.con.types.xml.gz2004-04-08 14:24 4.7K 
[ ]Ddle_plus_mono.con.types.xml.gz2004-04-08 14:23 4.5K 
[ ]ad_1_path_dist_big_enough_2.con.types.xml.gz2004-04-08 14:24 4.5K 
[ ]Ddmin_plus_l.con.types.xml.gz2004-04-08 14:23 4.5K 
[ ]Dle_lt_1.con.body.xml.gz2004-04-08 14:24 4.5K 
[ ]Ddmin_le_distr_l.con.body.xml.gz2004-04-08 14:23 4.3K 
[ ]Ddle_trans.con.body.xml.gz2004-04-08 14:23 4.3K 
[ ]CG_path_head.con.types.xml.gz2004-04-08 14:23 4.3K 
[ ]CGS_translate_l.con.body.xml.gz2004-04-08 14:24 4.2K 
[ ]Ddmin_le_3.con.body.xml.gz2004-04-08 14:23 4.2K 
[ ]CG_path_last.con.body.xml.gz2004-04-08 14:23 4.2K 
[ ]Dmin_assoc.con.body.xml.gz2004-04-08 14:23 4.2K 
[ ]Ddmin_choice.con.body.xml.gz2004-04-08 14:23 4.1K 
[ ]CG_add_root_rooted.con.body.xml.gz2004-04-08 14:24 4.1K 
[ ]CG_add_card_le.con.body.xml.gz2004-04-08 14:24 4.0K 
[ ]ad_1_path_dist_big_enough.con.types.xml.gz2004-04-08 14:24 4.0K 
[ ]CGS_solve_complete.con.types.xml.gz2004-04-08 14:24 4.0K 
[ ]Ddle_antisym.con.types.xml.gz2004-04-08 14:23 3.9K 
[ ]CGS_solve_correct.con.body.xml.gz2004-04-08 14:24 3.9K 
[ ]Ddplus_reg_r.con.types.xml.gz2004-04-08 14:23 3.9K 
[ ]all_min_le_3.con.types.xml.gz2004-04-08 14:24 3.9K 
[ ]Dnotle_plus_mono_1.con.body.xml.gz2004-04-08 14:23 3.8K 
[ ]CG_prove_complete_anchored.con.body.xml.gz2004-04-08 14:25 3.8K 
[ ]ad_1_path_dist_big_enough.con.body.xml.gz2004-04-08 14:24 3.8K 
[ ]Dneg_plus.con.body.xml.gz2004-04-08 14:23 3.7K 
[ ]CG_add_edge_2.con.types.xml.gz2004-04-08 14:24 3.7K 
[ ]Ddle_antisym.con.body.xml.gz2004-04-08 14:23 3.7K 
[ ]ad_simple_path_dist_correct.con.types.xml.gz2004-04-08 14:24 3.7K 
[ ]ad_simple_path_dist_d_1.con.types.xml.gz2004-04-08 14:24 3.6K 
[ ]Dle_lt_1.con.types.xml.gz2004-04-08 14:24 3.6K 
[ ]CG_add_edge_2.con.body.xml.gz2004-04-08 14:24 3.5K 
[ ]cg_out_of_range_1.con.body.xml.gz2004-04-08 14:24 3.5K 
[ ]Dmin_assoc.con.types.xml.gz2004-04-08 14:23 3.4K 
[ ]Dneg_plus.con.types.xml.gz2004-04-08 14:23 3.4K 
[ ]CG_add_root_rooted.con.types.xml.gz2004-04-08 14:24 3.3K 
[ ]Dnotle_plus_mono_1.con.types.xml.gz2004-04-08 14:23 3.2K 
[ ]ad_1_path_dist_big_enough_2.con.body.xml.gz2004-04-08 14:24 3.2K 
[ ]Dmin_le_distr_l.con.types.xml.gz2004-04-08 14:23 3.2K 
[ ]CG_add_root_rooted_3.con.types.xml.gz2004-04-08 14:24 3.1K 
[ ]CG_prove_complete.con.body.xml.gz2004-04-08 14:25 3.0K 
[ ]Dmin_le_distr_l.con.body.xml.gz2004-04-08 14:23 3.0K 
[ ]CGS_solve_correct.con.types.xml.gz2004-04-08 14:24 2.9K 
[ ]CG_add_rooted_1.con.body.xml.gz2004-04-08 14:24 2.9K 
[ ]CG_sat_add_1.con.body.xml.gz2004-04-08 14:24 2.9K 
[ ]D_dec.con.body.xml.gz2004-04-08 14:23 2.8K 
[ ]FlSize_is_O.con.types.xml.gz2004-04-08 14:24 2.8K 
[ ]CG_sat_add_1.con.types.xml.gz2004-04-08 14:24 2.8K 
[ ]CGS_solve_complete.con.body.xml.gz2004-04-08 14:24 2.8K 
[ ]Dnotle_3_cases.con.body.xml.gz2004-04-08 14:23 2.8K 
[ ]CG_add_rooted_1.con.types.xml.gz2004-04-08 14:24 2.7K 
[ ]Ddmin_plus_l.con.body.xml.gz2004-04-08 14:23 2.7K 
[ ]FlSize_is_O.con.body.xml.gz2004-04-08 14:24 2.7K 
[ ]CG_path_head.con.body.xml.gz2004-04-08 14:23 2.7K 
[ ]ad_simple_path_dist_d_2.con.body.xml.gz2004-04-08 14:24 2.7K 
[ ]Ddmin_comm.con.types.xml.gz2004-04-08 14:23 2.7K 
[ ]cg_out_of_range_1.con.types.xml.gz2004-04-08 14:24 2.6K 
[ ]CG_prove_complete_anchored.con.types.xml.gz2004-04-08 14:25 2.6K 
[ ]ad_simple_path_dist_complete_2.con.body.xml.gz2004-04-08 14:24 2.6K 
[ ]CG_solve_correct_anchored.con.body.xml.gz2004-04-08 14:25 2.6K 
[ ]ad_simple_path_dist_d_1.con.body.xml.gz2004-04-08 14:24 2.6K 
[ ]ad_simple_path_dec.con.types.xml.gz2004-04-08 14:24 2.6K 
[ ]CG_edge_dist_some.con.types.xml.gz2004-04-08 14:24 2.6K 
[ ]Dminus_one_1.con.body.xml.gz2004-04-08 14:24 2.6K 
[ ]CG_path_rect.con.body.xml.gz2004-04-08 14:23 2.5K 
[ ]CG_path_app_1.con.body.xml.gz2004-04-08 14:23 2.5K 
[ ]Ddle_plus_mono.con.body.xml.gz2004-04-08 14:23 2.5K 
[ ]Dmin_plus_r.con.types.xml.gz2004-04-08 14:23 2.5K 
[ ]CGS_solve_correct_anchored.con.body.xml.gz2004-04-08 14:24 2.5K 
[ ]Dmin_plus_r.con.body.xml.gz2004-04-08 14:23 2.5K 
[ ]CGconsistent_then_anchored.con.body.xml.gz2004-04-08 14:24 2.5K 
[ ]Dmin_plus_l.con.types.xml.gz2004-04-08 14:23 2.5K 
[ ]Dmin_plus_l.con.body.xml.gz2004-04-08 14:23 2.5K 
[ ]CG_add_root_rooted_3.con.body.xml.gz2004-04-08 14:24 2.5K 
[ ]ad_simple_path_dist_correct_1.con.types.xml.gz2004-04-08 14:24 2.5K 
[ ]CGSeq_correct.con.body.xml.gz2004-04-08 14:24 2.4K 
[ ]ad_simple_path_bounded_card.con.body.xml.gz2004-04-08 14:23 2.4K 
[ ]CG_circuit_correct.con.body.xml.gz2004-04-08 14:23 2.4K 
[ ]CG_path_ind.con.types.xml.gz2004-04-08 14:23 2.4K 
[ ]cg_range_2.con.types.xml.gz2004-04-08 14:24 2.3K 
[ ]ad_simple_path_bounded_card.con.types.xml.gz2004-04-08 14:23 2.3K 
[ ]Dle_lt_2.con.body.xml.gz2004-04-08 14:24 2.3K 
[ ]Ddplus_reg_r.con.body.xml.gz2004-04-08 14:23 2.3K 
[ ]CG_translate_l.con.types.xml.gz2004-04-08 14:24 2.3K 
[ ]Dminus_one_1.con.types.xml.gz2004-04-08 14:24 2.3K 
[ ]Dmone_neg.con.body.xml.gz2004-04-08 14:24 2.3K 
[ ]CGSeq_correct.con.types.xml.gz2004-04-08 14:24 2.3K 
[ ]ad_1_path_dist_1.con.body.xml.gz2004-04-08 14:24 2.2K 
[ ]Ddmin_comm.con.body.xml.gz2004-04-08 14:23 2.2K 
[ ]CGSeq_complete.con.body.xml.gz2004-04-08 14:24 2.2K 
[ ]ad_0_path_dist_1.con.body.xml.gz2004-04-08 14:24 2.1K 
[ ]Dplus_reg_l.con.body.xml.gz2004-04-08 14:23 2.1K 
[ ]Dmin_choice.con.body.xml.gz2004-04-08 14:23 2.1K 
[ ]CG_prove_complete.con.types.xml.gz2004-04-08 14:25 2.1K 
[ ]CGeval_dec.con.types.xml.gz2004-04-08 14:24 2.1K 
[ ]Dplus_reg_r.con.body.xml.gz2004-04-08 14:23 2.1K 
[ ]CGS_solve_1.con.body.xml.gz2004-04-08 14:24 2.1K 
[ ]CG_add_root_sat.con.types.xml.gz2004-04-08 14:24 2.1K 
[ ]CG_prove_correct.con.body.xml.gz2004-04-08 14:25 2.0K 
[ ]Dle_true_permut.con.body.xml.gz2004-04-08 14:23 2.0K 
[ ]CGSeq_complete.con.types.xml.gz2004-04-08 14:24 2.0K 
[ ]Dmin_le_3.con.body.xml.gz2004-04-08 14:23 2.0K 
[ ]Dle_lt_2.con.types.xml.gz2004-04-08 14:24 2.0K 
[ ]ad_simple_path_dist_1.con.body.xml.gz2004-04-08 14:24 2.0K 
[ ]cg_add_out_of_range_1.con.body.xml.gz2004-04-08 14:24 1.9K 
[ ]Ddmin_le_1.con.types.xml.gz2004-04-08 14:23 1.9K 
[ ]CGForm_rect.con.body.xml.gz2004-04-08 14:24 1.9K 
[ ]Dnotle_trans.con.body.xml.gz2004-04-08 14:23 1.9K 
[ ]ad_simple_path_naive_search.con.body.xml.gz2004-04-08 14:24 1.9K 
[ ]FSize_geq_1.con.body.xml.gz2004-04-08 14:24 1.9K 
[ ]CG_prove_correct.con.types.xml.gz2004-04-08 14:25 1.9K 
[ ]CG_path_app_4.con.types.xml.gz2004-04-08 14:24 1.8K 
[ ]Dnotle_trans.con.types.xml.gz2004-04-08 14:23 1.8K 
[ ]CGanchored_then_consistent.con.body.xml.gz2004-04-08 14:24 1.8K 
[ ]Dle_neg.con.types.xml.gz2004-04-08 14:23 1.8K 
[ ]Dneg_le.con.body.xml.gz2004-04-08 14:23 1.8K 
[ ]cg_add_out_of_range_1.con.types.xml.gz2004-04-08 14:24 1.8K 
[ ]Dmone_neg.con.types.xml.gz2004-04-08 14:24 1.8K 
[ ]CG_circuit_complete.con.body.xml.gz2004-04-08 14:24 1.8K 
[ ]Dle_neg_2.con.types.xml.gz2004-04-08 14:23 1.8K 
[ ]Dle_neg.con.body.xml.gz2004-04-08 14:23 1.8K 
[ ]Dle_noteq_notle.con.body.xml.gz2004-04-08 14:23 1.8K 
[ ]ad_simple_path_dist_d_2.con.types.xml.gz2004-04-08 14:24 1.7K 
[ ]Dle_neg_2.con.body.xml.gz2004-04-08 14:23 1.7K 
[ ]Dplus_reg_l.con.types.xml.gz2004-04-08 14:23 1.7K 
[ ]Dplus_reg_r.con.types.xml.gz2004-04-08 14:23 1.7K 
[ ]Dmin_le_3.con.types.xml.gz2004-04-08 14:23 1.7K 
[ ]CG_circuit_correct.con.types.xml.gz2004-04-08 14:23 1.7K 
[ ]CGForm_ind.con.types.xml.gz2004-04-08 14:24 1.7K 
[ ]ad_simple_path_dist_correct_1.con.body.xml.gz2004-04-08 14:24 1.7K 
[ ]Dmin_comm.con.body.xml.gz2004-04-08 14:23 1.7K 
[ ]Dle_inv_Dmin.con.types.xml.gz2004-04-08 14:23 1.6K 
[ ]CG_solve_correct.con.body.xml.gz2004-04-08 14:25 1.6K 
[ ]CG_add_root_sat.con.body.xml.gz2004-04-08 14:24 1.6K 
[ ]CG_translate_l.con.body.xml.gz2004-04-08 14:24 1.6K 
[ ]ad_simple_path_dist_1_complete_1.con.xml.gz2004-04-08 14:24 1.6K 
[ ]Dnotle_elim.con.body.xml.gz2004-04-08 14:23 1.6K 
[ ]Dle_noteq_notle.con.types.xml.gz2004-04-08 14:23 1.6K 
[ ]Dle_inv_Dmin.con.body.xml.gz2004-04-08 14:23 1.6K 
[ ]CG_path_ind.con.xml.gz2004-04-08 14:23 1.6K 
[ ]CG_path_rec.con.xml.gz2004-04-08 14:23 1.6K 
[ ]CG_path_rect.con.xml.gz2004-04-08 14:23 1.6K 
[ ]Dneg_le.con.types.xml.gz2004-04-08 14:23 1.5K 
[ ]Dnotle_noteq.con.body.xml.gz2004-04-08 14:23 1.5K 
[ ]CG_add_root_out_of_range.con.xml.gz2004-04-08 14:24 1.5K 
[ ]Dnotle_elim.con.types.xml.gz2004-04-08 14:23 1.5K 
[ ]ad_0_path_dist_correct_1.con.types.xml.gz2004-04-08 14:24 1.5K 
[ ]ad_simple_path_naive_search_complete_1.con.xml.gz2004-04-08 14:24 1.5K 
[ ]Ddmin_le_1.con.body.xml.gz2004-04-08 14:23 1.5K 
[ ]ad_0_path_dist_1_correct_1.con.xml.gz2004-04-08 14:24 1.5K 
[ ]CG_path_last.con.types.xml.gz2004-04-08 14:23 1.5K 
[ ]Ddmin_choice.con.types.xml.gz2004-04-08 14:23 1.4K 
[ ]CG_circuits_non_negative_weight.con.body.xml.gz2004-04-08 14:23 1.4K 
[ ]Dneg_neg.con.body.xml.gz2004-04-08 14:23 1.4K 
[ ]CG_standard_rho_root.con.types.xml.gz2004-04-08 14:24 1.4K 
[ ]CG_rooted_sat.con.body.xml.gz2004-04-08 14:24 1.4K 
[ ]CGconsistent_then_anchored.con.types.xml.gz2004-04-08 14:24 1.4K 
[ ]ad_simple_path_dist_1_correct_2.con.types.xml.gz2004-04-08 14:24 1.4K 
[ ]CGeval.con.body.xml.gz2004-04-08 14:24 1.4K 
[ ]CG_add.con.body.xml.gz2004-04-08 14:24 1.4K 
[ ]CGSForm_rect.con.body.xml.gz2004-04-08 14:24 1.4K 
[ ]CG_add_5.con.body.xml.gz2004-04-08 14:24 1.4K 
[ ]cg_out_of_range_3.con.types.xml.gz2004-04-08 14:24 1.4K 
[ ]CGS_solve_correct_anchored.con.types.xml.gz2004-04-08 14:24 1.4K 
[ ]cg_add_out_of_range_1.con.xml.gz2004-04-08 14:24 1.4K 
[ ]ad_1_path_dist_correct_3.con.types.xml.gz2004-04-08 14:24 1.3K 
[ ]Ddmin_idempotent.con.types.xml.gz2004-04-08 14:23 1.3K 
[ ]CG_add_root_rooted.con.xml.gz2004-04-08 14:24 1.3K 
[ ]CG_solve_correct_anchored.con.types.xml.gz2004-04-08 14:25 1.3K 
[ ]CG_circuit_complete_1.con.xml.gz2004-04-08 14:24 1.3K 
[ ]CG_add_5_1.con.xml.gz2004-04-08 14:24 1.3K 
[ ]Dmin_le_1.con.body.xml.gz2004-04-08 14:23 1.3K 
[ ]ad_simple_path_naive_search_correct.con.types.xml.gz2004-04-08 14:24 1.3K 
[ ]CG_add_root_consistent.con.body.xml.gz2004-04-08 14:24 1.3K 
[ ]CG_add_5.con.types.xml.gz2004-04-08 14:24 1.3K 
[ ]CG_add_4.con.xml.gz2004-04-08 14:24 1.3K 
[ ]cg_out_of_range_3.con.body.xml.gz2004-04-08 14:24 1.3K 
[ ]CG_add_4_1.con.xml.gz2004-04-08 14:24 1.3K 
[ ]Dmin_comm.con.types.xml.gz2004-04-08 14:23 1.3K 
[ ]all_min_le_2_1.con.xml.gz2004-04-08 14:24 1.3K 
[ ]CG_standard_rho_root.con.body.xml.gz2004-04-08 14:24 1.3K 
[ ]Dnotle_not_eq.con.types.xml.gz2004-04-08 14:23 1.2K 
[ ]ad_path_then_simple_path.con.xml.gz2004-04-08 14:23 1.2K 
[ ]CG_add_5.con.xml.gz2004-04-08 14:24 1.2K 
[ ]Dnotle_not_eq.con.body.xml.gz2004-04-08 14:23 1.2K 
[ ]CG_path_app_4.con.xml.gz2004-04-08 14:24 1.2K 
[ ]Dneg_neg.con.types.xml.gz2004-04-08 14:23 1.2K 
[ ]CG_path.ind.xml.gz2004-04-08 14:23 1.2K 
[ ]CGSForm_ind.con.types.xml.gz2004-04-08 14:24 1.2K 
[ ]ad_1_path_dist_correct_3.con.body.xml.gz2004-04-08 14:24 1.2K 
[ ]ad_simple_path_dist_1_correct_1.con.xml.gz2004-04-08 14:24 1.2K 
[ ]Dnotle_noteq.con.types.xml.gz2004-04-08 14:23 1.2K 
[ ]CG_circuit_complete.con.types.xml.gz2004-04-08 14:24 1.2K 
[ ]Dmin_le_5.con.types.xml.gz2004-04-08 14:23 1.2K 
[ ]Ddmin_le_4.con.body.xml.gz2004-04-08 14:23 1.2K 
[ ]CGS_solve_1_correct.con.xml.gz2004-04-08 14:24 1.2K 
[ ]Ddmin_le_4.con.types.xml.gz2004-04-08 14:23 1.2K 
[ ]CG_edge_dist_some_1.con.xml.gz2004-04-08 14:24 1.1K 
[ ]CG_add_root_rooted_2.con.xml.gz2004-04-08 14:24 1.1K 
[ ]CG_path_correct.con.types.xml.gz2004-04-08 14:23 1.1K 
[ ]Dmin_le_1.con.types.xml.gz2004-04-08 14:23 1.1K 
[ ]Ddmin_idempotent.con.body.xml.gz2004-04-08 14:23 1.1K 
[ ]CGFormSimplify.con.body.xml.gz2004-04-08 14:25 1.1K 
[ ]ad_simple_path_dist_1_complete.con.xml.gz2004-04-08 14:24 1.1K 
[ ]ad_simple_path_naive_search_complete.con.xml.gz2004-04-08 14:24 1.1K 
[ ]ad_simple_path_dist_1_correct_2.con.body.xml.gz2004-04-08 14:24 1.1K 
[ ]CG_leq_refl.con.types.xml.gz2004-04-08 14:24 1.1K 
[ ]CGForm_rect.con.xml.gz2004-04-08 14:24 1.1K 
[ ]CG_solve_complete.con.types.xml.gz2004-04-08 14:25 1.1K 
[ ]ad_simple_path_dist_1_correct_2.con.xml.gz2004-04-08 14:24 1.1K 
[ ]CGForm_ind.con.xml.gz2004-04-08 14:24 1.1K 
[ ]all_min_le_2.con.xml.gz2004-04-08 14:24 1.1K 
[ ]CGForm_rec.con.xml.gz2004-04-08 14:24 1.1K 
[ ]ad_simple_path_naive_search_correct_1.con.xml.gz2004-04-08 14:24 1.1K 
[ ]ad_simple_path_naive_search_correct.con.body.xml.gz2004-04-08 14:24 1.1K 
[ ]CGS_solve_complete_1.con.xml.gz2004-04-08 14:24 1.1K 
[ ]ad_0_path_dist_correct.con.types.xml.gz2004-04-08 14:24 1.0K 
[ ]CG_circuits_non_negative_weight.con.types.xml.gz2004-04-08 14:23 1.0K 
[ ]ad_simple_path_dist_1_complete.con.types.xml.gz2004-04-08 14:24 1.0K 
[ ]CG_solve_complete.con.body.xml.gz2004-04-08 14:25 1.0K 
[ ]ad_simple_path_dist_complete.con.xml.gz2004-04-08 14:24 1.0K 
[ ]Dmin_le_4.con.body.xml.gz2004-04-08 14:23 1.0K 
[ ]Dmin_le_4.con.types.xml.gz2004-04-08 14:23 1.0K 
[ ]all_min_le_3.con.xml.gz2004-04-08 14:24 1.0K 
[ ]ad_0_path_dist_1_le.con.xml.gz2004-04-08 14:24 1.0K 
[ ]CG_edge.con.body.xml.gz2004-04-08 14:23 1.0K 
[ ]CG_rooted_sat.con.xml.gz2004-04-08 14:24 1.0K 
[ ]Dplus_neg_2.con.types.xml.gz2004-04-08 14:23 1.0K 
[ ]CG_add_4_5.con.xml.gz2004-04-08 14:24 1.0K 
[ ]CG_add_root_rooted_1.con.xml.gz2004-04-08 14:24 1.0K 
[ ]ad_1_path_dist_big_enough_1.con.xml.gz2004-04-08 14:24 1.0K 
[ ]CG_add_edge_1.con.xml.gz2004-04-08 14:24 1.0K 
[ ]Ddle_d_none.con.types.xml.gz2004-04-08 14:23 1.0K 
[ ]ad_simple_path_dist_d_2.con.xml.gz2004-04-08 14:24 1.0K 
[ ]Ddle_refl.con.types.xml.gz2004-04-08 14:23 1.0K 
[ ]ad_1_path_dist_correct_2.con.types.xml.gz2004-04-08 14:24 1.0K 
[ ]CG_add_root_rooted_3.con.xml.gz2004-04-08 14:24 1.0K 
[ ]Dplus_neg_2.con.body.xml.gz2004-04-08 14:23 1.0K 
[ ]ad_1_path_dist_correct.con.body.xml.gz2004-04-08 14:24 1.0K 
[ ]ad_simple_path_dist_correct_1.con.xml.gz2004-04-08 14:24 1.0K 
[ ]ad_simple_path_dist_d_3.con.xml.gz2004-04-08 14:24 1.0K 
[ ]ad_simple_path_naive_search_correct.con.xml.gz2004-04-08 14:24 1.0K 
[ ]ad_simple_path_dec.con.xml.gz2004-04-08 14:24 1.0K 
[ ]ad_0_path_dist_correct_1.con.body.xml.gz2004-04-08 14:24 1.0K 
[ ]ad_simple_path_bounded_card.con.xml.gz2004-04-08 14:23 1.0K 
[ ]Ddle.con.body.xml.gz2004-04-08 14:23 1.0K 
[ ]ad_simple_path_dist_complete_3.con.xml.gz2004-04-08 14:24 1.0K 
[ ]CGSeval_l.con.body.xml.gz2004-04-08 14:24 1.0K 
[ ]CG_add_root.con.body.xml.gz2004-04-08 14:24 1.0K 
[ ]CG_leq_refl.con.body.xml.gz2004-04-08 14:24 1.0K 
[ ]CGSnot.con.body.xml.gz2004-04-08 14:24 969  
[ ]CG_edge_dist_some.con.xml.gz2004-04-08 14:24 957  
[ ]ad_1_path_dist_correct.con.types.xml.gz2004-04-08 14:24 946  
[ ]CG_rooted_sat_1.con.xml.gz2004-04-08 14:24 933  
[ ]CG_path_app_3.con.xml.gz2004-04-08 14:23 932  
[ ]cg_range_2.con.xml.gz2004-04-08 14:24 930  
[ ]CG_sat_add_1.con.xml.gz2004-04-08 14:24 929  
[ ]Dnotle_le_1.con.types.xml.gz2004-04-08 14:23 923  
[ ]ad_simple_path_dist_complete_2.con.xml.gz2004-04-08 14:24 920  
[ ]CG_standard_rho_minimal.con.xml.gz2004-04-08 14:24 918  
[ ]Dle_true_Dmin.con.types.xml.gz2004-04-08 14:23 916  
[ ]Dmin_le_5.con.body.xml.gz2004-04-08 14:23 911  
[ ]Ddmin.con.body.xml.gz2004-04-08 14:23 910  
[ ]FSize.con.body.xml.gz2004-04-08 14:24 905  
[ ]CG_solve_correct.con.types.xml.gz2004-04-08 14:25 903  
[ ]CG_add_root_rooted_4.con.xml.gz2004-04-08 14:24 902  
[ ]ad_simple_path_naive_search_complete.con.body.xml.gz2004-04-08 14:24 898  
[ ]ad_simple_path_dist_correct.con.xml.gz2004-04-08 14:24 898  
[ ]CG_solve_correct_anchored.con.xml.gz2004-04-08 14:25 896  
[ ]CG_of_CGS.con.body.xml.gz2004-04-08 14:24 896  
[ ]CG_path_correct.con.xml.gz2004-04-08 14:23 894  
[ ]Dmin_choice.con.types.xml.gz2004-04-08 14:23 893  
[ ]CG_path_correct.con.body.xml.gz2004-04-08 14:23 893  
[ ]all_min_le_1.con.xml.gz2004-04-08 14:24 892  
[ ]Dnotle_le_1.con.body.xml.gz2004-04-08 14:23 887  
[ ]cg_out_of_range_2.con.xml.gz2004-04-08 14:24 886  
[ ]CG_circuit_complete.con.xml.gz2004-04-08 14:24 886  
[ ]CG_add_4_3.con.xml.gz2004-04-08 14:24 884  
[ ]FlSize.con.body.xml.gz2004-04-08 14:24 872  
[ ]CG_path_app_2.con.xml.gz2004-04-08 14:23 872  
[ ]CGS_solve_correct_anchored.con.xml.gz2004-04-08 14:24 863  
[ ]Dnotle_plus_mono.con.types.xml.gz2004-04-08 14:23 862  
[ ]CG_path_last.con.xml.gz2004-04-08 14:23 862  
[ ]CGSForm_ind.con.xml.gz2004-04-08 14:24 858  
[ ]CGSForm_rect.con.xml.gz2004-04-08 14:24 856  
[ ]CGSForm_rec.con.xml.gz2004-04-08 14:24 856  
[ ]ad_1_path_dist_correct_3.con.xml.gz2004-04-08 14:24 849  
[ ]Ddmin_le_2.con.body.xml.gz2004-04-08 14:23 847  
[ ]Ddmin_le_2.con.types.xml.gz2004-04-08 14:23 846  
[ ]ad_0_path_dist_correct_1.con.xml.gz2004-04-08 14:24 843  
[ ]and_sp_ind.con.types.xml.gz2004-04-08 14:23 841  
[ ]CG_path_head.con.xml.gz2004-04-08 14:23 841  
[ ]CG_add_rooted_1.con.xml.gz2004-04-08 14:24 839  
[ ]Dle_true_Dmin.con.body.xml.gz2004-04-08 14:23 838  
[ ]all_min_le_2.con.body.xml.gz2004-04-08 14:24 837  
[ ]ad_simple_path_dist_complete.con.body.xml.gz2004-04-08 14:24 835  
[ ]CGsat.con.body.xml.gz2004-04-08 14:23 835  
[ ]Dnotle_not_refl.con.types.xml.gz2004-04-08 14:23 833  
[ ]CG_standard_rho.con.body.xml.gz2004-04-08 14:24 830  
[ ]and_sp_rect.con.body.xml.gz2004-04-08 14:23 826  
[ ]all_min_le_2.con.types.xml.gz2004-04-08 14:24 819  
[ ]CG_prove_complete_anchored.con.xml.gz2004-04-08 14:25 819  
[ ]CG_path_in_cg_1.con.xml.gz2004-04-08 14:23 819  
[ ]cg_range_4.con.xml.gz2004-04-08 14:24 813  
[ ]CG_path_app_1.con.xml.gz2004-04-08 14:23 807  
[ ]cg_out_of_range_3.con.xml.gz2004-04-08 14:24 805  
[ ]ad_1_path_dist_big_enough.con.xml.gz2004-04-08 14:24 803  
[ ]CG_circuit_correct.con.xml.gz2004-04-08 14:23 796  
[ ]ad_1_path_dist_big_enough_2.con.xml.gz2004-04-08 14:24 795  
[ ]ad_simple_path_dist_complete.con.types.xml.gz2004-04-08 14:24 793  
[ ]Dnotle_plus_mono.con.body.xml.gz2004-04-08 14:23 791  
[ ]CG_edge_in_cg_1.con.xml.gz2004-04-08 14:23 790  
[ ]CG_add_card_le.con.xml.gz2004-04-08 14:24 789  
[ ]cg_out_of_range_1.con.xml.gz2004-04-08 14:24 777  
[ ]cg_range_1.con.xml.gz2004-04-08 14:24 776  
[ ]Ddle_d_none.con.body.xml.gz2004-04-08 14:23 776  
[ ]ad_0_path_dist_1_ge.con.xml.gz2004-04-08 14:24 775  
[ ]CG_circuits_non_negative_weight.con.xml.gz2004-04-08 14:23 775  
[ ]CG_add_4_4.con.xml.gz2004-04-08 14:24 775  
[ ]Ddle_refl.con.body.xml.gz2004-04-08 14:23 774  
[ ]CG_add_4_2.con.xml.gz2004-04-08 14:24 774  
[ ]Ddle_plus_mono.con.xml.gz2004-04-08 14:23 771  
[ ]CG_solve_correct.con.xml.gz2004-04-08 14:25 762  
[ ]CG_path_weight_and_last_unique.con.xml.gz2004-04-08 14:23 758  
[ ]CGS_solve_correct.con.xml.gz2004-04-08 14:24 757  
[ ]Dmin_le_2.con.types.xml.gz2004-04-08 14:23 754  
[ ]CG_add_1.con.xml.gz2004-04-08 14:24 747  
[ ]cg_add_dom_subset.con.xml.gz2004-04-08 14:24 745  
[ ]CGconsistent_anchored.con.body.xml.gz2004-04-08 14:24 744  
[ ]Dnotle_plus_mono_1.con.xml.gz2004-04-08 14:23 739  
[ ]CG_test_ineq.con.body.xml.gz2004-04-08 14:24 739  
[ ]CG_rooted_sat.con.types.xml.gz2004-04-08 14:24 739  
[ ]ad_1_path_dist_correct_1.con.xml.gz2004-04-08 14:24 735  
[ ]Dnotle_plus_mono.con.xml.gz2004-04-08 14:23 735  
[ ]Ddplus_reg_r.con.xml.gz2004-04-08 14:23 727  
[ ]ad_0_path_dist_correct.con.body.xml.gz2004-04-08 14:24 724  
[ ]ad_0_path_dist_correct.con.xml.gz2004-04-08 14:24 723  
[ ]ad_1_path_dist_correct.con.xml.gz2004-04-08 14:24 722  
[ ]CG_add_root_sat.con.xml.gz2004-04-08 14:24 722  
[ ]CG_add_3.con.xml.gz2004-04-08 14:24 722  
[ ]Ddplus.con.body.xml.gz2004-04-08 14:23 721  
[ ]CG_add_sat.con.xml.gz2004-04-08 14:24 719  
[ ]CGSeq_correct.con.xml.gz2004-04-08 14:24 718  
[ ]Dmin_le_2.con.body.xml.gz2004-04-08 14:23 715  
[ ]CG_translate_l.con.xml.gz2004-04-08 14:24 707  
[ ]CG_leq_trans.con.xml.gz2004-04-08 14:24 703  
[ ]CG_prove_complete.con.xml.gz2004-04-08 14:25 701  
[ ]Ddmin_plus_l.con.xml.gz2004-04-08 14:23 700  
[ ]Ddmin_le_distr_l.con.xml.gz2004-04-08 14:23 698  
[ ]Ddmin_le_3.con.xml.gz2004-04-08 14:23 697  
[ ]CGSeq_complete.con.xml.gz2004-04-08 14:24 696  
[ ]Ddle_antisym.con.xml.gz2004-04-08 14:23 694  
[ ]Ddmin_le_4.con.xml.gz2004-04-08 14:23 693  
[ ]Ddle_trans.con.xml.gz2004-04-08 14:23 693  
[ ]Dnotle_not_eq_sym.con.types.xml.gz2004-04-08 14:23 692  
[ ]FSize_geq_1.con.types.xml.gz2004-04-08 14:24 691  
[ ]CG_leq.con.body.xml.gz2004-04-08 14:24 689  
[ ]Dnotle_not_eq_sym.con.body.xml.gz2004-04-08 14:23 686  
[ ]CG_prove_correct.con.xml.gz2004-04-08 14:25 685  
[ ]CGS_solve.con.body.xml.gz2004-04-08 14:24 680  
[ ]CG_solve_complete.con.xml.gz2004-04-08 14:25 678  
[ ]CG_simple_path.con.body.xml.gz2004-04-08 14:24 677  
[ ]Ddmin_assoc.con.xml.gz2004-04-08 14:23 674  
[ ]CGS_solve_complete.con.xml.gz2004-04-08 14:24 673  
[ ]Dnotle_not_refl.con.body.xml.gz2004-04-08 14:23 672  
[ ]Dle_lt_2.con.xml.gz2004-04-08 14:24 666  
[ ]Dle_lt_1.con.xml.gz2004-04-08 14:24 665  
[ ]CGS_translate_l.con.xml.gz2004-04-08 14:24 659  
[ ]CGFormSimplify_correct.con.xml.gz2004-04-08 14:25 658  
[ ]and_sp_rect.con.xml.gz2004-04-08 14:23 657  
[ ]and_sp_ind.con.xml.gz2004-04-08 14:23 657  
[ ]ad_1_path_dist_correct_2.con.body.xml.gz2004-04-08 14:24 657  
[ ]and_sp_rec.con.xml.gz2004-04-08 14:23 655  
[ ]Dplus_reg_l.con.xml.gz2004-04-08 14:23 655  
[ ]CGSnot_complete.con.xml.gz2004-04-08 14:25 651  
[ ]Dplus_reg_r.con.xml.gz2004-04-08 14:23 649  
[ ]CG_path_ind.con.body.xml.gz2004-04-08 14:23 649  
[ ]all_min.con.body.xml.gz2004-04-08 14:24 647  
[ ]CG_add_edge_2.con.xml.gz2004-04-08 14:24 646  
[ ]Dnotle_elim.con.xml.gz2004-04-08 14:23 644  
[ ]Ddmin_choice.con.xml.gz2004-04-08 14:23 644  
[ ]CG_path_rec.con.body.xml.gz2004-04-08 14:23 643  
[ ]CGSnot_correct.con.xml.gz2004-04-08 14:24 643  
[ ]ad_simple_path_naive_search_complete.con.types.xml.gz2004-04-08 14:24 642  
[ ]Dnotle_3_cases.con.xml.gz2004-04-08 14:23 639  
[ ]Dmin_le_5.con.xml.gz2004-04-08 14:23 638  
[ ]ad_simple_path_dist.con.body.xml.gz2004-04-08 14:24 634  
[ ]Dle_noteq_notle.con.xml.gz2004-04-08 14:23 634  
[ ]CG_add_root_consistent.con.xml.gz2004-04-08 14:24 633  
[ ]Dmin_le_distr_l.con.xml.gz2004-04-08 14:23 631  
[ ]ad_1_path_dist.con.body.xml.gz2004-04-08 14:24 628  
[ ]Dle_true_permut.con.xml.gz2004-04-08 14:23 627  
[ ]ad_0_path_dist.con.body.xml.gz2004-04-08 14:24 626  
[ ]Dnotle_trans.con.xml.gz2004-04-08 14:23 625  
[ ]Dneg_le.con.xml.gz2004-04-08 14:23 617  
[ ]Dmin_le_3.con.xml.gz2004-04-08 14:23 617  
[ ]CGconsistent_then_anchored.con.xml.gz2004-04-08 14:24 615  
[ ]first.con.body.xml.gz2004-04-08 14:23 614  
[ ]Dmin_plus_l.con.xml.gz2004-04-08 14:23 613  
[ ]Dmin_le_4.con.xml.gz2004-04-08 14:23 613  
[ ]Dmin_idempotent.con.types.xml.gz2004-04-08 14:23 612  
[ ]ad_simple_path_dist_d_1.con.xml.gz2004-04-08 14:24 608  
[ ]Ddmin_le_2.con.xml.gz2004-04-08 14:23 607  
[ ]Ddmin_le_1.con.xml.gz2004-04-08 14:23 606  
[ ]FlSize_is_O.con.xml.gz2004-04-08 14:24 605  
[ ]Dmin_plus_r.con.xml.gz2004-04-08 14:23 605  
[ ]Dneg_Dz.con.body.xml.gz2004-04-08 14:23 599  
[ ]Ddmin_comm.con.xml.gz2004-04-08 14:23 598  
[ ]ad_1_path_dist_correct_2.con.xml.gz2004-04-08 14:24 594  
[ ]CG_standard_rho_root.con.xml.gz2004-04-08 14:24 594  
[ ]Dminus_one_1.con.xml.gz2004-04-08 14:24 587  
[ ]CG_add_2.con.xml.gz2004-04-08 14:24 585  
[ ]Dnotle_not_eq_sym.con.xml.gz2004-04-08 14:23 579  
[ ]Dle_inv_Dmin.con.xml.gz2004-04-08 14:23 576  
[ ]Dmin_assoc.con.xml.gz2004-04-08 14:23 575  
[ ]Dle_neg_2.con.xml.gz2004-04-08 14:23 575  
[ ]Dle_neg.con.xml.gz2004-04-08 14:23 574  
[ ]CGeval_dec.con.xml.gz2004-04-08 14:24 570  
[ ]CGanchored_then_consistent.con.xml.gz2004-04-08 14:24 565  
[ ]Dnotle_not_eq.con.xml.gz2004-04-08 14:23 564  
[ ]Dnotle_noteq.con.xml.gz2004-04-08 14:23 563  
[ ]Ddle_d_none.con.xml.gz2004-04-08 14:23 558  
[ ]CG_path_app_1.con.types.xml.gz2004-04-08 14:23 556  
[ ]Dle_true_Dmin.con.xml.gz2004-04-08 14:23 555  
[ ]Dnotle_le_1.con.xml.gz2004-04-08 14:23 554  
[ ]CGForm.ind.xml.gz2004-04-08 14:24 553  
[ ]FSize_geq_1.con.xml.gz2004-04-08 14:24 551  
[ ]Dneg_plus.con.xml.gz2004-04-08 14:23 548  
[ ]Dmin_choice.con.xml.gz2004-04-08 14:23 545  
[ ]Dmin.con.body.xml.gz2004-04-08 14:23 545  
[ ]Ddmin_idempotent.con.xml.gz2004-04-08 14:23 543  
[ ]Dmin_le_1.con.xml.gz2004-04-08 14:23 538  
[ ]Dmin_le_2.con.xml.gz2004-04-08 14:23 536  
[ ]CGSeq.con.body.xml.gz2004-04-08 14:24 530  
[ ]Ddle_refl.con.xml.gz2004-04-08 14:23 528  
[ ]D_dec.con.xml.gz2004-04-08 14:23 525  
[ ]CG_solve.con.body.xml.gz2004-04-08 14:25 520  
[ ]CGSeval.con.body.xml.gz2004-04-08 14:24 512  
[ ]and_sp_ind.con.body.xml.gz2004-04-08 14:23 509  
[ ]and_sp_rec.con.body.xml.gz2004-04-08 14:23 506  
[ ]Dnotle_not_refl.con.xml.gz2004-04-08 14:23 505  
[ ]ad_simple_path_dist_1.con.xml.gz2004-04-08 14:24 502  
[ ]D_dec.con.types.xml.gz2004-04-08 14:23 501  
[ ]Dmin_comm.con.xml.gz2004-04-08 14:23 500  
[ ]ad_0_path_dist_1.con.xml.gz2004-04-08 14:24 497  
[ ]Dneg_Dz.con.types.xml.gz2004-04-08 14:23 496  
[ ]and_sp.ind.xml.gz2004-04-08 14:23 495  
[ ]Dplus_neg_2.con.xml.gz2004-04-08 14:23 492  
[ ]CG_leq_refl.con.xml.gz2004-04-08 14:24 492  
[ ]ad_1_path_dist_1.con.xml.gz2004-04-08 14:24 484  
[ ]CG_prove.con.body.xml.gz2004-04-08 14:25 480  
[ ]all_min.con.xml.gz2004-04-08 14:24 479  
[ ]CGS_solve_1.con.xml.gz2004-04-08 14:24 479  
[ ]Dneg_neg.con.xml.gz2004-04-08 14:23 478  
[ ]CGSForm.ind.xml.gz2004-04-08 14:24 478  
[ ]Dmone_neg.con.xml.gz2004-04-08 14:24 472  
[ ]Dmin_idempotent.con.xml.gz2004-04-08 14:23 460  
[ ]ad_simple_path_naive_search.con.xml.gz2004-04-08 14:24 458  
[ ]CGSeval_l.con.xml.gz2004-04-08 14:24 451  
[ ]CG_simple_path.con.xml.gz2004-04-08 14:24 446  
[ ]Dmin_idempotent.con.body.xml.gz2004-04-08 14:23 440  
[ ]ad_simple_path_dist.con.xml.gz2004-04-08 14:24 438  
[ ]CG_add.con.xml.gz2004-04-08 14:24 434  
[ ]CGSForm_ind.con.body.xml.gz2004-04-08 14:24 434  
[ ]CGForm_ind.con.body.xml.gz2004-04-08 14:24 433  
[ ]CGSForm_rec.con.body.xml.gz2004-04-08 14:24 431  
[ ]ad_1_path_dist.con.xml.gz2004-04-08 14:24 430  
[ ]ad_0_path_dist.con.xml.gz2004-04-08 14:24 430  
[ ]CGForm_rec.con.body.xml.gz2004-04-08 14:24 429  
[ ]CG_standard_rho.con.xml.gz2004-04-08 14:24 426  
[ ]CG_add_root.con.xml.gz2004-04-08 14:24 426  
[ ]CG_test_ineq.con.xml.gz2004-04-08 14:24 422  
[ ]CGconsistent.con.body.xml.gz2004-04-08 14:23 411  
[ ]Ddplus.con.xml.gz2004-04-08 14:23 408  
[ ]Ddle.con.xml.gz2004-04-08 14:23 408  
[ ]CG_add_root_consistent.con.types.xml.gz2004-04-08 14:24 407  
[ ]cg_range.con.xml.gz2004-04-08 14:24 406  
[ ]Ddmin.con.xml.gz2004-04-08 14:23 403  
[ ]CGconsistent_anchored.con.xml.gz2004-04-08 14:24 403  
[ ]CG_edge.con.xml.gz2004-04-08 14:23 403  
[ ]CGSeval.con.xml.gz2004-04-08 14:24 398  
[ ]CGeval.con.xml.gz2004-04-08 14:24 397  
[ ]Dle_true_permut.con.types.xml.gz2004-04-08 14:23 392  
[ ]Dnotle_3_cases.con.types.xml.gz2004-04-08 14:23 388  
[ ]CGsat.con.xml.gz2004-04-08 14:23 379  
[ ]cg2.con.body.xml.gz2004-04-08 14:24 374  
[ ]FlSize.con.xml.gz2004-04-08 14:24 373  
[ ]Dneg_Dz.con.xml.gz2004-04-08 14:23 367  
[ ]cg2.con.xml.gz2004-04-08 14:24 362  
[ ]CGS_solve.con.xml.gz2004-04-08 14:24 358  
[ ]CG_prove.con.xml.gz2004-04-08 14:25 357  
[ ]CG_solve.con.xml.gz2004-04-08 14:25 356  
[ ]CGSeq.con.xml.gz2004-04-08 14:24 356  
[ ]CG_leq.con.xml.gz2004-04-08 14:24 355  
[ ]CGraph1.con.body.xml.gz2004-04-08 14:23 345  
[ ]CGFormSimplify.con.xml.gz2004-04-08 14:25 340  
[ ]first.con.xml.gz2004-04-08 14:23 333  
[ ]cg_range.con.body.xml.gz2004-04-08 14:24 333  
[ ]CGraph.con.body.xml.gz2004-04-08 14:23 331  
[ ]CGSnot.con.xml.gz2004-04-08 14:24 327  
[ ]FSize.con.xml.gz2004-04-08 14:24 314  
[ ]CG_of_CGS.con.xml.gz2004-04-08 14:24 311  
[ ]Dmin.con.xml.gz2004-04-08 14:23 305  
[ ]CGconsistent.con.xml.gz2004-04-08 14:23 269  
[ ]ad_simple_path_dist_complete_2.con.types.xml.gz2004-04-08 14:24 236  
[ ]CGraph1.con.xml.gz2004-04-08 14:23 236  
[ ]ad_simple_path_naive_search.con.types.xml.gz2004-04-08 14:24 233  
[ ]CGraph.con.xml.gz2004-04-08 14:23 233  
[ ]CGanchored_then_consistent.con.types.xml.gz2004-04-08 14:24 231  
[ ]ad_simple_path_dist_1.con.types.xml.gz2004-04-08 14:24 223  
[ ]CGconsistent_anchored.con.types.xml.gz2004-04-08 14:24 221  
[ ]ad_simple_path_dist.con.types.xml.gz2004-04-08 14:24 219  
[ ]ad_1_path_dist_1.con.types.xml.gz2004-04-08 14:24 214  
[ ]ad_0_path_dist_1.con.types.xml.gz2004-04-08 14:24 214  
[ ]CG_standard_rho.con.types.xml.gz2004-04-08 14:24 212  
[ ]ad_1_path_dist.con.types.xml.gz2004-04-08 14:24 211  
[ ]ad_0_path_dist.con.types.xml.gz2004-04-08 14:24 211  
[ ]CG_simple_path.con.types.xml.gz2004-04-08 14:24 211  
[ ]CGFormSimplify.con.types.xml.gz2004-04-08 14:25 210  
[ ]CG_test_ineq.con.types.xml.gz2004-04-08 14:24 207  
[ ]CG_path_rect.con.types.xml.gz2004-04-08 14:23 207  
[ ]CGSForm_rect.con.types.xml.gz2004-04-08 14:24 207  
[ ]CGconsistent.con.types.xml.gz2004-04-08 14:23 206  
[ ]CG_path_rec.con.types.xml.gz2004-04-08 14:23 206  
[ ]CGS_solve_1.con.types.xml.gz2004-04-08 14:24 206  
[ ]and_sp_rect.con.types.xml.gz2004-04-08 14:23 205  
[ ]CG_add_root.con.types.xml.gz2004-04-08 14:24 205  
[ ]CGSForm_rec.con.types.xml.gz2004-04-08 14:24 205  
[ ]CGForm_rect.con.types.xml.gz2004-04-08 14:24 205  
[ ]and_sp_rec.con.types.xml.gz2004-04-08 14:23 204  
[ ]CGForm_rec.con.types.xml.gz2004-04-08 14:24 204  
[ ]CG_of_CGS.con.types.xml.gz2004-04-08 14:24 202  
[ ]CGSeval_l.con.types.xml.gz2004-04-08 14:24 202  
[ ]CGS_solve.con.types.xml.gz2004-04-08 14:24 202  
[ ]cg_range.con.types.xml.gz2004-04-08 14:24 201  
[ ]CG_solve.con.types.xml.gz2004-04-08 14:25 200  
[ ]CG_prove.con.types.xml.gz2004-04-08 14:25 200  
[ ]all_min.con.types.xml.gz2004-04-08 14:24 199  
[ ]CG_edge.con.types.xml.gz2004-04-08 14:23 199  
[ ]CG_path.ind.types.xml.gz2004-04-08 14:23 198  
[ ]CGSeval.con.types.xml.gz2004-04-08 14:24 198  
[ ]CGraph1.con.types.xml.gz2004-04-08 14:23 197  
[ ]CG_leq.con.types.xml.gz2004-04-08 14:24 197  
[ ]CG_add.con.types.xml.gz2004-04-08 14:24 197  
[ ]CGSForm.ind.types.xml.gz2004-04-08 14:24 197  
[ ]and_sp.ind.types.xml.gz2004-04-08 14:23 196  
[ ]FlSize.con.types.xml.gz2004-04-08 14:24 196  
[ ]Ddplus.con.types.xml.gz2004-04-08 14:23 196  
[ ]CGraph.con.types.xml.gz2004-04-08 14:23 196  
[ ]CGeval.con.types.xml.gz2004-04-08 14:24 196  
[ ]CGSnot.con.types.xml.gz2004-04-08 14:24 196  
[ ]CGForm.ind.types.xml.gz2004-04-08 14:24 196  
[ ]FSize.con.types.xml.gz2004-04-08 14:24 195  
[ ]CGSeq.con.types.xml.gz2004-04-08 14:24 195  
[ ]first.con.types.xml.gz2004-04-08 14:23 194  
[ ]Ddmin.con.types.xml.gz2004-04-08 14:23 194  
[ ]CGsat.con.types.xml.gz2004-04-08 14:23 194  
[ ]Ddle.con.types.xml.gz2004-04-08 14:23 193  
[ ]cg2.con.types.xml.gz2004-04-08 14:24 192  
[ ]Dmin.con.types.xml.gz2004-04-08 14:23 192  
[DIR]ConstraintGraphs/2005-07-05 08:13 -  
Apache/2.4.62 (Debian) Server at mowgli.cs.unibo.it Port 80