Index of /xml/Coq/Sorting/Heap

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]invert_heap.con.proof_tree.xml.gz2004-04-09 18:52 16K 
[ ]heap_to_list.con.proof_tree.xml.gz2004-04-09 18:52 13K 
[ ]insert.con.proof_tree.xml.gz2004-04-09 18:52 11K 
[ ]invert_heap.con.types.xml.gz2004-04-08 01:49 8.7K 
[ ]list_to_heap.con.proof_tree.xml.gz2004-04-09 18:52 8.1K 
[ ]invert_heap.con.body.xml.gz2004-04-08 01:49 6.4K 
[ ]is_heap_rec.con.proof_tree.xml.gz2004-04-09 18:52 6.2K 
[ ]treesort.con.proof_tree.xml.gz2004-04-09 18:52 6.2K 
[ ]heap_to_list.con.body.xml.gz2004-04-08 01:49 6.1K 
[ ]heap_to_list.con.types.xml.gz2004-04-08 01:49 4.3K 
[ ]low_trans.con.proof_tree.xml.gz2004-04-09 18:52 4.2K 
[ ]insert.con.body.xml.gz2004-04-08 01:49 4.1K 
[ ]insert.con.types.xml.gz2004-04-08 01:49 3.2K 
[ ]list_to_heap.con.body.xml.gz2004-04-08 01:49 3.0K 
[ ]treesort.con.body.xml.gz2004-04-08 01:49 2.6K 
[ ]leA_Tree_Node.con.proof_tree.xml.gz2004-04-09 18:52 2.4K 
[ ]is_heap_rec.con.body.xml.gz2004-04-08 01:49 2.3K 
[ ]list_to_heap.con.types.xml.gz2004-04-08 01:49 2.1K 
[ ]leA_Tree_Leaf.con.proof_tree.xml.gz2004-04-09 18:52 2.0K 
[ ]low_trans.con.types.xml.gz2004-04-08 01:49 1.5K 
[ ]insert_spec_ind.con.types.xml.gz2004-04-08 01:49 1.5K 
[ ]INDEX2005-07-05 08:11 1.5K 
[ ]is_heap_ind.con.body.xml.gz2004-04-08 01:49 1.4K 
[ ]flat_spec_ind.con.types.xml.gz2004-04-08 01:49 1.4K 
[ ]flat_spec_rect.con.body.xml.gz2004-04-08 01:49 1.3K 
[ ]is_heap_ind.con.types.xml.gz2004-04-08 01:49 1.3K 
[ ]low_trans.con.body.xml.gz2004-04-08 01:49 1.3K 
[ ]insert_spec_rect.con.body.xml.gz2004-04-08 01:49 1.2K 
[ ]build_heap_ind.con.types.xml.gz2004-04-08 01:49 1.2K 
[ ]flat_spec_rec.con.xml.gz2004-04-08 01:49 1.1K 
[ ]flat_spec_ind.con.xml.gz2004-04-08 01:49 1.1K 
[ ]flat_spec_rect.con.xml.gz2004-04-08 01:49 1.1K 
[ ]insert_spec_ind.con.xml.gz2004-04-08 01:49 1.1K 
[ ]insert_spec_rec.con.xml.gz2004-04-08 01:49 1.1K 
[ ]insert_spec_rect.con.xml.gz2004-04-08 01:49 1.1K 
[ ]build_heap_rect.con.body.xml.gz2004-04-08 01:49 1.1K 
[ ]Tree_rect.con.body.xml.gz2004-04-08 01:49 1.0K 
[ ]flat_spec.ind.xml.gz2004-04-08 01:49 1.0K 
[ ]insert_spec.ind.xml.gz2004-04-08 01:49 949  
[ ]build_heap_ind.con.xml.gz2004-04-08 01:49 943  
[ ]build_heap_rect.con.xml.gz2004-04-08 01:49 941  
[ ]build_heap_rec.con.xml.gz2004-04-08 01:49 941  
[ ]contents.con.body.xml.gz2004-04-08 01:49 933  
[ ]Tree_ind.con.types.xml.gz2004-04-08 01:49 870  
[ ]build_heap.ind.xml.gz2004-04-08 01:49 819  
[ ]is_heap_ind.con.xml.gz2004-04-08 01:49 818  
[ ]is_heap_rec.con.xml.gz2004-04-08 01:49 817  
[ ]treesort.con.xml.gz2004-04-08 01:49 753  
[ ]is_heap.ind.xml.gz2004-04-08 01:49 710  
[ ]leA_Tree_Node.con.types.xml.gz2004-04-08 01:49 667  
[ ]invert_heap.con.xml.gz2004-04-08 01:49 648  
[ ]Tree_ind.con.xml.gz2004-04-08 01:49 644  
[ ]Tree_rec.con.xml.gz2004-04-08 01:49 642  
[ ]Tree_rect.con.xml.gz2004-04-08 01:49 637  
[ ]leA_Tree.con.body.xml.gz2004-04-08 01:49 594  
[ ]build_heap_ind.con.body.xml.gz2004-04-08 01:49 581  
[ ]build_heap_rec.con.body.xml.gz2004-04-08 01:49 577  
[ ]insert_spec_ind.con.body.xml.gz2004-04-08 01:49 573  
[ ]insert_spec_rec.con.body.xml.gz2004-04-08 01:49 569  
[ ]leA_Tree_Node.con.xml.gz2004-04-08 01:49 542  
[ ]flat_spec_ind.con.body.xml.gz2004-04-08 01:49 523  
[ ]equiv_Tree.con.body.xml.gz2004-04-08 01:49 523  
[ ]flat_spec_rec.con.body.xml.gz2004-04-08 01:49 520  
[ ]treesort.con.types.xml.gz2004-04-08 01:49 518  
[ ]low_trans.con.xml.gz2004-04-08 01:49 505  
[ ]leA_Tree_Leaf.con.types.xml.gz2004-04-08 01:49 504  
[ ]is_heap_rec.con.types.xml.gz2004-04-08 01:49 493  
[ ]leA_Tree_Node.con.body.xml.gz2004-04-08 01:49 473  
[ ]list_to_heap.con.xml.gz2004-04-08 01:49 470  
[ ]insert.con.xml.gz2004-04-08 01:49 470  
[ ]heap_to_list.con.xml.gz2004-04-08 01:49 439  
[ ]Tree_ind.con.body.xml.gz2004-04-08 01:49 417  
[ ]Tree_rec.con.body.xml.gz2004-04-08 01:49 415  
[ ]Tree.ind.xml.gz2004-04-08 01:49 406  
[ ]leA_Tree_Leaf.con.xml.gz2004-04-08 01:49 402  
[ ]contents.con.xml.gz2004-04-08 01:49 394  
[ ]leA_Tree_Leaf.con.body.xml.gz2004-04-08 01:49 364  
[ ]equiv_Tree.con.xml.gz2004-04-08 01:49 351  
[ ]leA_Tree.con.xml.gz2004-04-08 01:49 334  
[ ]insert_spec_rect.con.types.xml.gz2004-04-08 01:49 211  
[ ]build_heap_rect.con.types.xml.gz2004-04-08 01:49 210  
[ ]insert_spec_rec.con.types.xml.gz2004-04-08 01:49 209  
[ ]flat_spec_rect.con.types.xml.gz2004-04-08 01:49 208  
[ ]build_heap_rec.con.types.xml.gz2004-04-08 01:49 208  
[ ]flat_spec_rec.con.types.xml.gz2004-04-08 01:49 206  
[ ]insert_spec.ind.types.xml.gz2004-04-08 01:49 202  
[ ]equiv_Tree.con.types.xml.gz2004-04-08 01:49 201  
[ ]build_heap.ind.types.xml.gz2004-04-08 01:49 201  
[ ]flat_spec.ind.types.xml.gz2004-04-08 01:49 199  
[ ]Tree_rect.con.types.xml.gz2004-04-08 01:49 199  
[ ]leA_Tree.con.types.xml.gz2004-04-08 01:49 198  
[ ]Tree_rec.con.types.xml.gz2004-04-08 01:49 197  
[ ]is_heap.ind.types.xml.gz2004-04-08 01:49 196  
[ ]contents.con.types.xml.gz2004-04-08 01:49 196  
[ ]Tree.ind.types.xml.gz2004-04-08 01:49 190  
[DIR]defs/2005-07-05 08:13 -  
Apache/2.4.62 (Debian) Server at mowgli.cs.unibo.it Port 80