Index of /xml/Coq/Init/Specif

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]bool_choice.con.types.xml.gz2004-04-08 01:27 4.6K 
[ ]bool_choice.con.proof_tree.xml.gz2004-04-09 18:52 3.9K 
[ ]Choice.con.proof_tree.xml.gz2004-04-09 18:52 2.6K 
[ ]Choice2.con.proof_tree.xml.gz2004-04-09 18:52 2.5K 
[ ]bool_choice.con.body.xml.gz2004-04-08 01:27 2.4K 
[ ]Choice.con.types.xml.gz2004-04-08 01:27 2.1K 
[ ]INDEX2005-07-05 08:10 1.8K 
[ ]Choice.con.body.xml.gz2004-04-08 01:27 1.6K 
[ ]Choice2.con.body.xml.gz2004-04-08 01:27 1.5K 
[ ]sigS2_ind.con.types.xml.gz2004-04-08 01:27 1.0K 
[ ]sig2_ind.con.types.xml.gz2004-04-08 01:27 1.0K 
[ ]sig2_rect.con.body.xml.gz2004-04-08 01:27 951  
[ ]absurd_set.con.proof_tree.xml.gz2004-04-09 18:52 950  
[ ]sigS2_rect.con.body.xml.gz2004-04-08 01:27 942  
[ ]sumor_ind.con.types.xml.gz2004-04-08 01:27 890  
[ ]sumbool_ind.con.types.xml.gz2004-04-08 01:27 883  
[ ]sumbool_rect.con.body.xml.gz2004-04-08 01:27 880  
[ ]sumor_rect.con.body.xml.gz2004-04-08 01:27 879  
[ ]sig_ind.con.types.xml.gz2004-04-08 01:27 861  
[ ]sigS_ind.con.types.xml.gz2004-04-08 01:27 860  
[ ]sigT_ind.con.types.xml.gz2004-04-08 01:27 854  
[ ]sig_rect.con.body.xml.gz2004-04-08 01:27 832  
[ ]bool_choice.con.xml.gz2004-04-08 01:27 827  
[ ]sigS_rect.con.body.xml.gz2004-04-08 01:27 822  
[ ]sigT_rect.con.body.xml.gz2004-04-08 01:27 805  
[ ]sig2_rect.con.xml.gz2004-04-08 01:27 772  
[ ]sig2_ind.con.xml.gz2004-04-08 01:27 767  
[ ]sig2_rec.con.xml.gz2004-04-08 01:27 766  
[ ]sigS2_ind.con.xml.gz2004-04-08 01:27 765  
[ ]sigS2_rect.con.xml.gz2004-04-08 01:27 762  
[ ]sigS2_rec.con.xml.gz2004-04-08 01:27 755  
[ ]proj2_sig.con.types.xml.gz2004-04-08 01:27 755  
[ ]sumor_rect.con.xml.gz2004-04-08 01:27 696  
[ ]sumbool_rect.con.xml.gz2004-04-08 01:27 696  
[ ]sumbool_rec.con.xml.gz2004-04-08 01:27 695  
[ ]sumor_rec.con.xml.gz2004-04-08 01:27 692  
[ ]sumor_ind.con.xml.gz2004-04-08 01:27 692  
[ ]sumbool_ind.con.xml.gz2004-04-08 01:27 690  
[ ]sig_rect.con.xml.gz2004-04-08 01:27 673  
[ ]sig_rec.con.xml.gz2004-04-08 01:27 670  
[ ]sig_ind.con.xml.gz2004-04-08 01:27 670  
[ ]sigS_ind.con.xml.gz2004-04-08 01:27 667  
[ ]sigS_rect.con.xml.gz2004-04-08 01:27 661  
[ ]sigS_rec.con.xml.gz2004-04-08 01:27 657  
[ ]sigT_ind.con.xml.gz2004-04-08 01:27 654  
[ ]proj2_sig.con.body.xml.gz2004-04-08 01:27 653  
[ ]sig2.ind.xml.gz2004-04-08 01:27 649  
[ ]Choice.con.xml.gz2004-04-08 01:27 649  
[ ]Choice2.con.xml.gz2004-04-08 01:27 646  
[ ]sigT_rect.con.xml.gz2004-04-08 01:27 643  
[ ]sigT_rec.con.xml.gz2004-04-08 01:27 643  
[ ]sigS2.ind.xml.gz2004-04-08 01:27 642  
[ ]projS2.con.body.xml.gz2004-04-08 01:27 632  
[ ]projT2.con.body.xml.gz2004-04-08 01:27 620  
[ ]proj1_sig.con.body.xml.gz2004-04-08 01:27 595  
[ ]projS1.con.body.xml.gz2004-04-08 01:27 584  
[ ]sigS2_ind.con.body.xml.gz2004-04-08 01:27 575  
[ ]sig2_ind.con.body.xml.gz2004-04-08 01:27 571  
[ ]sig2_rec.con.body.xml.gz2004-04-08 01:27 570  
[ ]sig.ind.xml.gz2004-04-08 01:27 568  
[ ]sigS2_rec.con.body.xml.gz2004-04-08 01:27 566  
[ ]projT1.con.body.xml.gz2004-04-08 01:27 566  
[ ]sigS.ind.xml.gz2004-04-08 01:27 563  
[ ]sigT.ind.xml.gz2004-04-08 01:27 551  
[ ]sumor.ind.xml.gz2004-04-08 01:27 545  
[ ]sumbool.ind.xml.gz2004-04-08 01:27 543  
[ ]sig_ind.con.body.xml.gz2004-04-08 01:27 515  
[ ]sigS_ind.con.body.xml.gz2004-04-08 01:27 515  
[ ]sig_rec.con.body.xml.gz2004-04-08 01:27 512  
[ ]sigT_ind.con.body.xml.gz2004-04-08 01:27 512  
[ ]sigS_rec.con.body.xml.gz2004-04-08 01:27 512  
[ ]sigT_rec.con.body.xml.gz2004-04-08 01:27 509  
[ ]sumor_ind.con.body.xml.gz2004-04-08 01:27 499  
[ ]sumbool_rec.con.body.xml.gz2004-04-08 01:27 498  
[ ]sumbool_ind.con.body.xml.gz2004-04-08 01:27 497  
[ ]sumor_rec.con.body.xml.gz2004-04-08 01:27 495  
[ ]absurd_set.con.body.xml.gz2004-04-08 01:27 478  
[ ]proj2_sig.con.xml.gz2004-04-08 01:27 436  
[ ]projS2.con.xml.gz2004-04-08 01:27 418  
[ ]absurd_set.con.types.xml.gz2004-04-08 01:27 415  
[ ]projT2.con.xml.gz2004-04-08 01:27 414  
[ ]absurd_set.con.xml.gz2004-04-08 01:27 389  
[ ]proj1_sig.con.xml.gz2004-04-08 01:27 359  
[ ]value.con.xml.gz2004-04-08 01:27 354  
[ ]projT1.con.xml.gz2004-04-08 01:27 351  
[ ]projS1.con.xml.gz2004-04-08 01:27 350  
[ ]error.con.xml.gz2004-04-08 01:27 338  
[ ]except.con.xml.gz2004-04-08 01:27 330  
[ ]value.con.body.xml.gz2004-04-08 01:27 264  
[ ]error.con.body.xml.gz2004-04-08 01:27 263  
[ ]except.con.body.xml.gz2004-04-08 01:27 246  
[ ]Exc.con.xml.gz2004-04-08 01:27 245  
[ ]Exc.con.body.xml.gz2004-04-08 01:27 243  
[ ]sumbool_rect.con.types.xml.gz2004-04-08 01:27 202  
[ ]sumbool_rec.con.types.xml.gz2004-04-08 01:27 201  
[ ]sumor_rect.con.types.xml.gz2004-04-08 01:27 199  
[ ]sigS2_rect.con.types.xml.gz2004-04-08 01:27 199  
[ ]sigS2_rec.con.types.xml.gz2004-04-08 01:27 198  
[ ]sig2_rect.con.types.xml.gz2004-04-08 01:27 198  
[ ]sumor_rec.con.types.xml.gz2004-04-08 01:27 197  
[ ]sigT_rect.con.types.xml.gz2004-04-08 01:27 197  
[ ]sigS_rect.con.types.xml.gz2004-04-08 01:27 197  
[ ]proj1_sig.con.types.xml.gz2004-04-08 01:27 197  
[ ]sig2_rec.con.types.xml.gz2004-04-08 01:27 196  
[ ]sig_rect.con.types.xml.gz2004-04-08 01:27 195  
[ ]sigT_rec.con.types.xml.gz2004-04-08 01:27 195  
[ ]sigS_rec.con.types.xml.gz2004-04-08 01:27 195  
[ ]sig_rec.con.types.xml.gz2004-04-08 01:27 194  
[ ]Choice2.con.types.xml.gz2004-04-08 01:27 193  
[ ]sumbool.ind.types.xml.gz2004-04-08 01:27 192  
[ ]projT2.con.types.xml.gz2004-04-08 01:27 192  
[ ]projT1.con.types.xml.gz2004-04-08 01:27 191  
[ ]projS2.con.types.xml.gz2004-04-08 01:27 191  
[ ]projS1.con.types.xml.gz2004-04-08 01:27 191  
[ ]except.con.types.xml.gz2004-04-08 01:27 191  
[ ]value.con.types.xml.gz2004-04-08 01:27 190  
[ ]sumor.ind.types.xml.gz2004-04-08 01:27 189  
[ ]sigS2.ind.types.xml.gz2004-04-08 01:27 189  
[ ]error.con.types.xml.gz2004-04-08 01:27 189  
[ ]sigT.ind.types.xml.gz2004-04-08 01:27 187  
[ ]sigS.ind.types.xml.gz2004-04-08 01:27 187  
[ ]sig2.ind.types.xml.gz2004-04-08 01:27 187  
[ ]Exc.con.types.xml.gz2004-04-08 01:27 186  
[ ]sig.ind.types.xml.gz2004-04-08 01:27 185  
[DIR]projections_sigT/2006-10-27 18:03 -  
[DIR]Subset_projections/2005-07-05 08:12 -  
[DIR]Projections/2005-07-05 08:12 -  
[DIR]Choice_lemmas/2005-07-05 08:12 -  
Apache/2.4.61 (Debian) Server at mowgli.cs.unibo.it Port 80