Index of /xml/Coq/IntMap/Lsort

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]INDEX2005-07-05 08:11 2.8K 
[DIR]LSort/2005-07-05 08:12 -  
[ ]aapp_length.con.body.xml.gz2004-04-08 01:33 350  
[ ]aapp_length.con.proof_tree.xml.gz2004-04-09 18:52 1.8K 
[ ]aapp_length.con.types.xml.gz2004-04-08 01:33 1.1K 
[ ]aapp_length.con.xml.gz2004-04-08 01:33 752  
[ ]ad_bit_0_gt.con.body.xml.gz2004-04-08 01:33 6.3K 
[ ]ad_bit_0_gt.con.proof_tree.xml.gz2004-04-09 18:52 7.5K 
[ ]ad_bit_0_gt.con.types.xml.gz2004-04-08 01:33 5.7K 
[ ]ad_bit_0_gt.con.xml.gz2004-04-08 01:33 563  
[ ]ad_bit_0_less.con.body.xml.gz2004-04-08 01:33 7.9K 
[ ]ad_bit_0_less.con.proof_tree.xml.gz2004-04-09 18:52 7.9K 
[ ]ad_bit_0_less.con.types.xml.gz2004-04-08 01:33 7.1K 
[ ]ad_bit_0_less.con.xml.gz2004-04-08 01:33 561  
[ ]ad_comp_double_monotonic.con.body.xml.gz2004-04-08 01:33 519  
[ ]ad_comp_double_monotonic.con.proof_tree.xml.gz2004-04-09 18:52 1.1K 
[ ]ad_comp_double_monotonic.con.types.xml.gz2004-04-08 01:33 648  
[ ]ad_comp_double_monotonic.con.xml.gz2004-04-08 01:33 533  
[ ]ad_comp_double_plus_un_monotonic.con.body.xml.gz2004-04-08 01:33 534  
[ ]ad_comp_double_plus_un_monotonic.con.proof_tree.xml.gz2004-04-09 18:52 1.1K 
[ ]ad_comp_double_plus_un_monotonic.con.types.xml.gz2004-04-08 01:33 662  
[ ]ad_comp_double_plus_un_monotonic.con.xml.gz2004-04-08 01:33 548  
[ ]ad_comp_monotonic.con.body.xml.gz2004-04-08 01:33 1.0K 
[ ]ad_comp_monotonic.con.proof_tree.xml.gz2004-04-09 18:52 3.3K 
[ ]ad_comp_monotonic.con.types.xml.gz2004-04-08 01:33 1.8K 
[ ]ad_comp_monotonic.con.xml.gz2004-04-08 01:33 572  
[ ]ad_double_monotonic.con.body.xml.gz2004-04-08 01:33 757  
[ ]ad_double_monotonic.con.proof_tree.xml.gz2004-04-09 18:52 1.5K 
[ ]ad_double_monotonic.con.types.xml.gz2004-04-08 01:33 813  
[ ]ad_double_monotonic.con.xml.gz2004-04-08 01:33 292  
[ ]ad_double_plus_un_monotonic.con.body.xml.gz2004-04-08 01:33 772  
[ ]ad_double_plus_un_monotonic.con.proof_tree.xml.gz2004-04-09 18:52 1.5K 
[ ]ad_double_plus_un_monotonic.con.types.xml.gz2004-04-08 01:33 828  
[ ]ad_double_plus_un_monotonic.con.xml.gz2004-04-08 01:33 308  
[ ]ad_ind_double.con.body.xml.gz2004-04-08 01:33 1.2K 
[ ]ad_ind_double.con.proof_tree.xml.gz2004-04-09 18:52 2.9K 
[ ]ad_ind_double.con.types.xml.gz2004-04-08 01:33 1.3K 
[ ]ad_ind_double.con.xml.gz2004-04-08 01:33 643  
[ ]ad_less.con.body.xml.gz2004-04-08 01:33 625  
[ ]ad_less.con.types.xml.gz2004-04-08 01:33 196  
[ ]ad_less.con.xml.gz2004-04-08 01:33 304  
[ ]ad_less_1.con.body.xml.gz2004-04-08 01:33 931  
[ ]ad_less_1.con.types.xml.gz2004-04-08 01:33 199  
[ ]ad_less_1.con.xml.gz2004-04-08 01:33 332  
[ ]ad_less_def_1.con.body.xml.gz2004-04-08 01:33 2.6K 
[ ]ad_less_def_1.con.proof_tree.xml.gz2004-04-09 18:52 7.2K 
[ ]ad_less_def_1.con.types.xml.gz2004-04-08 01:33 5.2K 
[ ]ad_less_def_1.con.xml.gz2004-04-08 01:33 507  
[ ]ad_less_def_2.con.body.xml.gz2004-04-08 01:33 2.7K 
[ ]ad_less_def_2.con.proof_tree.xml.gz2004-04-09 18:52 7.2K 
[ ]ad_less_def_2.con.types.xml.gz2004-04-08 01:33 5.2K 
[ ]ad_less_def_2.con.xml.gz2004-04-08 01:33 514  
[ ]ad_less_def_3.con.body.xml.gz2004-04-08 01:33 504  
[ ]ad_less_def_3.con.proof_tree.xml.gz2004-04-09 18:52 1.3K 
[ ]ad_less_def_3.con.types.xml.gz2004-04-08 01:33 745  
[ ]ad_less_def_3.con.xml.gz2004-04-08 01:33 506  
[ ]ad_less_def_4.con.body.xml.gz2004-04-08 01:33 501  
[ ]ad_less_def_4.con.proof_tree.xml.gz2004-04-09 18:52 1.2K 
[ ]ad_less_def_4.con.types.xml.gz2004-04-08 01:33 742  
[ ]ad_less_def_4.con.xml.gz2004-04-08 01:33 505  
[ ]ad_less_not_refl.con.body.xml.gz2004-04-08 01:33 817  
[ ]ad_less_not_refl.con.proof_tree.xml.gz2004-04-09 18:52 1.2K 
[ ]ad_less_not_refl.con.types.xml.gz2004-04-08 01:33 1.0K 
[ ]ad_less_not_refl.con.xml.gz2004-04-08 01:33 446  
[ ]ad_less_total.con.body.xml.gz2004-04-08 01:33 11K 
[ ]ad_less_total.con.proof_tree.xml.gz2004-04-09 18:52 19K 
[ ]ad_less_total.con.types.xml.gz2004-04-08 01:33 1.7K 
[ ]ad_less_total.con.xml.gz2004-04-08 01:33 588  
[ ]ad_less_trans.con.body.xml.gz2004-04-08 01:33 15K 
[ ]ad_less_trans.con.proof_tree.xml.gz2004-04-09 18:52 18K 
[ ]ad_less_trans.con.types.xml.gz2004-04-08 01:33 18K 
[ ]ad_less_trans.con.xml.gz2004-04-08 01:33 578  
[ ]ad_less_z.con.body.xml.gz2004-04-08 01:33 1.5K 
[ ]ad_less_z.con.proof_tree.xml.gz2004-04-09 18:52 2.8K 
[ ]ad_less_z.con.types.xml.gz2004-04-08 01:33 2.1K 
[ ]ad_less_z.con.xml.gz2004-04-08 01:33 441  
[ ]ad_monotonic.con.body.xml.gz2004-04-08 01:33 621  
[ ]ad_monotonic.con.types.xml.gz2004-04-08 01:33 203  
[ ]ad_monotonic.con.xml.gz2004-04-08 01:33 327  
[ ]ad_rec_double.con.body.xml.gz2004-04-08 01:33 1.1K 
[ ]ad_rec_double.con.proof_tree.xml.gz2004-04-09 18:52 2.6K 
[ ]ad_rec_double.con.types.xml.gz2004-04-08 01:33 206  
[ ]ad_rec_double.con.xml.gz2004-04-08 01:33 638  
[ ]ad_z_less_1.con.body.xml.gz2004-04-08 01:33 1.5K 
[ ]ad_z_less_1.con.proof_tree.xml.gz2004-04-09 18:52 2.5K 
[ ]ad_z_less_1.con.types.xml.gz2004-04-08 01:33 610  
[ ]ad_z_less_1.con.xml.gz2004-04-08 01:33 614  
[ ]ad_z_less_2.con.body.xml.gz2004-04-08 01:33 2.6K 
[ ]ad_z_less_2.con.proof_tree.xml.gz2004-04-09 18:52 4.3K 
[ ]ad_z_less_2.con.types.xml.gz2004-04-08 01:33 2.8K 
[ ]ad_z_less_2.con.xml.gz2004-04-08 01:33 495  
[ ]alist_canonical.con.body.xml.gz2004-04-08 01:33 30K 
[ ]alist_canonical.con.proof_tree.xml.gz2004-04-09 18:52 47K 
[ ]alist_canonical.con.types.xml.gz2004-04-08 01:33 47K 
[ ]alist_canonical.con.xml.gz2004-04-08 01:33 708  
[ ]alist_conc_sorted.con.body.xml.gz2004-04-08 01:33 20K 
[ ]alist_conc_sorted.con.proof_tree.xml.gz2004-04-09 18:52 25K 
[ ]alist_conc_sorted.con.types.xml.gz2004-04-08 01:33 18K 
[ ]alist_conc_sorted.con.xml.gz2004-04-08 01:33 1.0K 
[ ]alist_nth_ad.con.body.xml.gz2004-04-08 01:33 1.2K 
[ ]alist_nth_ad.con.types.xml.gz2004-04-08 01:33 204  
[ ]alist_nth_ad.con.xml.gz2004-04-08 01:33 403  
[ ]alist_nth_ad_aapp_1.con.body.xml.gz2004-04-08 01:33 4.9K 
[ ]alist_nth_ad_aapp_1.con.proof_tree.xml.gz2004-04-09 18:52 12K 
[ ]alist_nth_ad_aapp_1.con.types.xml.gz2004-04-08 01:33 6.9K 
[ ]alist_nth_ad_aapp_1.con.xml.gz2004-04-08 01:33 804  
[ ]alist_nth_ad_aapp_2.con.body.xml.gz2004-04-08 01:33 3.2K 
[ ]alist_nth_ad_aapp_2.con.proof_tree.xml.gz2004-04-09 18:52 7.8K 
[ ]alist_nth_ad_aapp_2.con.types.xml.gz2004-04-08 01:33 4.9K 
[ ]alist_nth_ad_aapp_2.con.xml.gz2004-04-08 01:33 899  
[ ]alist_nth_ad_semantics.con.body.xml.gz2004-04-08 01:33 11K 
[ ]alist_nth_ad_semantics.con.proof_tree.xml.gz2004-04-09 18:52 24K 
[ ]alist_nth_ad_semantics.con.types.xml.gz2004-04-08 01:33 5.0K 
[ ]alist_nth_ad_semantics.con.xml.gz2004-04-08 01:33 906  
[ ]alist_of_Map_nth_ad.con.body.xml.gz2004-04-08 01:33 2.6K 
[ ]alist_of_Map_nth_ad.con.proof_tree.xml.gz2004-04-09 18:52 4.0K 
[ ]alist_of_Map_nth_ad.con.types.xml.gz2004-04-08 01:33 963  
[ ]alist_of_Map_nth_ad.con.xml.gz2004-04-08 01:33 1.3K 
[ ]alist_of_Map_sorts.con.body.xml.gz2004-04-08 01:33 775  
[ ]alist_of_Map_sorts.con.proof_tree.xml.gz2004-04-09 18:52 1.7K 
[ ]alist_of_Map_sorts.con.types.xml.gz2004-04-08 01:33 1.3K 
[ ]alist_of_Map_sorts.con.xml.gz2004-04-08 01:33 559  
[ ]alist_of_Map_sorts1.con.body.xml.gz2004-04-08 01:33 532  
[ ]alist_of_Map_sorts1.con.proof_tree.xml.gz2004-04-09 18:52 1.3K 
[ ]alist_of_Map_sorts1.con.types.xml.gz2004-04-08 01:33 708  
[ ]alist_of_Map_sorts1.con.xml.gz2004-04-08 01:33 498  
[ ]alist_of_Map_sorts2.con.body.xml.gz2004-04-08 01:33 535  
[ ]alist_of_Map_sorts2.con.proof_tree.xml.gz2004-04-09 18:52 1.1K 
[ ]alist_of_Map_sorts2.con.types.xml.gz2004-04-08 01:33 624  
[ ]alist_of_Map_sorts2.con.xml.gz2004-04-08 01:33 496  
[ ]alist_of_Map_sorts_1.con.body.xml.gz2004-04-08 01:33 11K 
[ ]alist_of_Map_sorts_1.con.proof_tree.xml.gz2004-04-09 18:52 24K 
[ ]alist_of_Map_sorts_1.con.types.xml.gz2004-04-08 01:33 13K 
[ ]alist_of_Map_sorts_1.con.xml.gz2004-04-08 01:33 925  
[ ]alist_semantics_nth_ad.con.body.xml.gz2004-04-08 01:33 10K 
[ ]alist_semantics_nth_ad.con.proof_tree.xml.gz2004-04-09 18:52 19K 
[ ]alist_semantics_nth_ad.con.types.xml.gz2004-04-08 01:33 3.8K 
[ ]alist_semantics_nth_ad.con.xml.gz2004-04-08 01:33 1.0K 
[ ]alist_semantics_same_tail.con.body.xml.gz2004-04-08 01:33 3.5K 
[ ]alist_semantics_same_tail.con.proof_tree.xml.gz2004-04-09 18:52 7.1K 
[ ]alist_semantics_same_tail.con.types.xml.gz2004-04-08 01:33 4.6K 
[ ]alist_semantics_same_tail.con.xml.gz2004-04-08 01:33 1.1K 
[ ]alist_semantics_tail.con.body.xml.gz2004-04-08 01:33 8.4K 
[ ]alist_semantics_tail.con.proof_tree.xml.gz2004-04-09 18:52 15K 
[ ]alist_semantics_tail.con.types.xml.gz2004-04-08 01:33 10K 
[ ]alist_semantics_tail.con.xml.gz2004-04-08 01:33 1.2K 
[ ]alist_sorted.con.body.xml.gz2004-04-08 01:33 1.6K 
[ ]alist_sorted.con.types.xml.gz2004-04-08 01:33 203  
[ ]alist_sorted.con.xml.gz2004-04-08 01:33 382  
[ ]alist_sorted_1.con.body.xml.gz2004-04-08 01:33 816  
[ ]alist_sorted_1.con.types.xml.gz2004-04-08 01:33 207  
[ ]alist_sorted_1.con.xml.gz2004-04-08 01:33 370  
[ ]alist_sorted_1_imp_2.con.body.xml.gz2004-04-08 01:33 2.0K 
[ ]alist_sorted_1_imp_2.con.proof_tree.xml.gz2004-04-09 18:52 5.2K 
[ ]alist_sorted_1_imp_2.con.types.xml.gz2004-04-08 01:33 2.9K 
[ ]alist_sorted_1_imp_2.con.xml.gz2004-04-08 01:33 463  
[ ]alist_sorted_2.con.body.xml.gz2004-04-08 01:33 845  
[ ]alist_sorted_2.con.types.xml.gz2004-04-08 01:33 208  
[ ]alist_sorted_2.con.xml.gz2004-04-08 01:33 372  
[ ]alist_sorted_2_imp.con.body.xml.gz2004-04-08 01:33 12K 
[ ]alist_sorted_2_imp.con.proof_tree.xml.gz2004-04-09 18:52 35K 
[ ]alist_sorted_2_imp.con.types.xml.gz2004-04-08 01:33 19K 
[ ]alist_sorted_2_imp.con.xml.gz2004-04-08 01:33 550  
[ ]alist_sorted_imp_1.con.body.xml.gz2004-04-08 01:33 17K 
[ ]alist_sorted_imp_1.con.proof_tree.xml.gz2004-04-09 18:52 45K 
[ ]alist_sorted_imp_1.con.types.xml.gz2004-04-08 01:33 24K 
[ ]alist_sorted_imp_1.con.xml.gz2004-04-08 01:33 553  
[ ]alist_sorted_tail.con.body.xml.gz2004-04-08 01:33 1.6K 
[ ]alist_sorted_tail.con.proof_tree.xml.gz2004-04-09 18:52 5.3K 
[ ]alist_sorted_tail.con.types.xml.gz2004-04-08 01:33 2.5K 
[ ]alist_sorted_tail.con.xml.gz2004-04-08 01:33 687  
[ ]alist_too_low.con.body.xml.gz2004-04-08 01:33 14K 
[ ]alist_too_low.con.proof_tree.xml.gz2004-04-09 18:52 25K 
[ ]alist_too_low.con.types.xml.gz2004-04-08 01:33 25K 
[ ]alist_too_low.con.xml.gz2004-04-08 01:33 1.0K 
[ ]app_length.con.body.xml.gz2004-04-08 01:33 1.8K 
[ ]app_length.con.proof_tree.xml.gz2004-04-09 18:52 3.9K 
[ ]app_length.con.types.xml.gz2004-04-08 01:33 2.6K 
[ ]app_length.con.xml.gz2004-04-08 01:33 658  
[ ]interval_split.con.body.xml.gz2004-04-08 01:33 7.1K 
[ ]interval_split.con.proof_tree.xml.gz2004-04-09 18:52 14K 
[ ]interval_split.con.types.xml.gz2004-04-08 01:33 2.0K 
[ ]interval_split.con.xml.gz2004-04-08 01:33 759  
Apache/2.4.57 (Debian) Server at mowgli.cs.unibo.it Port 80