Index of /xml/Coq/Reals/RList

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]RList_P16.con.types.xml.gz2004-04-08 01:40 28K 
[ ]RList_P16.con.body.xml.gz2004-04-08 01:40 23K 
[ ]RList_P1.con.types.xml.gz2004-04-08 01:40 21K 
[ ]RList_P29.con.proof_tree.xml.gz2004-04-09 18:52 19K 
[ ]RList_P8.con.types.xml.gz2004-04-08 01:40 17K 
[ ]RList_P24.con.types.xml.gz2004-04-08 01:40 17K 
[ ]RList_P24.con.body.xml.gz2004-04-08 01:40 16K 
[ ]RList_P29.con.types.xml.gz2004-04-08 01:40 16K 
[ ]RList_P8.con.proof_tree.xml.gz2004-04-09 18:52 15K 
[ ]MaxRlist_P1.con.types.xml.gz2004-04-08 01:40 15K 
[ ]RList_P6.con.types.xml.gz2004-04-08 01:40 14K 
[ ]RList_P15.con.types.xml.gz2004-04-08 01:40 13K 
[ ]pos_Rl_P2.con.types.xml.gz2004-04-08 01:40 13K 
[ ]RList_P29.con.body.xml.gz2004-04-08 01:40 13K 
[ ]RList_P9.con.proof_tree.xml.gz2004-04-09 18:52 12K 
[ ]RList_P25.con.types.xml.gz2004-04-08 01:40 12K 
[ ]RList_P8.con.body.xml.gz2004-04-08 01:40 12K 
[ ]RList_P1.con.body.xml.gz2004-04-08 01:40 11K 
[ ]pos_Rl_P2.con.body.xml.gz2004-04-08 01:40 11K 
[ ]RList_P15.con.body.xml.gz2004-04-08 01:40 11K 
[ ]Rlist_P1.con.types.xml.gz2004-04-08 01:40 11K 
[ ]MaxRlist_P1.con.body.xml.gz2004-04-08 01:40 11K 
[ ]RList_P6.con.body.xml.gz2004-04-08 01:40 11K 
[ ]MinRlist_P1.con.types.xml.gz2004-04-08 01:40 11K 
[ ]RList_P25.con.proof_tree.xml.gz2004-04-09 18:52 11K 
[ ]RList_P9.con.types.xml.gz2004-04-08 01:40 11K 
[ ]RList_P13.con.proof_tree.xml.gz2004-04-09 18:52 10K 
[ ]RList_P3.con.types.xml.gz2004-04-08 01:40 10K 
[ ]RList_P9.con.body.xml.gz2004-04-08 01:40 9.0K 
[ ]RList_P17.con.types.xml.gz2004-04-08 01:40 8.9K 
[ ]RList_P3.con.body.xml.gz2004-04-08 01:40 8.9K 
[ ]RList_P13.con.types.xml.gz2004-04-08 01:40 8.9K 
[ ]RList_P7.con.proof_tree.xml.gz2004-04-09 18:52 8.8K 
[ ]MinRlist_P1.con.body.xml.gz2004-04-08 01:40 8.7K 
[ ]RList_P6.con.proof_tree.xml.gz2004-04-09 18:52 8.6K 
[ ]Rlist_P1.con.body.xml.gz2004-04-08 01:40 8.4K 
[ ]MinRlist_P2.con.types.xml.gz2004-04-08 01:40 7.7K 
[ ]RList_P17.con.body.xml.gz2004-04-08 01:40 7.6K 
[ ]MaxRlist_P2.con.types.xml.gz2004-04-08 01:40 6.9K 
[ ]RList_P25.con.body.xml.gz2004-04-08 01:40 6.6K 
[ ]RList_P0.con.types.xml.gz2004-04-08 01:40 6.6K 
[ ]RList_P20.con.types.xml.gz2004-04-08 01:40 6.6K 
[ ]AbsList_P2.con.types.xml.gz2004-04-08 01:40 6.5K 
[ ]RList_P11.con.types.xml.gz2004-04-08 01:40 6.4K 
[ ]RList_P11.con.body.xml.gz2004-04-08 01:40 5.8K 
[ ]RList_P7.con.types.xml.gz2004-04-08 01:40 5.8K 
[ ]RList_P13.con.body.xml.gz2004-04-08 01:40 5.8K 
[ ]MinRlist_P2.con.body.xml.gz2004-04-08 01:40 5.5K 
[ ]RList_P7.con.body.xml.gz2004-04-08 01:40 5.5K 
[ ]RList_P20.con.body.xml.gz2004-04-08 01:40 5.4K 
[ ]AbsList_P2.con.body.xml.gz2004-04-08 01:40 5.1K 
[ ]MaxRlist_P2.con.body.xml.gz2004-04-08 01:40 4.5K 
[ ]RList_P11.con.proof_tree.xml.gz2004-04-09 18:52 4.3K 
[ ]RList_P5.con.types.xml.gz2004-04-08 01:40 4.1K 
[ ]RList_P17.con.proof_tree.xml.gz2004-04-09 18:52 4.0K 
[ ]RList_P10.con.types.xml.gz2004-04-08 01:40 3.9K 
[ ]AbsList_P1.con.types.xml.gz2004-04-08 01:40 3.9K 
[ ]RList_P26.con.types.xml.gz2004-04-08 01:40 3.8K 
[ ]RList_P24.con.proof_tree.xml.gz2004-04-09 18:52 3.8K 
[ ]RList_P5.con.body.xml.gz2004-04-08 01:40 3.7K 
[ ]RList_P12.con.types.xml.gz2004-04-08 01:40 3.6K 
[ ]RList_P4.con.proof_tree.xml.gz2004-04-09 18:52 3.5K 
[ ]RList_P12.con.proof_tree.xml.gz2004-04-09 18:52 3.3K 
[ ]pos_Rl_P1.con.types.xml.gz2004-04-08 01:40 3.3K 
[ ]RList_P22.con.proof_tree.xml.gz2004-04-09 18:52 3.0K 
[ ]RList_P27.con.proof_tree.xml.gz2004-04-09 18:52 3.0K 
[ ]AbsList_P1.con.body.xml.gz2004-04-08 01:40 2.9K 
[ ]RList_P26.con.proof_tree.xml.gz2004-04-09 18:52 2.9K 
[ ]RList_P23.con.proof_tree.xml.gz2004-04-09 18:52 2.9K 
[ ]RList_P26.con.body.xml.gz2004-04-08 01:40 2.8K 
[ ]RList_P0.con.body.xml.gz2004-04-08 01:40 2.8K 
[ ]RList_P18.con.proof_tree.xml.gz2004-04-09 18:52 2.7K 
[ ]INDEX2005-07-05 08:11 2.6K 
[ ]RList_P14.con.proof_tree.xml.gz2004-04-09 18:52 2.5K 
[ ]RList_P12.con.body.xml.gz2004-04-08 01:40 2.5K 
[ ]RList_P19.con.types.xml.gz2004-04-08 01:40 2.4K 
[ ]RList_P2.con.proof_tree.xml.gz2004-04-09 18:52 2.3K 
[ ]RList_P3.con.proof_tree.xml.gz2004-04-09 18:52 2.1K 
[ ]RList_P10.con.body.xml.gz2004-04-08 01:40 2.0K 
[ ]pos_Rl_P1.con.body.xml.gz2004-04-08 01:40 2.0K 
[ ]RList_P4.con.types.xml.gz2004-04-08 01:40 2.0K 
[ ]RList_P28.con.proof_tree.xml.gz2004-04-09 18:52 2.0K 
[ ]RList_P16.con.proof_tree.xml.gz2004-04-09 18:52 2.0K 
[ ]RList_P19.con.body.xml.gz2004-04-08 01:40 1.9K 
[ ]RList_P23.con.types.xml.gz2004-04-08 01:40 1.9K 
[ ]RList_P27.con.types.xml.gz2004-04-08 01:40 1.8K 
[ ]RList_P22.con.types.xml.gz2004-04-08 01:40 1.8K 
[ ]RList_P4.con.body.xml.gz2004-04-08 01:40 1.7K 
[ ]RList_P15.con.proof_tree.xml.gz2004-04-09 18:52 1.6K 
[ ]RList_P18.con.types.xml.gz2004-04-08 01:40 1.6K 
[ ]Rlist_P1.con.proof_tree.xml.gz2004-04-09 18:52 1.6K 
[ ]RList_P14.con.types.xml.gz2004-04-08 01:40 1.5K 
[ ]RList_P27.con.body.xml.gz2004-04-08 01:40 1.4K 
[ ]RList_P22.con.body.xml.gz2004-04-08 01:40 1.3K 
[ ]RList_P23.con.body.xml.gz2004-04-08 01:40 1.3K 
[ ]RList_P20.con.proof_tree.xml.gz2004-04-09 18:52 1.2K 
[ ]AbsList_P2.con.proof_tree.xml.gz2004-04-09 18:52 1.2K 
[ ]RList_P18.con.body.xml.gz2004-04-08 01:40 1.2K 
[ ]RList_P14.con.body.xml.gz2004-04-08 01:40 1.1K 
[ ]insert.con.body.xml.gz2004-04-08 01:40 1.1K 
[ ]RList_P2.con.types.xml.gz2004-04-08 01:40 1.1K 
[ ]RList_P28.con.types.xml.gz2004-04-08 01:40 1.0K 
[ ]pos_Rl_P1.con.proof_tree.xml.gz2004-04-09 18:52 1.0K 
[ ]pos_Rl_P2.con.proof_tree.xml.gz2004-04-09 18:52 1.0K 
[ ]RList_P21.con.proof_tree.xml.gz2004-04-09 18:52 1.0K 
[ ]AbsList_P1.con.proof_tree.xml.gz2004-04-09 18:52 1.0K 
[ ]RList_P19.con.proof_tree.xml.gz2004-04-09 18:52 1.0K 
[ ]Rlist_rect.con.body.xml.gz2004-04-08 01:40 968  
[ ]Rlist_P1.con.xml.gz2004-04-08 01:40 960  
[ ]RList_P28.con.body.xml.gz2004-04-08 01:40 942  
[ ]RList_P0.con.proof_tree.xml.gz2004-04-09 18:52 930  
[ ]RList_P2.con.body.xml.gz2004-04-08 01:40 918  
[ ]RList_P5.con.proof_tree.xml.gz2004-04-09 18:52 883  
[ ]MaxRlist.con.body.xml.gz2004-04-08 01:40 867  
[ ]MinRlist.con.body.xml.gz2004-04-08 01:40 866  
[ ]MinRlist_P2.con.proof_tree.xml.gz2004-04-09 18:52 863  
[ ]pos_Rl.con.body.xml.gz2004-04-08 01:40 859  
[ ]MaxRlist_P2.con.proof_tree.xml.gz2004-04-09 18:52 854  
[ ]AbsList.con.body.xml.gz2004-04-08 01:40 840  
[ ]mid_Rlist.con.body.xml.gz2004-04-08 01:40 811  
[ ]app_Rlist.con.body.xml.gz2004-04-08 01:40 804  
[ ]RList_P10.con.proof_tree.xml.gz2004-04-09 18:52 797  
[ ]MinRlist_P1.con.proof_tree.xml.gz2004-04-09 18:52 795  
[ ]MaxRlist_P1.con.proof_tree.xml.gz2004-04-09 18:52 795  
[ ]Rlist_ind.con.types.xml.gz2004-04-08 01:40 784  
[ ]RList_P20.con.xml.gz2004-04-08 01:40 775  
[ ]RList_P1.con.proof_tree.xml.gz2004-04-09 18:52 771  
[ ]In.con.body.xml.gz2004-04-08 01:40 767  
[ ]RList_P13.con.xml.gz2004-04-08 01:40 758  
[ ]RList_P16.con.xml.gz2004-04-08 01:40 751  
[ ]AbsList_P2.con.xml.gz2004-04-08 01:40 749  
[ ]cons_Rlist.con.body.xml.gz2004-04-08 01:40 727  
[ ]cons_ORlist.con.body.xml.gz2004-04-08 01:40 725  
[ ]Rlength.con.body.xml.gz2004-04-08 01:40 701  
[ ]RList_P17.con.xml.gz2004-04-08 01:40 701  
[ ]RList_P29.con.xml.gz2004-04-08 01:40 695  
[ ]pos_Rl_P2.con.xml.gz2004-04-08 01:40 673  
[ ]RList_P6.con.xml.gz2004-04-08 01:40 673  
[ ]RList_P24.con.xml.gz2004-04-08 01:40 669  
[ ]RList_P3.con.xml.gz2004-04-08 01:40 662  
[ ]RList_P15.con.xml.gz2004-04-08 01:40 657  
[ ]RList_P21.con.body.xml.gz2004-04-08 01:40 654  
[ ]RList_P19.con.xml.gz2004-04-08 01:40 650  
[ ]FF.con.body.xml.gz2004-04-08 01:40 642  
[ ]RList_P12.con.xml.gz2004-04-08 01:40 636  
[ ]pos_Rl_P1.con.xml.gz2004-04-08 01:40 631  
[ ]RList_P25.con.xml.gz2004-04-08 01:40 625  
[ ]RList_P21.con.types.xml.gz2004-04-08 01:40 620  
[ ]ordered_Rlist.con.body.xml.gz2004-04-08 01:40 618  
[ ]RList_P0.con.xml.gz2004-04-08 01:40 610  
[ ]AbsList_P1.con.xml.gz2004-04-08 01:40 597  
[ ]Rlist_ind.con.xml.gz2004-04-08 01:40 596  
[ ]Rlist_rec.con.xml.gz2004-04-08 01:40 592  
[ ]RList_P26.con.xml.gz2004-04-08 01:40 592  
[ ]RList_P22.con.xml.gz2004-04-08 01:40 590  
[ ]Rlist_rect.con.xml.gz2004-04-08 01:40 589  
[ ]RList_P8.con.xml.gz2004-04-08 01:40 563  
[ ]RList_P9.con.xml.gz2004-04-08 01:40 561  
[ ]RList_P7.con.xml.gz2004-04-08 01:40 550  
[ ]RList_P5.con.xml.gz2004-04-08 01:40 533  
[ ]MaxRlist_P2.con.xml.gz2004-04-08 01:40 530  
[ ]RList_P10.con.xml.gz2004-04-08 01:40 529  
[ ]RList_P11.con.xml.gz2004-04-08 01:40 524  
[ ]RList_P23.con.xml.gz2004-04-08 01:40 523  
[ ]RList_P18.con.xml.gz2004-04-08 01:40 519  
[ ]MinRlist_P2.con.xml.gz2004-04-08 01:40 515  
[ ]Rtail.con.body.xml.gz2004-04-08 01:40 512  
[ ]RList_P27.con.xml.gz2004-04-08 01:40 509  
[ ]RList_P14.con.xml.gz2004-04-08 01:40 497  
[ ]RList_P21.con.xml.gz2004-04-08 01:40 473  
[ ]MinRlist_P1.con.xml.gz2004-04-08 01:40 471  
[ ]RList_P4.con.xml.gz2004-04-08 01:40 469  
[ ]MaxRlist_P1.con.xml.gz2004-04-08 01:40 469  
[ ]RList_P1.con.xml.gz2004-04-08 01:40 455  
[ ]RList_P2.con.xml.gz2004-04-08 01:40 434  
[ ]RList_P28.con.xml.gz2004-04-08 01:40 427  
[ ]Rlist_ind.con.body.xml.gz2004-04-08 01:40 406  
[ ]Rlist_rec.con.body.xml.gz2004-04-08 01:40 404  
[ ]Rlist.ind.xml.gz2004-04-08 01:40 392  
[ ]app_Rlist.con.xml.gz2004-04-08 01:40 350  
[ ]FF.con.xml.gz2004-04-08 01:40 341  
[ ]pos_Rl.con.xml.gz2004-04-08 01:40 330  
[ ]In.con.xml.gz2004-04-08 01:40 322  
[ ]mid_Rlist.con.xml.gz2004-04-08 01:40 321  
[ ]AbsList.con.xml.gz2004-04-08 01:40 320  
[ ]insert.con.xml.gz2004-04-08 01:40 317  
[ ]MinRlist.con.xml.gz2004-04-08 01:40 303  
[ ]MaxRlist.con.xml.gz2004-04-08 01:40 303  
[ ]ordered_Rlist.con.xml.gz2004-04-08 01:40 301  
[ ]cons_ORlist.con.xml.gz2004-04-08 01:40 295  
[ ]Rlength.con.xml.gz2004-04-08 01:40 294  
[ ]cons_Rlist.con.xml.gz2004-04-08 01:40 293  
[ ]Rtail.con.xml.gz2004-04-08 01:40 280  
[ ]ordered_Rlist.con.types.xml.gz2004-04-08 01:40 204  
[ ]cons_ORlist.con.types.xml.gz2004-04-08 01:40 201  
[ ]Rlist_rect.con.types.xml.gz2004-04-08 01:40 201  
[ ]cons_Rlist.con.types.xml.gz2004-04-08 01:40 200  
[ ]mid_Rlist.con.types.xml.gz2004-04-08 01:40 199  
[ ]app_Rlist.con.types.xml.gz2004-04-08 01:40 199  
[ ]Rlist_rec.con.types.xml.gz2004-04-08 01:40 199  
[ ]MinRlist.con.types.xml.gz2004-04-08 01:40 196  
[ ]MaxRlist.con.types.xml.gz2004-04-08 01:40 196  
[ ]AbsList.con.types.xml.gz2004-04-08 01:40 195  
[ ]pos_Rl.con.types.xml.gz2004-04-08 01:40 194  
[ ]Rlength.con.types.xml.gz2004-04-08 01:40 194  
[ ]insert.con.types.xml.gz2004-04-08 01:40 192  
[ ]Rtail.con.types.xml.gz2004-04-08 01:40 191  
[ ]Rlist.ind.types.xml.gz2004-04-08 01:40 191  
[ ]FF.con.types.xml.gz2004-04-08 01:40 187  
[ ]In.con.types.xml.gz2004-04-08 01:40 186  
Apache/2.4.61 (Debian) Server at mowgli.cs.unibo.it Port 80