Index of /xml/Coq/Lists/ListSet

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]INDEX2005-07-05 08:11 2.2K 
[ ]empty_set.con.body.xml.gz2004-04-08 01:31 334  
[ ]empty_set.con.types.xml.gz2004-04-08 01:31 199  
[ ]empty_set.con.xml.gz2004-04-08 01:31 251  
[DIR]first_definitions/2005-07-05 08:12 -  
[DIR]other_definitions/2005-07-05 08:12 -  
[ ]set.con.body.xml.gz2004-04-08 01:31 307  
[ ]set.con.types.xml.gz2004-04-08 01:31 188  
[ ]set.con.xml.gz2004-04-08 01:31 231  
[ ]set_In.con.body.xml.gz2004-04-08 01:31 305  
[ ]set_In.con.types.xml.gz2004-04-08 01:31 194  
[ ]set_In.con.xml.gz2004-04-08 01:31 326  
[ ]set_In_dec.con.body.xml.gz2004-04-08 01:31 3.8K 
[ ]set_In_dec.con.proof_tree.xml.gz2004-04-09 18:52 6.7K 
[ ]set_In_dec.con.types.xml.gz2004-04-08 01:31 1.5K 
[ ]set_In_dec.con.xml.gz2004-04-08 01:31 505  
[ ]set_add.con.body.xml.gz2004-04-08 01:31 1.3K 
[ ]set_add.con.types.xml.gz2004-04-08 01:31 196  
[ ]set_add.con.xml.gz2004-04-08 01:31 326  
[ ]set_add_elim.con.body.xml.gz2004-04-08 01:31 7.4K 
[ ]set_add_elim.con.proof_tree.xml.gz2004-04-09 18:52 10K 
[ ]set_add_elim.con.types.xml.gz2004-04-08 01:31 11K 
[ ]set_add_elim.con.xml.gz2004-04-08 01:31 578  
[ ]set_add_elim2.con.body.xml.gz2004-04-08 01:31 1.1K 
[ ]set_add_elim2.con.proof_tree.xml.gz2004-04-09 18:52 1.7K 
[ ]set_add_elim2.con.types.xml.gz2004-04-08 01:31 1.1K 
[ ]set_add_elim2.con.xml.gz2004-04-08 01:31 582  
[ ]set_add_intro.con.body.xml.gz2004-04-08 01:31 891  
[ ]set_add_intro.con.proof_tree.xml.gz2004-04-09 18:52 1.0K 
[ ]set_add_intro.con.types.xml.gz2004-04-08 01:31 895  
[ ]set_add_intro.con.xml.gz2004-04-08 01:31 572  
[ ]set_add_intro1.con.body.xml.gz2004-04-08 01:31 3.8K 
[ ]set_add_intro1.con.proof_tree.xml.gz2004-04-09 18:52 5.7K 
[ ]set_add_intro1.con.types.xml.gz2004-04-08 01:31 8.0K 
[ ]set_add_intro1.con.xml.gz2004-04-08 01:31 493  
[ ]set_add_intro2.con.body.xml.gz2004-04-08 01:31 2.8K 
[ ]set_add_intro2.con.proof_tree.xml.gz2004-04-09 18:52 5.8K 
[ ]set_add_intro2.con.types.xml.gz2004-04-08 01:31 4.1K 
[ ]set_add_intro2.con.xml.gz2004-04-08 01:31 533  
[ ]set_add_not_empty.con.body.xml.gz2004-04-08 01:31 3.1K 
[ ]set_add_not_empty.con.proof_tree.xml.gz2004-04-09 18:52 4.6K 
[ ]set_add_not_empty.con.types.xml.gz2004-04-08 01:31 4.7K 
[ ]set_add_not_empty.con.xml.gz2004-04-08 01:31 507  
[ ]set_diff.con.body.xml.gz2004-04-08 01:31 1.0K 
[ ]set_diff.con.types.xml.gz2004-04-08 01:31 198  
[ ]set_diff.con.xml.gz2004-04-08 01:31 319  
[ ]set_diff_elim1.con.body.xml.gz2004-04-08 01:31 2.5K 
[ ]set_diff_elim1.con.proof_tree.xml.gz2004-04-09 18:52 4.7K 
[ ]set_diff_elim1.con.types.xml.gz2004-04-08 01:31 3.4K 
[ ]set_diff_elim1.con.xml.gz2004-04-08 01:31 503  
[ ]set_diff_elim2.con.body.xml.gz2004-04-08 01:31 2.0K 
[ ]set_diff_elim2.con.proof_tree.xml.gz2004-04-09 18:52 4.7K 
[ ]set_diff_elim2.con.types.xml.gz2004-04-08 01:31 2.3K 
[ ]set_diff_elim2.con.xml.gz2004-04-08 01:31 523  
[ ]set_diff_intro.con.body.xml.gz2004-04-08 01:31 3.6K 
[ ]set_diff_intro.con.proof_tree.xml.gz2004-04-09 18:52 5.7K 
[ ]set_diff_intro.con.types.xml.gz2004-04-08 01:31 5.4K 
[ ]set_diff_intro.con.xml.gz2004-04-08 01:31 553  
[ ]set_diff_trivial.con.body.xml.gz2004-04-08 01:31 571  
[ ]set_diff_trivial.con.proof_tree.xml.gz2004-04-09 18:52 1.9K 
[ ]set_diff_trivial.con.types.xml.gz2004-04-08 01:31 707  
[ ]set_diff_trivial.con.xml.gz2004-04-08 01:31 474  
[ ]set_fold_left.con.body.xml.gz2004-04-08 01:31 494  
[ ]set_fold_left.con.types.xml.gz2004-04-08 01:31 206  
[ ]set_fold_left.con.xml.gz2004-04-08 01:31 422  
[ ]set_fold_right.con.body.xml.gz2004-04-08 01:31 604  
[ ]set_fold_right.con.types.xml.gz2004-04-08 01:31 208  
[ ]set_fold_right.con.xml.gz2004-04-08 01:31 424  
[ ]set_inter.con.body.xml.gz2004-04-08 01:31 1.1K 
[ ]set_inter.con.types.xml.gz2004-04-08 01:31 199  
[ ]set_inter.con.xml.gz2004-04-08 01:31 320  
[ ]set_inter_elim.con.body.xml.gz2004-04-08 01:31 687  
[ ]set_inter_elim.con.proof_tree.xml.gz2004-04-09 18:52 1.2K 
[ ]set_inter_elim.con.types.xml.gz2004-04-08 01:31 716  
[ ]set_inter_elim.con.xml.gz2004-04-08 01:31 562  
[ ]set_inter_elim1.con.body.xml.gz2004-04-08 01:31 2.7K 
[ ]set_inter_elim1.con.proof_tree.xml.gz2004-04-09 18:52 6.5K 
[ ]set_inter_elim1.con.types.xml.gz2004-04-08 01:31 4.3K 
[ ]set_inter_elim1.con.xml.gz2004-04-08 01:31 505  
[ ]set_inter_elim2.con.body.xml.gz2004-04-08 01:31 2.5K 
[ ]set_inter_elim2.con.proof_tree.xml.gz2004-04-09 18:52 6.1K 
[ ]set_inter_elim2.con.types.xml.gz2004-04-08 01:31 3.6K 
[ ]set_inter_elim2.con.xml.gz2004-04-08 01:31 505  
[ ]set_inter_intro.con.body.xml.gz2004-04-08 01:31 4.2K 
[ ]set_inter_intro.con.proof_tree.xml.gz2004-04-09 18:52 7.2K 
[ ]set_inter_intro.con.types.xml.gz2004-04-08 01:31 6.3K 
[ ]set_inter_intro.con.xml.gz2004-04-08 01:31 525  
[ ]set_map.con.body.xml.gz2004-04-08 01:31 465  
[ ]set_map.con.types.xml.gz2004-04-08 01:31 196  
[ ]set_map.con.xml.gz2004-04-08 01:31 404  
[ ]set_mem.con.body.xml.gz2004-04-08 01:31 1.2K 
[ ]set_mem.con.types.xml.gz2004-04-08 01:31 196  
[ ]set_mem.con.xml.gz2004-04-08 01:31 354  
[ ]set_mem_complete1.con.body.xml.gz2004-04-08 01:31 3.2K 
[ ]set_mem_complete1.con.proof_tree.xml.gz2004-04-09 18:52 6.6K 
[ ]set_mem_complete1.con.types.xml.gz2004-04-08 01:31 7.3K 
[ ]set_mem_complete1.con.xml.gz2004-04-08 01:31 571  
[ ]set_mem_complete2.con.body.xml.gz2004-04-08 01:31 3.5K 
[ ]set_mem_complete2.con.proof_tree.xml.gz2004-04-09 18:52 5.7K 
[ ]set_mem_complete2.con.types.xml.gz2004-04-08 01:31 6.0K 
[ ]set_mem_complete2.con.xml.gz2004-04-08 01:31 562  
[ ]set_mem_correct1.con.body.xml.gz2004-04-08 01:31 2.8K 
[ ]set_mem_correct1.con.proof_tree.xml.gz2004-04-09 18:52 4.9K 
[ ]set_mem_correct1.con.types.xml.gz2004-04-08 01:31 4.7K 
[ ]set_mem_correct1.con.xml.gz2004-04-08 01:31 546  
[ ]set_mem_correct2.con.body.xml.gz2004-04-08 01:31 3.1K 
[ ]set_mem_correct2.con.proof_tree.xml.gz2004-04-09 18:52 5.6K 
[ ]set_mem_correct2.con.types.xml.gz2004-04-08 01:31 4.9K 
[ ]set_mem_correct2.con.xml.gz2004-04-08 01:31 545  
[ ]set_mem_ind.con.body.xml.gz2004-04-08 01:31 2.9K 
[ ]set_mem_ind.con.proof_tree.xml.gz2004-04-09 18:52 6.7K 
[ ]set_mem_ind.con.types.xml.gz2004-04-08 01:31 5.6K 
[ ]set_mem_ind.con.xml.gz2004-04-08 01:31 814  
[ ]set_mem_ind2.con.body.xml.gz2004-04-08 01:31 3.5K 
[ ]set_mem_ind2.con.proof_tree.xml.gz2004-04-09 18:52 9.6K 
[ ]set_mem_ind2.con.types.xml.gz2004-04-08 01:31 7.4K 
[ ]set_mem_ind2.con.xml.gz2004-04-08 01:31 860  
[ ]set_power.con.body.xml.gz2004-04-08 01:31 316  
[ ]set_power.con.types.xml.gz2004-04-08 01:31 199  
[ ]set_power.con.xml.gz2004-04-08 01:31 484  
[ ]set_prod.con.body.xml.gz2004-04-08 01:31 313  
[ ]set_prod.con.types.xml.gz2004-04-08 01:31 197  
[ ]set_prod.con.xml.gz2004-04-08 01:31 452  
[ ]set_remove.con.body.xml.gz2004-04-08 01:31 1.2K 
[ ]set_remove.con.types.xml.gz2004-04-08 01:31 201  
[ ]set_remove.con.xml.gz2004-04-08 01:31 330  
[ ]set_union.con.body.xml.gz2004-04-08 01:31 827  
[ ]set_union.con.types.xml.gz2004-04-08 01:31 198  
[ ]set_union.con.xml.gz2004-04-08 01:31 320  
[ ]set_union_elim.con.body.xml.gz2004-04-08 01:31 2.9K 
[ ]set_union_elim.con.proof_tree.xml.gz2004-04-09 18:52 3.9K 
[ ]set_union_elim.con.types.xml.gz2004-04-08 01:31 3.9K 
[ ]set_union_elim.con.xml.gz2004-04-08 01:31 567  
[ ]set_union_emptyL.con.body.xml.gz2004-04-08 01:31 836  
[ ]set_union_emptyL.con.proof_tree.xml.gz2004-04-09 18:52 1.2K 
[ ]set_union_emptyL.con.types.xml.gz2004-04-08 01:31 846  
[ ]set_union_emptyL.con.xml.gz2004-04-08 01:31 488  
[ ]set_union_emptyR.con.body.xml.gz2004-04-08 01:31 766  
[ ]set_union_emptyR.con.proof_tree.xml.gz2004-04-09 18:52 1.2K 
[ ]set_union_emptyR.con.types.xml.gz2004-04-08 01:31 830  
[ ]set_union_emptyR.con.xml.gz2004-04-08 01:31 493  
[ ]set_union_intro.con.body.xml.gz2004-04-08 01:31 861  
[ ]set_union_intro.con.proof_tree.xml.gz2004-04-09 18:52 1.3K 
[ ]set_union_intro.con.types.xml.gz2004-04-08 01:31 881  
[ ]set_union_intro.con.xml.gz2004-04-08 01:31 562  
[ ]set_union_intro1.con.body.xml.gz2004-04-08 01:31 1.0K 
[ ]set_union_intro1.con.proof_tree.xml.gz2004-04-09 18:52 2.3K 
[ ]set_union_intro1.con.types.xml.gz2004-04-08 01:31 1.3K 
[ ]set_union_intro1.con.xml.gz2004-04-08 01:31 498  
[ ]set_union_intro2.con.body.xml.gz2004-04-08 01:31 1.5K 
[ ]set_union_intro2.con.proof_tree.xml.gz2004-04-09 18:52 3.3K 
[ ]set_union_intro2.con.types.xml.gz2004-04-08 01:31 2.2K 
[ ]set_union_intro2.con.xml.gz2004-04-08 01:31 493  
Apache/2.4.61 (Debian) Server at mowgli.cs.unibo.it Port 80