Index of /xml/Coq/Lists/TheoryList

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[DIR]Lists/2005-07-05 08:12 -  
[ ]InR.ind.types.xml.gz2004-04-08 01:31 189  
[ ]mem.con.types.xml.gz2004-04-08 01:31 190  
[ ]find.con.types.xml.gz2004-04-08 01:31 191  
[ ]AllS.ind.types.xml.gz2004-04-08 01:31 192  
[ ]Isnil.con.types.xml.gz2004-04-08 01:31 193  
[ ]assoc.con.types.xml.gz2004-04-08 01:31 193  
[ ]Length.con.types.xml.gz2004-04-08 01:31 195  
[ ]In_spec.ind.types.xml.gz2004-04-08 01:31 197  
[ ]InR_inv.con.types.xml.gz2004-04-08 01:31 198  
[ ]index_p.con.types.xml.gz2004-04-08 01:31 198  
[ ]nth_spec.ind.types.xml.gz2004-04-08 01:31 199  
[ ]Length_l.con.types.xml.gz2004-04-08 01:31 200  
[ ]Nth_func.con.types.xml.gz2004-04-08 01:31 200  
[ ]try_find.con.types.xml.gz2004-04-08 01:31 200  
[ ]AllS_assoc.ind.types.xml.gz2004-04-08 01:31 203  
[ ]fst_nth_spec.ind.types.xml.gz2004-04-08 01:31 206  
[ ]Isnil_nil.con.xml.gz2004-04-08 01:31 354  
[ ]Isnil.con.xml.gz2004-04-08 01:31 356  
[ ]InR_inv.con.xml.gz2004-04-08 01:31 375  
[ ]Length_l.con.xml.gz2004-04-08 01:31 375  
[ ]mem.con.xml.gz2004-04-08 01:31 378  
[ ]Isnil_nil.con.body.xml.gz2004-04-08 01:31 399  
[ ]find.con.xml.gz2004-04-08 01:31 410  
[ ]Nth_func.con.xml.gz2004-04-08 01:31 416  
[ ]try_find.con.xml.gz2004-04-08 01:31 425  
[ ]index_p.con.xml.gz2004-04-08 01:31 432  
[ ]Length.con.body.xml.gz2004-04-08 01:31 458  
[ ]Isnil_dec.con.types.xml.gz2004-04-08 01:31 460  
[ ]InR_INV.con.xml.gz2004-04-08 01:31 464  
[ ]assoc.con.xml.gz2004-04-08 01:31 464  
[ ]Isnil_nil.con.types.xml.gz2004-04-08 01:31 467  
[ ]Isnil.con.body.xml.gz2004-04-08 01:31 486  
[ ]Isnil_dec.con.xml.gz2004-04-08 01:31 496  
[ ]Uncons.con.types.xml.gz2004-04-08 01:31 496  
[ ]fst_nth_nth.con.xml.gz2004-04-08 01:31 530  
[ ]In_In_spec.con.xml.gz2004-04-08 01:31 539  
[ ]not_Isnil_cons.con.xml.gz2004-04-08 01:31 541  
[ ]nth_lt_O.con.xml.gz2004-04-08 01:31 549  
[ ]Length.con.xml.gz2004-04-08 01:31 575  
[ ]InR_app_or.con.xml.gz2004-04-08 01:31 584  
[ ]nth_le_length.con.xml.gz2004-04-08 01:31 585  
[ ]InR_cons_inv.con.xml.gz2004-04-08 01:31 596  
[ ]InR_or_app.con.xml.gz2004-04-08 01:31 596  
[ ]Index.con.types.xml.gz2004-04-08 01:31 596  
[ ]InR_cons_inv.con.body.xml.gz2004-04-08 01:31 621  
[ ]Length_l_pf.con.xml.gz2004-04-08 01:31 639  
[ ]Find.con.xml.gz2004-04-08 01:31 647  
[ ]Mem.con.xml.gz2004-04-08 01:31 648  
[ ]Assoc.con.xml.gz2004-04-08 01:31 650  
[ ]Item.con.xml.gz2004-04-08 01:31 684  
[ ]Index.con.xml.gz2004-04-08 01:31 701  
[ ]InR_inv.con.body.xml.gz2004-04-08 01:31 704  
[ ]Nth.con.xml.gz2004-04-08 01:31 729  
[ ]Hd.con.types.xml.gz2004-04-08 01:31 740  
[ ]Try_find.con.xml.gz2004-04-08 01:31 740  
[ ]InR.ind.xml.gz2004-04-08 01:31 754  
[ ]InR_cons_inv.con.types.xml.gz2004-04-08 01:31 757  
[ ]Hd.con.xml.gz2004-04-08 01:31 779  
[ ]Uncons.con.xml.gz2004-04-08 01:31 787  
[ ]In_spec.ind.xml.gz2004-04-08 01:31 795  
[ ]Index_p.con.xml.gz2004-04-08 01:31 795  
[ ]Tl.con.xml.gz2004-04-08 01:31 813  
[ ]AllS.ind.xml.gz2004-04-08 01:31 814  
[ ]Assoc.con.types.xml.gz2004-04-08 01:31 816  
[ ]In_spec_ind.con.xml.gz2004-04-08 01:31 842  
[ ]Length_l.con.body.xml.gz2004-04-08 01:31 847  
[ ]AllS_ind.con.xml.gz2004-04-08 01:31 861  
[ ]nth_spec.ind.xml.gz2004-04-08 01:31 862  
[ ]InR_or_app.con.proof_tree.xml.gz2004-04-09 18:52 868  
[ ]InR_ind.con.xml.gz2004-04-08 01:31 881  
[ ]Isnil_nil.con.proof_tree.xml.gz2004-04-09 18:52 884  
[ ]In_spec_ind.con.types.xml.gz2004-04-08 01:31 916  
[ ]InR_INV.con.body.xml.gz2004-04-08 01:31 963  
[ ]fst_nth_spec.ind.xml.gz2004-04-08 01:31 964  
[ ]Mem.con.proof_tree.xml.gz2004-04-09 18:52 965  
[ ]Length_l_pf.con.types.xml.gz2004-04-08 01:31 1.0K 
[ ]find.con.body.xml.gz2004-04-08 01:31 1.0K 
[ ]InR_INV.con.proof_tree.xml.gz2004-04-09 18:52 1.0K 
[ ]AllS_assoc.ind.xml.gz2004-04-08 01:31 1.0K 
[ ]fst_nth_nth.con.proof_tree.xml.gz2004-04-09 18:52 1.0K 
[ ]nth_lt_O.con.body.xml.gz2004-04-08 01:31 1.0K 
[ ]nth_spec_ind.con.xml.gz2004-04-08 01:31 1.0K 
[ ]In_spec_ind.con.body.xml.gz2004-04-08 01:31 1.0K 
[ ]nth_lt_O.con.proof_tree.xml.gz2004-04-09 18:52 1.0K 
[ ]Isnil_dec.con.body.xml.gz2004-04-08 01:31 1.0K 
[ ]AllS_assoc_ind.con.xml.gz2004-04-08 01:31 1.1K 
[ ]InR_INV.con.types.xml.gz2004-04-08 01:31 1.1K 
[ ]nth_le_length.con.proof_tree.xml.gz2004-04-09 18:52 1.1K 
[ ]not_Isnil_cons.con.body.xml.gz2004-04-08 01:31 1.1K 
[ ]Length.con.proof_tree.xml.gz2004-04-09 18:52 1.1K 
[ ]fst_nth_spec_ind.con.xml.gz2004-04-08 01:31 1.1K 
[ ]fst_nth_nth.con.body.xml.gz2004-04-08 01:31 1.1K 
[ ]nth_lt_O.con.types.xml.gz2004-04-08 01:31 1.1K 
[ ]not_Isnil_cons.con.types.xml.gz2004-04-08 01:31 1.2K 
[ ]InR_cons_inv.con.proof_tree.xml.gz2004-04-09 18:52 1.2K 
[ ]mem.con.body.xml.gz2004-04-08 01:31 1.2K 
[ ]index_p.con.body.xml.gz2004-04-08 01:31 1.2K 
[ ]nth_le_length.con.body.xml.gz2004-04-08 01:31 1.2K 
[ ]fst_nth_nth.con.types.xml.gz2004-04-08 01:31 1.3K 
[ ]Nth_func.con.body.xml.gz2004-04-08 01:31 1.3K 
[ ]AllS_ind.con.types.xml.gz2004-04-08 01:31 1.3K 
[ ]Item.con.types.xml.gz2004-04-08 01:31 1.3K 
[ ]Tl.con.types.xml.gz2004-04-08 01:31 1.3K 
[ ]Find.con.types.xml.gz2004-04-08 01:31 1.3K 
[ ]InR_ind.con.types.xml.gz2004-04-08 01:31 1.4K 
[ ]AllS_ind.con.body.xml.gz2004-04-08 01:31 1.4K 
[ ]assoc.con.body.xml.gz2004-04-08 01:31 1.4K 
[ ]InR_ind.con.body.xml.gz2004-04-08 01:31 1.5K 
[ ]nth_le_length.con.types.xml.gz2004-04-08 01:31 1.5K 
[ ]Isnil_dec.con.proof_tree.xml.gz2004-04-09 18:52 1.6K 
[ ]Mem.con.types.xml.gz2004-04-08 01:31 1.6K 
[ ]try_find.con.body.xml.gz2004-04-08 01:31 1.6K 
[ ]not_Isnil_cons.con.proof_tree.xml.gz2004-04-09 18:52 1.6K 
[ ]InR_or_app.con.body.xml.gz2004-04-08 01:31 1.7K 
[ ]AllS_assoc_ind.con.types.xml.gz2004-04-08 01:31 1.7K 
[ ]AllS_assoc_ind.con.body.xml.gz2004-04-08 01:31 1.8K 
[ ]nth_spec_ind.con.body.xml.gz2004-04-08 01:31 1.8K 
[ ]INDEX2005-07-05 08:11 1.9K 
[ ]Index_p.con.types.xml.gz2004-04-08 01:31 1.9K 
[ ]nth_spec_ind.con.types.xml.gz2004-04-08 01:31 1.9K 
[ ]fst_nth_spec_ind.con.body.xml.gz2004-04-08 01:31 1.9K 
[ ]InR_or_app.con.types.xml.gz2004-04-08 01:31 2.0K 
[ ]fst_nth_spec_ind.con.types.xml.gz2004-04-08 01:31 2.1K 
[ ]Hd.con.body.xml.gz2004-04-08 01:31 2.1K 
[ ]Uncons.con.body.xml.gz2004-04-08 01:31 2.2K 
[ ]InR_app_or.con.body.xml.gz2004-04-08 01:31 2.3K 
[ ]Try_find.con.types.xml.gz2004-04-08 01:31 2.5K 
[ ]Index.con.body.xml.gz2004-04-08 01:31 2.6K 
[ ]Tl.con.body.xml.gz2004-04-08 01:31 2.6K 
[ ]Length_l_pf.con.body.xml.gz2004-04-08 01:31 2.6K 
[ ]InR_app_or.con.types.xml.gz2004-04-08 01:31 2.8K 
[ ]In_In_spec.con.body.xml.gz2004-04-08 01:31 2.9K 
[ ]Nth.con.types.xml.gz2004-04-08 01:31 2.9K 
[ ]In_In_spec.con.types.xml.gz2004-04-08 01:31 3.2K 
[ ]Item.con.body.xml.gz2004-04-08 01:31 3.2K 
[ ]Index.con.proof_tree.xml.gz2004-04-09 18:52 3.4K 
[ ]Assoc.con.proof_tree.xml.gz2004-04-09 18:52 3.8K 
[ ]In_In_spec.con.proof_tree.xml.gz2004-04-09 18:52 3.9K 
[ ]Hd.con.proof_tree.xml.gz2004-04-09 18:52 4.0K 
[ ]Uncons.con.proof_tree.xml.gz2004-04-09 18:52 4.0K 
[ ]Assoc.con.body.xml.gz2004-04-08 01:31 4.1K 
[ ]InR_app_or.con.proof_tree.xml.gz2004-04-09 18:52 4.2K 
[ ]Mem.con.body.xml.gz2004-04-08 01:31 4.5K 
[ ]Tl.con.proof_tree.xml.gz2004-04-09 18:52 4.8K 
[ ]Length_l_pf.con.proof_tree.xml.gz2004-04-09 18:52 4.9K 
[ ]Find.con.body.xml.gz2004-04-08 01:31 5.1K 
[ ]Item.con.proof_tree.xml.gz2004-04-09 18:52 5.1K 
[ ]Find.con.proof_tree.xml.gz2004-04-09 18:52 5.3K 
[ ]Index_p.con.body.xml.gz2004-04-08 01:31 7.0K 
[ ]Try_find.con.proof_tree.xml.gz2004-04-09 18:52 7.3K 
[ ]Index_p.con.proof_tree.xml.gz2004-04-09 18:52 7.5K 
[ ]Try_find.con.body.xml.gz2004-04-08 01:31 7.6K 
[ ]Nth.con.body.xml.gz2004-04-08 01:31 8.2K 
[ ]Nth.con.proof_tree.xml.gz2004-04-09 18:52 9.8K 
Apache/2.4.61 (Debian) Server at mowgli.cs.unibo.it Port 80