Index of /xml/Coq/Sets/Ensembles

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[DIR]Ensembles/2005-07-05 08:13 -  
[ ]In.con.types.xml.gz2004-04-08 01:31 186  
[ ]Add.con.types.xml.gz2004-04-08 01:32 189  
[ ]Couple.ind.types.xml.gz2004-04-08 01:32 192  
[ ]Ensemble.con.types.xml.gz2004-04-08 01:31 192  
[ ]Triple.ind.types.xml.gz2004-04-08 01:32 192  
[ ]Union.ind.types.xml.gz2004-04-08 01:32 192  
[ ]Disjoint.ind.types.xml.gz2004-04-08 01:32 195  
[ ]Setminus.con.types.xml.gz2004-04-08 01:32 195  
[ ]Included.con.types.xml.gz2004-04-08 01:31 197  
[ ]Subtract.con.types.xml.gz2004-04-08 01:32 197  
[ ]Complement.con.types.xml.gz2004-04-08 01:32 198  
[ ]Full_set.ind.types.xml.gz2004-04-08 01:32 198  
[ ]Inhabited.ind.types.xml.gz2004-04-08 01:32 198  
[ ]Same_set.con.types.xml.gz2004-04-08 01:32 198  
[ ]Singleton.ind.types.xml.gz2004-04-08 01:32 198  
[ ]Empty_set.ind.types.xml.gz2004-04-08 01:31 199  
[ ]Intersection.ind.types.xml.gz2004-04-08 01:32 203  
[ ]Disjoint_rec.con.types.xml.gz2004-04-08 01:32 204  
[ ]Disjoint_rect.con.types.xml.gz2004-04-08 01:32 206  
[ ]Empty_set_rec.con.types.xml.gz2004-04-08 01:32 207  
[ ]Singleton_rec.con.types.xml.gz2004-04-08 01:32 207  
[ ]Empty_set_rect.con.types.xml.gz2004-04-08 01:31 208  
[ ]Singleton_rect.con.types.xml.gz2004-04-08 01:32 208  
[ ]Strict_Included.con.types.xml.gz2004-04-08 01:32 209  
[ ]Extensionality_Ensembles.con.types.xml.gz2004-04-08 01:32 221  
[ ]Ensemble.con.xml.gz2004-04-08 01:31 222  
[ ]Complement.con.xml.gz2004-04-08 01:32 287  
[ ]Setminus.con.xml.gz2004-04-08 01:32 293  
[ ]Add.con.xml.gz2004-04-08 01:32 296  
[ ]Ensemble.con.body.xml.gz2004-04-08 01:31 297  
[ ]Subtract.con.xml.gz2004-04-08 01:32 304  
[ ]In.con.xml.gz2004-04-08 01:31 305  
[ ]Included.con.xml.gz2004-04-08 01:31 306  
[ ]Same_set.con.xml.gz2004-04-08 01:32 308  
[ ]Strict_Included.con.xml.gz2004-04-08 01:32 321  
[ ]Empty_set.ind.xml.gz2004-04-08 01:31 339  
[ ]In.con.body.xml.gz2004-04-08 01:31 364  
[ ]Complement.con.body.xml.gz2004-04-08 01:32 410  
[ ]Empty_set_rec.con.body.xml.gz2004-04-08 01:32 410  
[ ]Add.con.body.xml.gz2004-04-08 01:32 413  
[ ]Empty_set_ind.con.body.xml.gz2004-04-08 01:32 413  
[ ]Subtract.con.body.xml.gz2004-04-08 01:32 423  
[ ]Disjoint_rec.con.body.xml.gz2004-04-08 01:32 425  
[ ]Disjoint_ind.con.body.xml.gz2004-04-08 01:32 430  
[ ]Singleton_rec.con.body.xml.gz2004-04-08 01:32 438  
[ ]Empty_set_rec.con.xml.gz2004-04-08 01:32 441  
[ ]Singleton_ind.con.body.xml.gz2004-04-08 01:32 442  
[ ]Empty_set_rect.con.xml.gz2004-04-08 01:31 444  
[ ]Empty_set_ind.con.xml.gz2004-04-08 01:32 445  
[ ]Full_set.ind.xml.gz2004-04-08 01:32 447  
[ ]Same_set.con.body.xml.gz2004-04-08 01:32 447  
[ ]Extensionality_Ensembles.con.xml.gz2004-04-08 01:32 462  
[ ]Included.con.body.xml.gz2004-04-08 01:31 462  
[ ]Singleton.ind.xml.gz2004-04-08 01:32 468  
[ ]Strict_Included.con.body.xml.gz2004-04-08 01:32 490  
[ ]Singleton_rect.con.xml.gz2004-04-08 01:32 491  
[ ]Setminus.con.body.xml.gz2004-04-08 01:32 492  
[ ]Inhabited_ind.con.xml.gz2004-04-08 01:32 493  
[ ]Singleton_ind.con.xml.gz2004-04-08 01:32 497  
[ ]Singleton_rec.con.xml.gz2004-04-08 01:32 497  
[ ]Full_set_ind.con.xml.gz2004-04-08 01:32 500  
[ ]Inhabited.ind.xml.gz2004-04-08 01:32 521  
[ ]Couple_ind.con.xml.gz2004-04-08 01:32 537  
[ ]Empty_set_ind.con.types.xml.gz2004-04-08 01:32 541  
[ ]Inhabited_ind.con.types.xml.gz2004-04-08 01:32 541  
[ ]Couple.ind.xml.gz2004-04-08 01:32 555  
[ ]Full_set_ind.con.types.xml.gz2004-04-08 01:32 564  
[ ]Empty_set_rect.con.body.xml.gz2004-04-08 01:31 577  
[ ]Triple_ind.con.xml.gz2004-04-08 01:32 579  
[ ]Couple_ind.con.types.xml.gz2004-04-08 01:32 599  
[ ]Intersection.ind.xml.gz2004-04-08 01:32 604  
[ ]Singleton_ind.con.types.xml.gz2004-04-08 01:32 607  
[ ]Disjoint_ind.con.xml.gz2004-04-08 01:32 608  
[ ]Inhabited_ind.con.body.xml.gz2004-04-08 01:32 610  
[ ]Disjoint_rect.con.xml.gz2004-04-08 01:32 613  
[ ]Disjoint_rec.con.xml.gz2004-04-08 01:32 617  
[ ]Disjoint.ind.xml.gz2004-04-08 01:32 637  
[ ]Triple_ind.con.types.xml.gz2004-04-08 01:32 638  
[ ]Triple.ind.xml.gz2004-04-08 01:32 644  
[ ]Intersection_ind.con.xml.gz2004-04-08 01:32 645  
[ ]Union.ind.xml.gz2004-04-08 01:32 647  
[ ]Singleton_rect.con.body.xml.gz2004-04-08 01:32 655  
[ ]Full_set_ind.con.body.xml.gz2004-04-08 01:32 663  
[ ]Union_ind.con.xml.gz2004-04-08 01:32 675  
[ ]Intersection_ind.con.types.xml.gz2004-04-08 01:32 698  
[ ]Couple_ind.con.body.xml.gz2004-04-08 01:32 712  
[ ]Disjoint_rect.con.body.xml.gz2004-04-08 01:32 723  
[ ]Union_ind.con.types.xml.gz2004-04-08 01:32 727  
[ ]Disjoint_ind.con.types.xml.gz2004-04-08 01:32 771  
[ ]Triple_ind.con.body.xml.gz2004-04-08 01:32 788  
[ ]Intersection_ind.con.body.xml.gz2004-04-08 01:32 807  
[ ]Union_ind.con.body.xml.gz2004-04-08 01:32 852  
[ ]INDEX2005-07-05 08:11 1.6K 
Apache/2.4.61 (Debian) Server at mowgli.cs.unibo.it Port 80