Index of /xml/Coq/Init/Datatypes

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]injective_projections.con.proof_tree.xml.gz2004-04-09 18:52 3.8K 
[ ]injective_projections.con.types.xml.gz2004-04-08 01:27 3.6K 
[ ]injective_projections.con.body.xml.gz2004-04-08 01:27 2.3K 
[ ]INDEX2005-07-05 08:10 1.9K 
[ ]surjective_pairing.con.proof_tree.xml.gz2004-04-09 18:52 1.7K 
[ ]surjective_pairing.con.types.xml.gz2004-04-08 01:27 1.6K 
[ ]surjective_pairing.con.body.xml.gz2004-04-08 01:27 1.1K 
[ ]nat_rect.con.body.xml.gz2004-04-08 01:27 889  
[ ]sum_ind.con.types.xml.gz2004-04-08 01:27 879  
[ ]sum_rect.con.body.xml.gz2004-04-08 01:27 864  
[ ]identity_rect.con.body.xml.gz2004-04-08 01:27 842  
[ ]prod_ind.con.types.xml.gz2004-04-08 01:27 825  
[ ]prod_rect.con.body.xml.gz2004-04-08 01:27 809  
[ ]identity_ind.con.types.xml.gz2004-04-08 01:27 797  
[ ]injective_projections.con.xml.gz2004-04-08 01:27 790  
[ ]option_ind.con.types.xml.gz2004-04-08 01:27 789  
[ ]option_rect.con.body.xml.gz2004-04-08 01:27 788  
[ ]nat_ind.con.types.xml.gz2004-04-08 01:27 712  
[ ]sum_ind.con.xml.gz2004-04-08 01:27 687  
[ ]sum_rect.con.xml.gz2004-04-08 01:27 681  
[ ]comparison_rect.con.body.xml.gz2004-04-08 01:27 681  
[ ]sum_rec.con.xml.gz2004-04-08 01:27 678  
[ ]surjective_pairing.con.xml.gz2004-04-08 01:27 655  
[ ]prod_ind.con.xml.gz2004-04-08 01:27 645  
[ ]prod_rect.con.xml.gz2004-04-08 01:27 641  
[ ]prod_rec.con.xml.gz2004-04-08 01:27 639  
[ ]identity_ind.con.xml.gz2004-04-08 01:27 636  
[ ]bool_rect.con.body.xml.gz2004-04-08 01:27 633  
[ ]identity_rect.con.xml.gz2004-04-08 01:27 632  
[ ]identity_rec.con.xml.gz2004-04-08 01:27 628  
[ ]comparison_ind.con.types.xml.gz2004-04-08 01:27 627  
[ ]option_ind.con.xml.gz2004-04-08 01:27 621  
[ ]option_rect.con.xml.gz2004-04-08 01:27 615  
[ ]option_rec.con.xml.gz2004-04-08 01:27 613  
[ ]unit_rect.con.body.xml.gz2004-04-08 01:27 586  
[ ]bool_ind.con.types.xml.gz2004-04-08 01:27 568  
[ ]fst.con.body.xml.gz2004-04-08 01:27 561  
[ ]snd.con.body.xml.gz2004-04-08 01:27 560  
[ ]nat_ind.con.xml.gz2004-04-08 01:27 555  
[ ]nat_rec.con.xml.gz2004-04-08 01:27 550  
[ ]nat_rect.con.xml.gz2004-04-08 01:27 548  
[ ]unit_ind.con.types.xml.gz2004-04-08 01:27 535  
[ ]identity_ind.con.body.xml.gz2004-04-08 01:27 532  
[ ]identity_rec.con.body.xml.gz2004-04-08 01:27 530  
[ ]sum.ind.xml.gz2004-04-08 01:27 529  
[ ]Empty_set_rect.con.body.xml.gz2004-04-08 01:27 521  
[ ]comparison_ind.con.xml.gz2004-04-08 01:27 505  
[ ]prod_ind.con.body.xml.gz2004-04-08 01:27 502  
[ ]comparison_rect.con.xml.gz2004-04-08 01:27 502  
[ ]comparison_rec.con.xml.gz2004-04-08 01:27 496  
[ ]sum_ind.con.body.xml.gz2004-04-08 01:27 495  
[ ]prod_rec.con.body.xml.gz2004-04-08 01:27 493  
[ ]identity.ind.xml.gz2004-04-08 01:27 488  
[ ]sum_rec.con.body.xml.gz2004-04-08 01:27 486  
[ ]prod.ind.xml.gz2004-04-08 01:27 478  
[ ]option.ind.xml.gz2004-04-08 01:27 474  
[ ]bool_ind.con.xml.gz2004-04-08 01:27 474  
[ ]Empty_set_ind.con.types.xml.gz2004-04-08 01:27 474  
[ ]option_ind.con.body.xml.gz2004-04-08 01:27 471  
[ ]bool_rect.con.xml.gz2004-04-08 01:27 468  
[ ]CompOpp.con.body.xml.gz2004-04-08 01:27 467  
[ ]bool_rec.con.xml.gz2004-04-08 01:27 464  
[ ]option_rec.con.body.xml.gz2004-04-08 01:27 463  
[ ]unit_rect.con.xml.gz2004-04-08 01:27 447  
[ ]unit_ind.con.xml.gz2004-04-08 01:27 447  
[ ]unit_rec.con.xml.gz2004-04-08 01:27 441  
[ ]comparison_ind.con.body.xml.gz2004-04-08 01:27 419  
[ ]comparison_rec.con.body.xml.gz2004-04-08 01:27 416  
[ ]Empty_set_ind.con.body.xml.gz2004-04-08 01:27 415  
[ ]Empty_set_rec.con.body.xml.gz2004-04-08 01:27 412  
[ ]Empty_set_ind.con.xml.gz2004-04-08 01:27 410  
[ ]Empty_set_rect.con.xml.gz2004-04-08 01:27 409  
[ ]nat_ind.con.body.xml.gz2004-04-08 01:27 408  
[ ]bool_ind.con.body.xml.gz2004-04-08 01:27 408  
[ ]unit_ind.con.body.xml.gz2004-04-08 01:27 407  
[ ]Empty_set_rec.con.xml.gz2004-04-08 01:27 406  
[ ]nat_rec.con.body.xml.gz2004-04-08 01:27 405  
[ ]bool_rec.con.body.xml.gz2004-04-08 01:27 405  
[ ]unit_rec.con.body.xml.gz2004-04-08 01:27 403  
[ ]nat.ind.xml.gz2004-04-08 01:27 353  
[ ]fst.con.xml.gz2004-04-08 01:27 343  
[ ]snd.con.xml.gz2004-04-08 01:27 342  
[ ]comparison.ind.xml.gz2004-04-08 01:27 331  
[ ]bool.ind.xml.gz2004-04-08 01:27 311  
[ ]unit.ind.xml.gz2004-04-08 01:27 301  
[ ]CompOpp.con.xml.gz2004-04-08 01:27 286  
[ ]Empty_set.ind.xml.gz2004-04-08 01:27 254  
[ ]comparison_rect.con.types.xml.gz2004-04-08 01:27 208  
[ ]Empty_set_rect.con.types.xml.gz2004-04-08 01:27 207  
[ ]comparison_rec.con.types.xml.gz2004-04-08 01:27 206  
[ ]identity_rect.con.types.xml.gz2004-04-08 01:27 205  
[ ]Empty_set_rec.con.types.xml.gz2004-04-08 01:27 205  
[ ]identity_rec.con.types.xml.gz2004-04-08 01:27 203  
[ ]option_rect.con.types.xml.gz2004-04-08 01:27 202  
[ ]option_rec.con.types.xml.gz2004-04-08 01:27 201  
[ ]prod_rect.con.types.xml.gz2004-04-08 01:27 198  
[ ]comparison.ind.types.xml.gz2004-04-08 01:27 198  
[ ]bool_rect.con.types.xml.gz2004-04-08 01:27 198  
[ ]Empty_set.ind.types.xml.gz2004-04-08 01:27 198  
[ ]unit_rect.con.types.xml.gz2004-04-08 01:27 197  
[ ]sum_rect.con.types.xml.gz2004-04-08 01:27 197  
[ ]unit_rec.con.types.xml.gz2004-04-08 01:27 196  
[ ]prod_rec.con.types.xml.gz2004-04-08 01:27 196  
[ ]nat_rect.con.types.xml.gz2004-04-08 01:27 196  
[ ]bool_rec.con.types.xml.gz2004-04-08 01:27 196  
[ ]sum_rec.con.types.xml.gz2004-04-08 01:27 195  
[ ]nat_rec.con.types.xml.gz2004-04-08 01:27 195  
[ ]identity.ind.types.xml.gz2004-04-08 01:27 195  
[ ]CompOpp.con.types.xml.gz2004-04-08 01:27 194  
[ ]option.ind.types.xml.gz2004-04-08 01:27 193  
[ ]unit.ind.types.xml.gz2004-04-08 01:27 188  
[ ]prod.ind.types.xml.gz2004-04-08 01:27 188  
[ ]bool.ind.types.xml.gz2004-04-08 01:27 188  
[ ]sum.ind.types.xml.gz2004-04-08 01:27 187  
[ ]snd.con.types.xml.gz2004-04-08 01:27 187  
[ ]fst.con.types.xml.gz2004-04-08 01:27 187  
[ ]nat.ind.types.xml.gz2004-04-08 01:27 186  
[DIR]projections/2005-07-05 08:12 -  
Apache/2.4.61 (Debian) Server at mowgli.cs.unibo.it Port 80