Index of /xml/Coq/Lists/List

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[DIR]Functions_on_lists/2005-07-05 08:12 -  
[DIR]Lists/2005-07-05 08:12 -  
[ ]In.con.types.xml.gz2004-04-08 01:29 184  
[ ]nth.con.types.xml.gz2004-04-08 01:29 185  
[ ]app.con.types.xml.gz2004-04-08 01:29 186  
[ ]lel.con.types.xml.gz2004-04-08 01:29 186  
[ ]list.ind.types.xml.gz2004-04-08 01:29 186  
[ ]map.con.types.xml.gz2004-04-08 01:29 186  
[ ]rev.con.types.xml.gz2004-04-08 01:29 186  
[ ]incl.con.types.xml.gz2004-04-08 01:29 187  
[ ]head.con.types.xml.gz2004-04-08 01:29 188  
[ ]tail.con.types.xml.gz2004-04-08 01:29 188  
[ ]length.con.types.xml.gz2004-04-08 01:29 191  
[ ]nth_ok.con.types.xml.gz2004-04-08 01:29 192  
[ ]list_rec.con.types.xml.gz2004-04-08 01:29 195  
[ ]flat_map.con.types.xml.gz2004-04-08 01:29 196  
[ ]fold_left.con.types.xml.gz2004-04-08 01:29 197  
[ ]list_prod.con.types.xml.gz2004-04-08 01:29 197  
[ ]list_rect.con.types.xml.gz2004-04-08 01:29 197  
[ ]nth_error.con.types.xml.gz2004-04-08 01:29 197  
[ ]list_power.con.types.xml.gz2004-04-08 01:29 198  
[ ]fold_right.con.types.xml.gz2004-04-08 01:29 199  
[ ]nth_default.con.types.xml.gz2004-04-08 01:29 201  
[ ]rev.con.xml.gz2004-04-08 01:29 277  
[ ]tail.con.xml.gz2004-04-08 01:29 281  
[ ]app.con.xml.gz2004-04-08 01:29 285  
[ ]length.con.xml.gz2004-04-08 01:29 295  
[ ]lel_refl.con.xml.gz2004-04-08 01:29 297  
[ ]lel.con.xml.gz2004-04-08 01:29 301  
[ ]incl.con.xml.gz2004-04-08 01:29 302  
[ ]In.con.xml.gz2004-04-08 01:29 312  
[ ]nth.con.xml.gz2004-04-08 01:29 326  
[ ]head.con.xml.gz2004-04-08 01:29 334  
[ ]nth_default.con.xml.gz2004-04-08 01:29 334  
[ ]nth_ok.con.xml.gz2004-04-08 01:29 337  
[ ]lel_refl.con.body.xml.gz2004-04-08 01:29 354  
[ ]nth_error.con.xml.gz2004-04-08 01:29 366  
[ ]incl_refl.con.xml.gz2004-04-08 01:29 371  
[ ]map.con.xml.gz2004-04-08 01:29 379  
[ ]list.ind.xml.gz2004-04-08 01:29 389  
[ ]fold_right.con.xml.gz2004-04-08 01:29 396  
[ ]fold_left.con.xml.gz2004-04-08 01:29 401  
[ ]lel_trans.con.xml.gz2004-04-08 01:29 402  
[ ]lel_refl.con.types.xml.gz2004-04-08 01:29 403  
[ ]in_nil.con.xml.gz2004-04-08 01:29 406  
[ ]list_rec.con.body.xml.gz2004-04-08 01:29 406  
[ ]list_ind.con.body.xml.gz2004-04-08 01:29 410  
[ ]lel.con.body.xml.gz2004-04-08 01:29 419  
[ ]lel_cons.con.xml.gz2004-04-08 01:29 426  
[ ]in_eq.con.xml.gz2004-04-08 01:29 430  
[ ]incl_refl.con.body.xml.gz2004-04-08 01:29 430  
[ ]rev_involutive.con.xml.gz2004-04-08 01:29 433  
[ ]app_nil_end.con.xml.gz2004-04-08 01:29 436  
[ ]lel_nil.con.xml.gz2004-04-08 01:29 444  
[ ]lel_tail.con.xml.gz2004-04-08 01:29 451  
[ ]rev_unit.con.body.xml.gz2004-04-08 01:29 457  
[ ]lel_cons_cons.con.xml.gz2004-04-08 01:29 458  
[ ]incl_tran.con.xml.gz2004-04-08 01:29 463  
[ ]incl_appr.con.xml.gz2004-04-08 01:29 464  
[ ]incl_appl.con.xml.gz2004-04-08 01:29 468  
[ ]incl.con.body.xml.gz2004-04-08 01:29 470  
[ ]nil_cons.con.xml.gz2004-04-08 01:29 473  
[ ]list_prod.con.xml.gz2004-04-08 01:29 480  
[ ]flat_map.con.xml.gz2004-04-08 01:29 482  
[ ]in_cons.con.xml.gz2004-04-08 01:29 488  
[ ]incl_tl.con.xml.gz2004-04-08 01:29 491  
[ ]distr_rev.con.xml.gz2004-04-08 01:29 496  
[ ]incl_app.con.xml.gz2004-04-08 01:29 500  
[ ]ass_app.con.xml.gz2004-04-08 01:29 503  
[ ]tail.con.body.xml.gz2004-04-08 01:29 506  
[ ]list_power.con.xml.gz2004-04-08 01:29 509  
[ ]app_ass.con.xml.gz2004-04-08 01:29 510  
[ ]in_eq.con.body.xml.gz2004-04-08 01:29 510  
[ ]lel_cons.con.body.xml.gz2004-04-08 01:29 516  
[ ]app_comm_cons.con.body.xml.gz2004-04-08 01:29 522  
[ ]incl_cons.con.xml.gz2004-04-08 01:29 522  
[ ]lel_cons_cons.con.body.xml.gz2004-04-08 01:29 522  
[ ]nth_In.con.xml.gz2004-04-08 01:29 524  
[ ]in_or_app.con.xml.gz2004-04-08 01:29 529  
[ ]in_app_or.con.xml.gz2004-04-08 01:29 533  
[ ]rev_unit.con.xml.gz2004-04-08 01:29 534  
[ ]incl_refl.con.types.xml.gz2004-04-08 01:29 537  
[ ]app_cons_not_nil.con.xml.gz2004-04-08 01:29 540  
[ ]app_eq_nil.con.xml.gz2004-04-08 01:29 542  
[ ]in_nil.con.body.xml.gz2004-04-08 01:29 543  
[ ]app_comm_cons.con.xml.gz2004-04-08 01:29 551  
[ ]in_inv.con.xml.gz2004-04-08 01:29 553  
[ ]in_cons.con.body.xml.gz2004-04-08 01:29 568  
[ ]nth_in_or_default.con.xml.gz2004-04-08 01:29 568  
[ ]lel_tail.con.body.xml.gz2004-04-08 01:29 579  
[ ]incl_tl.con.body.xml.gz2004-04-08 01:29 581  
[ ]list_rec.con.xml.gz2004-04-08 01:29 583  
[ ]list_rect.con.xml.gz2004-04-08 01:29 583  
[ ]list_ind.con.xml.gz2004-04-08 01:29 589  
[ ]lel_trans.con.body.xml.gz2004-04-08 01:29 593  
[ ]head.con.body.xml.gz2004-04-08 01:29 598  
[ ]incl_tran.con.body.xml.gz2004-04-08 01:29 598  
[ ]nth_default.con.body.xml.gz2004-04-08 01:29 613  
[ ]ass_app.con.body.xml.gz2004-04-08 01:29 621  
[ ]rev_ind.con.xml.gz2004-04-08 01:29 622  
[ ]nth_S_cons.con.xml.gz2004-04-08 01:29 627  
[ ]in_nil.con.types.xml.gz2004-04-08 01:29 629  
[ ]In_dec.con.xml.gz2004-04-08 01:29 641  
[ ]in_eq.con.types.xml.gz2004-04-08 01:29 652  
[ ]rev_list_ind.con.xml.gz2004-04-08 01:29 654  
[ ]list_eq_dec.con.xml.gz2004-04-08 01:29 655  
[ ]incl_refl.con.proof_tree.xml.gz2004-04-09 18:52 659  
[ ]app_inj_tail.con.xml.gz2004-04-08 01:29 667  
[ ]in_cons.con.types.xml.gz2004-04-08 01:29 677  
[ ]length.con.body.xml.gz2004-04-08 01:29 682  
[ ]lel_cons.con.types.xml.gz2004-04-08 01:29 683  
[ ]incl_appl.con.body.xml.gz2004-04-08 01:29 684  
[ ]incl_appr.con.body.xml.gz2004-04-08 01:29 686  
[ ]lel_tail.con.types.xml.gz2004-04-08 01:29 688  
[ ]in_map.con.xml.gz2004-04-08 01:29 691  
[ ]nth_S_cons.con.body.xml.gz2004-04-08 01:29 692  
[ ]app.con.body.xml.gz2004-04-08 01:29 706  
[ ]rev.con.body.xml.gz2004-04-08 01:29 706  
[ ]ass_app.con.types.xml.gz2004-04-08 01:29 740  
[ ]app_ass.con.proof_tree.xml.gz2004-04-09 18:52 742  
[ ]app_eq_unit.con.xml.gz2004-04-08 01:29 742  
[ ]lel_cons_cons.con.types.xml.gz2004-04-08 01:29 748  
[ ]In.con.body.xml.gz2004-04-08 01:29 753  
[ ]lel_trans.con.types.xml.gz2004-04-08 01:29 766  
[ ]list_ind.con.types.xml.gz2004-04-08 01:29 773  
[ ]in_prod.con.xml.gz2004-04-08 01:29 775  
[ ]app_comm_cons.con.types.xml.gz2004-04-08 01:29 791  
[ ]rev_unit.con.types.xml.gz2004-04-08 01:29 827  
[ ]nil_cons.con.proof_tree.xml.gz2004-04-09 18:52 830  
[ ]fold_right.con.body.xml.gz2004-04-08 01:29 832  
[ ]fold_left.con.body.xml.gz2004-04-08 01:29 865  
[ ]incl_appr.con.proof_tree.xml.gz2004-04-09 18:52 880  
[ ]incl_appl.con.proof_tree.xml.gz2004-04-09 18:52 881  
[ ]in_prod_aux.con.xml.gz2004-04-08 01:29 883  
[ ]incl_tran.con.proof_tree.xml.gz2004-04-09 18:52 886  
[ ]incl_tl.con.types.xml.gz2004-04-08 01:29 892  
[ ]incl_tran.con.types.xml.gz2004-04-08 01:29 899  
[ ]rev_list_ind.con.body.xml.gz2004-04-08 01:29 899  
[ ]nil_cons.con.body.xml.gz2004-04-08 01:29 903  
[ ]lel_refl.con.proof_tree.xml.gz2004-04-09 18:52 908  
[ ]nth_S_cons.con.types.xml.gz2004-04-08 01:29 909  
[ ]incl_tl.con.proof_tree.xml.gz2004-04-09 18:52 910  
[ ]map.con.body.xml.gz2004-04-08 01:29 920  
[ ]app_nil_end.con.body.xml.gz2004-04-08 01:29 926  
[ ]incl_appr.con.types.xml.gz2004-04-08 01:29 954  
[ ]incl_appl.con.types.xml.gz2004-04-08 01:29 960  
[ ]list_rect.con.body.xml.gz2004-04-08 01:29 961  
[ ]ass_app.con.proof_tree.xml.gz2004-04-09 18:52 967  
[ ]nil_cons.con.types.xml.gz2004-04-08 01:29 969  
[ ]rev_list_ind.con.types.xml.gz2004-04-08 01:29 1.0K 
[ ]in_eq.con.proof_tree.xml.gz2004-04-09 18:52 1.0K 
[ ]incl_app.con.body.xml.gz2004-04-08 01:29 1.0K 
[ ]nth.con.body.xml.gz2004-04-08 01:29 1.0K 
[ ]in_map.con.proof_tree.xml.gz2004-04-09 18:52 1.0K 
[ ]fold_symmetric.con.xml.gz2004-04-08 01:29 1.0K 
[ ]app_comm_cons.con.proof_tree.xml.gz2004-04-09 18:52 1.0K 
[ ]nth_ok.con.body.xml.gz2004-04-08 01:29 1.0K 
[ ]app_nil_end.con.types.xml.gz2004-04-08 01:29 1.0K 
[ ]nth_in_or_default.con.types.xml.gz2004-04-08 01:29 1.0K 
[ ]In_dec.con.types.xml.gz2004-04-08 01:29 1.1K 
[ ]flat_map.con.body.xml.gz2004-04-08 01:29 1.1K 
[ ]nth_error.con.body.xml.gz2004-04-08 01:29 1.1K 
[ ]in_prod.con.proof_tree.xml.gz2004-04-09 18:52 1.1K 
[ ]in_cons.con.proof_tree.xml.gz2004-04-09 18:52 1.1K 
[ ]rev_ind.con.body.xml.gz2004-04-08 01:29 1.1K 
[ ]rev_unit.con.proof_tree.xml.gz2004-04-09 18:52 1.1K 
[ ]rev_involutive.con.body.xml.gz2004-04-08 01:29 1.2K 
[ ]app_ass.con.body.xml.gz2004-04-08 01:29 1.2K 
[ ]in_prod_aux.con.proof_tree.xml.gz2004-04-09 18:52 1.2K 
[ ]in_nil.con.proof_tree.xml.gz2004-04-09 18:52 1.3K 
[ ]nth_in_or_default.con.proof_tree.xml.gz2004-04-09 18:52 1.3K 
[ ]rev_involutive.con.types.xml.gz2004-04-08 01:29 1.3K 
[ ]lel_nil.con.body.xml.gz2004-04-08 01:29 1.3K 
[ ]rev_ind.con.types.xml.gz2004-04-08 01:29 1.3K 
[ ]list_prod.con.body.xml.gz2004-04-08 01:29 1.3K 
[ ]incl_app.con.types.xml.gz2004-04-08 01:29 1.4K 
[ ]lel_nil.con.types.xml.gz2004-04-08 01:29 1.5K 
[ ]incl_cons.con.body.xml.gz2004-04-08 01:29 1.5K 
[ ]lel_cons.con.proof_tree.xml.gz2004-04-09 18:52 1.5K 
[ ]app_ass.con.types.xml.gz2004-04-08 01:29 1.5K 
[ ]nth_S_cons.con.proof_tree.xml.gz2004-04-09 18:52 1.5K 
[ ]lel_cons_cons.con.proof_tree.xml.gz2004-04-09 18:52 1.6K 
[ ]lel_tail.con.proof_tree.xml.gz2004-04-09 18:52 1.6K 
[ ]incl_cons.con.types.xml.gz2004-04-08 01:29 1.6K 
[ ]distr_rev.con.body.xml.gz2004-04-08 01:29 1.6K 
[ ]app_cons_not_nil.con.body.xml.gz2004-04-08 01:29 1.6K 
[ ]lel_trans.con.proof_tree.xml.gz2004-04-09 18:52 1.7K 
[ ]list_power.con.body.xml.gz2004-04-08 01:29 1.8K 
[ ]app_nil_end.con.proof_tree.xml.gz2004-04-09 18:52 1.8K 
[ ]app_cons_not_nil.con.types.xml.gz2004-04-08 01:29 1.9K 
[ ]rev_involutive.con.proof_tree.xml.gz2004-04-09 18:52 1.9K 
[ ]in_inv.con.body.xml.gz2004-04-08 01:29 2.0K 
[ ]rev_list_ind.con.proof_tree.xml.gz2004-04-09 18:52 2.2K 
[ ]in_app_or.con.body.xml.gz2004-04-08 01:29 2.3K 
[ ]in_map.con.body.xml.gz2004-04-08 01:29 2.3K 
[ ]lel_nil.con.proof_tree.xml.gz2004-04-09 18:52 2.3K 
[ ]distr_rev.con.types.xml.gz2004-04-08 01:29 2.3K 
[ ]app_cons_not_nil.con.proof_tree.xml.gz2004-04-09 18:52 2.4K 
[ ]in_or_app.con.body.xml.gz2004-04-08 01:29 2.4K 
[ ]incl_app.con.proof_tree.xml.gz2004-04-09 18:52 2.4K 
[ ]rev_ind.con.proof_tree.xml.gz2004-04-09 18:52 2.8K 
[ ]INDEX2005-07-05 08:11 2.9K 
[ ]app_eq_nil.con.body.xml.gz2004-04-08 01:29 2.9K 
[ ]list_eq_dec.con.types.xml.gz2004-04-08 01:29 2.9K 
[ ]in_inv.con.types.xml.gz2004-04-08 01:29 3.0K 
[ ]in_or_app.con.types.xml.gz2004-04-08 01:29 3.0K 
[ ]in_app_or.con.types.xml.gz2004-04-08 01:29 3.1K 
[ ]In_dec.con.body.xml.gz2004-04-08 01:29 3.2K 
[ ]nth_in_or_default.con.body.xml.gz2004-04-08 01:29 3.3K 
[ ]in_prod_aux.con.body.xml.gz2004-04-08 01:29 3.3K 
[ ]in_map.con.types.xml.gz2004-04-08 01:29 3.5K 
[ ]distr_rev.con.proof_tree.xml.gz2004-04-09 18:52 3.6K 
[ ]incl_cons.con.proof_tree.xml.gz2004-04-09 18:52 3.7K 
[ ]app_eq_nil.con.proof_tree.xml.gz2004-04-09 18:52 4.1K 
[ ]in_prod.con.body.xml.gz2004-04-08 01:29 4.1K 
[ ]In_dec.con.proof_tree.xml.gz2004-04-09 18:52 4.2K 
[ ]in_app_or.con.proof_tree.xml.gz2004-04-09 18:52 4.3K 
[ ]app_eq_nil.con.types.xml.gz2004-04-08 01:29 4.5K 
[ ]in_inv.con.proof_tree.xml.gz2004-04-09 18:52 4.5K 
[ ]fold_symmetric.con.proof_tree.xml.gz2004-04-09 18:52 4.5K 
[ ]nth_In.con.body.xml.gz2004-04-08 01:29 4.9K 
[ ]in_or_app.con.proof_tree.xml.gz2004-04-09 18:52 5.1K 
[ ]fold_symmetric.con.body.xml.gz2004-04-08 01:29 5.2K 
[ ]list_eq_dec.con.proof_tree.xml.gz2004-04-09 18:52 5.6K 
[ ]in_prod_aux.con.types.xml.gz2004-04-08 01:29 5.9K 
[ ]fold_symmetric.con.types.xml.gz2004-04-08 01:29 5.9K 
[ ]in_prod.con.types.xml.gz2004-04-08 01:29 6.1K 
[ ]nth_In.con.types.xml.gz2004-04-08 01:29 6.2K 
[ ]list_eq_dec.con.body.xml.gz2004-04-08 01:29 6.5K 
[ ]app_eq_unit.con.body.xml.gz2004-04-08 01:29 6.9K 
[ ]app_inj_tail.con.body.xml.gz2004-04-08 01:29 8.6K 
[ ]app_eq_unit.con.proof_tree.xml.gz2004-04-09 18:52 12K 
[ ]nth_In.con.proof_tree.xml.gz2004-04-09 18:52 12K 
[ ]app_inj_tail.con.proof_tree.xml.gz2004-04-09 18:52 12K 
[ ]app_inj_tail.con.types.xml.gz2004-04-08 01:29 13K 
[ ]app_eq_unit.con.types.xml.gz2004-04-08 01:29 14K 
Apache/2.4.62 (Debian) Server at mowgli.cs.unibo.it Port 80