Index of /xml/Suresnes/BDD/canonicite/Finite_sets

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]incl_st_card_lt.con.body.xml.gz2004-04-08 09:32 10K 
[ ]incl_st_card_lt.con.types.xml.gz2004-04-08 09:32 9.0K 
[ ]Im_add.con.types.xml.gz2004-04-08 09:32 8.3K 
[ ]Card_gtO_exist_greatest.con.types.xml.gz2004-04-08 09:32 7.4K 
[ ]Card_gtO_exist_greatest.con.body.xml.gz2004-04-08 09:32 7.2K 
[ ]Im_add.con.body.xml.gz2004-04-08 09:32 7.2K 
[ ]card_soustr_1.con.types.xml.gz2004-04-08 09:32 7.1K 
[ ]card_soustr_1.con.body.xml.gz2004-04-08 09:32 6.9K 
[ ]P_dec_on_Q_AllP_dec_on_Q.con.types.xml.gz2004-04-08 09:32 6.8K 
[ ]onQ_not_All_Exist_not.con.types.xml.gz2004-04-08 09:32 6.2K 
[ ]onQ_not_All_Exist_not.con.body.xml.gz2004-04-08 09:32 5.9K 
[ ]INDEX2005-07-05 08:14 5.6K 
[ ]P_dec_on_Q_AllP_dec_on_Q.con.body.xml.gz2004-04-08 09:32 5.3K 
[ ]finite_image.con.types.xml.gz2004-04-08 09:32 4.9K 
[ ]finite_image.con.body.xml.gz2004-04-08 09:32 4.8K 
[ ]add_soustr_xy.con.types.xml.gz2004-04-08 09:32 4.7K 
[ ]finite_union.con.types.xml.gz2004-04-08 09:32 4.6K 
[ ]incl_st_add_x.con.body.xml.gz2004-04-08 09:32 4.5K 
[ ]union_add.con.types.xml.gz2004-04-08 09:32 4.3K 
[ ]incl_st_add_x.con.types.xml.gz2004-04-08 09:32 4.2K 
[ ]incl_st_add_soustr.con.body.xml.gz2004-04-08 09:32 4.0K 
[ ]finite_decidable.con.types.xml.gz2004-04-08 09:32 3.9K 
[ ]add_soustr_xy.con.body.xml.gz2004-04-08 09:32 3.8K 
[ ]incl_st_add_soustr.con.types.xml.gz2004-04-08 09:32 3.8K 
[ ]finite_union.con.body.xml.gz2004-04-08 09:32 3.7K 
[ ]finite_decidable.con.body.xml.gz2004-04-08 09:32 3.6K 
[ ]union_add.con.body.xml.gz2004-04-08 09:32 3.3K 
[ ]decidable_finite.con.body.xml.gz2004-04-08 09:32 3.0K 
[ ]decidable_finite.con.types.xml.gz2004-04-08 09:32 3.0K 
[ ]addQinterSx_addQxinterS.con.types.xml.gz2004-04-08 09:32 2.6K 
[ ]P_dec_AllP_dec.con.types.xml.gz2004-04-08 09:32 2.5K 
[ ]notall_existnot_singleton.con.types.xml.gz2004-04-08 09:32 2.4K 
[ ]not_All_Exist_not.con.types.xml.gz2004-04-08 09:32 2.3K 
[ ]addQxinterS_addQinterSx.con.types.xml.gz2004-04-08 09:32 2.3K 
[ ]addQxinterS_QinterS.con.types.xml.gz2004-04-08 09:32 2.3K 
[ ]notall_existnot_singleton.con.body.xml.gz2004-04-08 09:32 2.3K 
[ ]not_All_Exist_not.con.body.xml.gz2004-04-08 09:32 2.1K 
[ ]addQinterSx_addQxinterS.con.body.xml.gz2004-04-08 09:32 2.1K 
[ ]P_dec_AllP_dec.con.body.xml.gz2004-04-08 09:32 2.0K 
[ ]union_sym.con.types.xml.gz2004-04-08 09:32 2.0K 
[ ]addQxinterS_QinterS.con.body.xml.gz2004-04-08 09:32 1.9K 
[ ]notall_addQx_notall_Q.con.types.xml.gz2004-04-08 09:32 1.9K 
[ ]incl_soustr.con.types.xml.gz2004-04-08 09:32 1.8K 
[ ]incl_add_x.con.types.xml.gz2004-04-08 09:32 1.8K 
[ ]incl_soustr_add_l.con.types.xml.gz2004-04-08 09:32 1.8K 
[ ]inh_card_gt_O.con.body.xml.gz2004-04-08 09:32 1.8K 
[ ]add_soustr_2.con.types.xml.gz2004-04-08 09:32 1.7K 
[ ]addQxinterS_addQinterSx.con.body.xml.gz2004-04-08 09:32 1.7K 
[ ]QinterS_addQxinterS.con.types.xml.gz2004-04-08 09:32 1.7K 
[ ]set_eq_trans.con.body.xml.gz2004-04-08 09:32 1.6K 
[ ]incl_add.con.types.xml.gz2004-04-08 09:32 1.6K 
[ ]inv_inh_addQx.con.types.xml.gz2004-04-08 09:32 1.6K 
[ ]set_eq_trans.con.types.xml.gz2004-04-08 09:32 1.5K 
[ ]inh_card_gt_O.con.types.xml.gz2004-04-08 09:32 1.5K 
[ ]finite_cardinal.con.body.xml.gz2004-04-08 09:32 1.5K 
[ ]incl_add_x.con.body.xml.gz2004-04-08 09:32 1.5K 
[ ]incl_soustr_add_r.con.types.xml.gz2004-04-08 09:32 1.5K 
[ ]incl_soustr_add_l.con.body.xml.gz2004-04-08 09:32 1.5K 
[ ]cardinal_ind.con.body.xml.gz2004-04-08 09:32 1.5K 
[ ]cardinal_ind.con.types.xml.gz2004-04-08 09:32 1.5K 
[ ]add_soustr_1.con.types.xml.gz2004-04-08 09:32 1.5K 
[ ]finite_cardinal.con.types.xml.gz2004-04-08 09:32 1.5K 
[ ]cardinal_inv.con.types.xml.gz2004-04-08 09:32 1.5K 
[ ]add_soustr_2.con.body.xml.gz2004-04-08 09:32 1.4K 
[ ]P_union_empty.con.types.xml.gz2004-04-08 09:32 1.4K 
[ ]empty_union_P.con.types.xml.gz2004-04-08 09:32 1.4K 
[ ]inv_inh_addQx.con.body.xml.gz2004-04-08 09:32 1.4K 
[ ]notall_addQx_notall_Q.con.body.xml.gz2004-04-08 09:32 1.4K 
[ ]union_sym.con.body.xml.gz2004-04-08 09:32 1.3K 
[ ]incl_soustr_add_r.con.body.xml.gz2004-04-08 09:32 1.3K 
[ ]finite_ind.con.body.xml.gz2004-04-08 09:32 1.3K 
[ ]add_soustr_1.con.body.xml.gz2004-04-08 09:32 1.3K 
[ ]dec_addQx_dec_Q.con.types.xml.gz2004-04-08 09:32 1.2K 
[ ]dec_addQx_dec_Q.con.body.xml.gz2004-04-08 09:32 1.2K 
[ ]finite_ind.con.types.xml.gz2004-04-08 09:32 1.2K 
[ ]incl_soustr.con.body.xml.gz2004-04-08 09:32 1.2K 
[ ]incl_trans.con.types.xml.gz2004-04-08 09:32 1.1K 
[ ]QinterS_addQxinterS.con.body.xml.gz2004-04-08 09:32 1.1K 
[ ]incl_add.con.body.xml.gz2004-04-08 09:32 1.1K 
[ ]not_In_soustr.con.types.xml.gz2004-04-08 09:32 1.1K 
[ ]notQ_notinterPQ.con.types.xml.gz2004-04-08 09:32 1.1K 
[ ]notP_notinterPQ.con.types.xml.gz2004-04-08 09:32 1.0K 
[ ]cardinal_inv.con.body.xml.gz2004-04-08 09:32 1.0K 
[ ]not_Exist_All_not.con.types.xml.gz2004-04-08 09:32 1.0K 
[ ]not_In_soustr_eq.con.types.xml.gz2004-04-08 09:32 1.0K 
[ ]inv_dec_on.con.types.xml.gz2004-04-08 09:32 1.0K 
[ ]incl_soustr_in.con.types.xml.gz2004-04-08 09:32 1.0K 
[ ]empty_union_P.con.body.xml.gz2004-04-08 09:32 958  
[ ]P_union_empty.con.body.xml.gz2004-04-08 09:32 953  
[ ]singlx.con.types.xml.gz2004-04-08 09:32 941  
[ ]cardinal_ind.con.xml.gz2004-04-08 09:32 926  
[ ]inv_dec_on.con.body.xml.gz2004-04-08 09:32 905  
[ ]decidable_on_ind.con.types.xml.gz2004-04-08 09:32 904  
[ ]inter_incl_r.con.types.xml.gz2004-04-08 09:32 901  
[ ]inter_incl_l.con.types.xml.gz2004-04-08 09:32 899  
[ ]cardinal_finite.con.body.xml.gz2004-04-08 09:32 899  
[ ]set_eq_inv.con.body.xml.gz2004-04-08 09:32 871  
[ ]In_not_In.con.types.xml.gz2004-04-08 09:32 857  
[ ]not_In_soustr.con.body.xml.gz2004-04-08 09:32 851  
[ ]cardinal_finite.con.types.xml.gz2004-04-08 09:32 845  
[ ]set_eq_ind.con.body.xml.gz2004-04-08 09:32 841  
[ ]inv_greatest_R.con.types.xml.gz2004-04-08 09:32 834  
[ ]onQ_not_All_Exist_not.con.xml.gz2004-04-08 09:32 831  
[ ]incl_soustr_in.con.body.xml.gz2004-04-08 09:32 831  
[ ]set_eq_inv.con.types.xml.gz2004-04-08 09:32 830  
[ ]inv_greatest_R.con.body.xml.gz2004-04-08 09:32 829  
[ ]greatest_ind.con.types.xml.gz2004-04-08 09:32 827  
[ ]still_in_soustr.con.types.xml.gz2004-04-08 09:32 825  
[ ]not_In_soustr_eq.con.body.xml.gz2004-04-08 09:32 818  
[ ]still_in_soustr.con.body.xml.gz2004-04-08 09:32 817  
[ ]notQ_notinterPQ.con.body.xml.gz2004-04-08 09:32 810  
[ ]notP_notinterPQ.con.body.xml.gz2004-04-08 09:32 808  
[ ]decidable_on_rect.con.body.xml.gz2004-04-08 09:32 808  
[ ]cardinal.ind.xml.gz2004-04-08 09:32 805  
[ ]add_in_or_eq.con.types.xml.gz2004-04-08 09:32 805  
[ ]notall_existnot_singleton.con.xml.gz2004-04-08 09:32 801  
[ ]decidable_ind.con.types.xml.gz2004-04-08 09:32 787  
[ ]set_eq_sym.con.body.xml.gz2004-04-08 09:32 780  
[ ]not_Exist_All_not.con.body.xml.gz2004-04-08 09:32 773  
[ ]finite_ind.con.xml.gz2004-04-08 09:32 771  
[ ]notall_addQx_notall_Q.con.xml.gz2004-04-08 09:32 766  
[ ]greatest_rect.con.body.xml.gz2004-04-08 09:32 766  
[ ]P_dec_on_Q_AllP_dec_on_Q.con.xml.gz2004-04-08 09:32 762  
[ ]inv_greatest_In.con.body.xml.gz2004-04-08 09:32 754  
[ ]singlx.con.body.xml.gz2004-04-08 09:32 750  
[ ]In_not_In.con.body.xml.gz2004-04-08 09:32 749  
[ ]decidable_rect.con.body.xml.gz2004-04-08 09:32 737  
[ ]incl_trans.con.body.xml.gz2004-04-08 09:32 724  
[ ]in_add_x.con.types.xml.gz2004-04-08 09:32 721  
[ ]inv_greatest_In.con.types.xml.gz2004-04-08 09:32 718  
[ ]decidable_on.ind.xml.gz2004-04-08 09:32 718  
[ ]set_eq_ind.con.types.xml.gz2004-04-08 09:32 717  
[ ]inter_intro.con.types.xml.gz2004-04-08 09:32 705  
[ ]inter_incl_r.con.body.xml.gz2004-04-08 09:32 704  
[ ]inter_incl_l.con.body.xml.gz2004-04-08 09:32 701  
[ ]finite.ind.xml.gz2004-04-08 09:32 701  
[ ]addQxinterS_addQinterSx.con.xml.gz2004-04-08 09:32 700  
[ ]In_not_In_sym.con.body.xml.gz2004-04-08 09:32 697  
[ ]addQinterSx_addQxinterS.con.xml.gz2004-04-08 09:32 694  
[ ]In_not_In_sym.con.types.xml.gz2004-04-08 09:32 694  
[ ]decidable_on_rect.con.xml.gz2004-04-08 09:32 693  
[ ]decidable_on_rec.con.xml.gz2004-04-08 09:32 691  
[ ]not_All_Exist_not.con.xml.gz2004-04-08 09:32 690  
[ ]incl_refl.con.types.xml.gz2004-04-08 09:32 688  
[ ]decidable_on_ind.con.xml.gz2004-04-08 09:32 684  
[ ]Card_gtO_exist_greatest.con.xml.gz2004-04-08 09:32 681  
[ ]greatest.ind.xml.gz2004-04-08 09:32 680  
[ ]add_soustr_xy.con.xml.gz2004-04-08 09:32 679  
[ ]set_eq_sym.con.types.xml.gz2004-04-08 09:32 676  
[ ]set_eq_ind.con.xml.gz2004-04-08 09:32 659  
[ ]greatest_rec.con.xml.gz2004-04-08 09:32 657  
[ ]addQxinterS_QinterS.con.xml.gz2004-04-08 09:32 656  
[ ]greatest_rect.con.xml.gz2004-04-08 09:32 654  
[ ]greatest_ind.con.xml.gz2004-04-08 09:32 650  
[ ]incl_empty.con.types.xml.gz2004-04-08 09:32 648  
[ ]decidable.ind.xml.gz2004-04-08 09:32 645  
[ ]P_dec_AllP_dec.con.xml.gz2004-04-08 09:32 642  
[ ]QinterS_addQxinterS.con.xml.gz2004-04-08 09:32 640  
[ ]decidable_rect.con.xml.gz2004-04-08 09:32 633  
[ ]inhabited_ind.con.body.xml.gz2004-04-08 09:32 631  
[ ]incl_st_add_soustr.con.xml.gz2004-04-08 09:32 630  
[ ]inter_intro.con.body.xml.gz2004-04-08 09:32 629  
[ ]incl_Q_add.con.types.xml.gz2004-04-08 09:32 629  
[ ]decidable_rec.con.xml.gz2004-04-08 09:32 628  
[ ]incl_st_add_x.con.xml.gz2004-04-08 09:32 624  
[ ]Im_add.con.xml.gz2004-04-08 09:32 624  
[ ]decidable_ind.con.xml.gz2004-04-08 09:32 621  
[ ]incl_st.con.body.xml.gz2004-04-08 09:32 620  
[ ]add_in_or_eq.con.xml.gz2004-04-08 09:32 618  
[ ]add_inh.con.types.xml.gz2004-04-08 09:32 617  
[ ]inv_inh_addQx.con.xml.gz2004-04-08 09:32 616  
[ ]incl_add_x.con.xml.gz2004-04-08 09:32 615  
[ ]Im.con.body.xml.gz2004-04-08 09:32 613  
[ ]card_soustr_1.con.xml.gz2004-04-08 09:32 612  
[ ]incl_st_card_lt.con.xml.gz2004-04-08 09:32 605  
[ ]not_Exist_All_not.con.xml.gz2004-04-08 09:32 604  
[ ]dec_addQx_dec_Q.con.xml.gz2004-04-08 09:32 599  
[ ]union_add.con.xml.gz2004-04-08 09:32 593  
[ ]inv_dec_on.con.xml.gz2004-04-08 09:32 593  
[ ]still_in_soustr.con.xml.gz2004-04-08 09:32 588  
[ ]cardinalO_empty.con.types.xml.gz2004-04-08 09:32 588  
[ ]incl_soustr_add_r.con.xml.gz2004-04-08 09:32 584  
[ ]incl_allV.con.types.xml.gz2004-04-08 09:32 584  
[ ]set_eq.ind.xml.gz2004-04-08 09:32 576  
[ ]inhabited_ind.con.types.xml.gz2004-04-08 09:32 564  
[ ]eq_add.con.types.xml.gz2004-04-08 09:32 564  
[ ]In_not_In_sym.con.xml.gz2004-04-08 09:32 562  
[ ]In_not_In.con.xml.gz2004-04-08 09:32 556  
[ ]add_soustr_1.con.xml.gz2004-04-08 09:32 551  
[ ]in_add_x.con.body.xml.gz2004-04-08 09:32 548  
[ ]in_Q_add.con.types.xml.gz2004-04-08 09:32 548  
[ ]add_soustr_2.con.xml.gz2004-04-08 09:32 548  
[ ]incl_add.con.xml.gz2004-04-08 09:32 547  
[ ]eq_add.con.body.xml.gz2004-04-08 09:32 547  
[ ]in_empty.con.types.xml.gz2004-04-08 09:32 545  
[ ]notQ_notinterPQ.con.xml.gz2004-04-08 09:32 541  
[ ]inhabited.ind.xml.gz2004-04-08 09:32 541  
[ ]add_inh.con.body.xml.gz2004-04-08 09:32 541  
[ ]notP_notinterPQ.con.xml.gz2004-04-08 09:32 539  
[ ]inh_card_gt_O.con.xml.gz2004-04-08 09:32 539  
[ ]singlx.con.xml.gz2004-04-08 09:32 533  
[ ]in_Q_add.con.body.xml.gz2004-04-08 09:32 533  
[ ]add_in_or_eq.con.body.xml.gz2004-04-08 09:32 533  
[ ]not_In_soustr.con.xml.gz2004-04-08 09:32 530  
[ ]finite_cardinal.con.xml.gz2004-04-08 09:32 530  
[ ]inv_greatest_R.con.xml.gz2004-04-08 09:32 527  
[ ]soustr.con.body.xml.gz2004-04-08 09:32 526  
[ ]extensionality.con.xml.gz2004-04-08 09:32 521  
[ ]inhabited_ind.con.xml.gz2004-04-08 09:32 519  
[ ]cardinalO_empty.con.body.xml.gz2004-04-08 09:32 518  
[ ]incl_soustr.con.xml.gz2004-04-08 09:32 514  
[ ]inter_intro.con.xml.gz2004-04-08 09:32 513  
[ ]incl_soustr_add_l.con.xml.gz2004-04-08 09:32 511  
[ ]set_eq_inv.con.xml.gz2004-04-08 09:32 509  
[ ]incl_empty.con.body.xml.gz2004-04-08 09:32 509  
[ ]V_decidable.con.xml.gz2004-04-08 09:32 509  
[ ]finite_image.con.xml.gz2004-04-08 09:32 503  
[ ]set_eq_refl.con.types.xml.gz2004-04-08 09:32 498  
[ ]in_allV.con.types.xml.gz2004-04-08 09:32 497  
[ ]set_eq_trans.con.xml.gz2004-04-08 09:32 490  
[ ]cardinalO_empty.con.xml.gz2004-04-08 09:32 487  
[ ]inter.con.body.xml.gz2004-04-08 09:32 486  
[ ]cardinal_inv.con.xml.gz2004-04-08 09:32 486  
[ ]union.con.body.xml.gz2004-04-08 09:32 485  
[ ]incl_soustr_in.con.xml.gz2004-04-08 09:32 484  
[ ]inv_greatest_In.con.xml.gz2004-04-08 09:32 481  
[ ]transitivity.con.body.xml.gz2004-04-08 09:32 480  
[ ]anti_symetry.con.body.xml.gz2004-04-08 09:32 480  
[ ]incl_Q_add.con.body.xml.gz2004-04-08 09:32 479  
[ ]finite_union.con.xml.gz2004-04-08 09:32 479  
[ ]incl.con.body.xml.gz2004-04-08 09:32 477  
[ ]add_inh.con.xml.gz2004-04-08 09:32 477  
[ ]add.con.body.xml.gz2004-04-08 09:32 474  
[ ]cardinal_finite.con.xml.gz2004-04-08 09:32 473  
[ ]incl_trans.con.xml.gz2004-04-08 09:32 472  
[ ]not_In_soustr_eq.con.xml.gz2004-04-08 09:32 471  
[ ]totality.con.body.xml.gz2004-04-08 09:32 470  
[ ]incl_Q_add.con.xml.gz2004-04-08 09:32 466  
[ ]in_add_x.con.xml.gz2004-04-08 09:32 463  
[ ]greatest_ind.con.body.xml.gz2004-04-08 09:32 460  
[ ]greatest_rec.con.body.xml.gz2004-04-08 09:32 456  
[ ]set_eq_refl.con.body.xml.gz2004-04-08 09:32 451  
[ ]union_sym.con.xml.gz2004-04-08 09:32 450  
[ ]decidable_on_ind.con.body.xml.gz2004-04-08 09:32 450  
[ ]incl_allV.con.body.xml.gz2004-04-08 09:32 449  
[ ]decidable_on_rec.con.body.xml.gz2004-04-08 09:32 448  
[ ]decidable_finite.con.xml.gz2004-04-08 09:32 448  
[ ]set_eq_sym.con.xml.gz2004-04-08 09:32 445  
[ ]eq_add.con.xml.gz2004-04-08 09:32 427  
[ ]incl_refl.con.body.xml.gz2004-04-08 09:32 426  
[ ]P_union_empty.con.xml.gz2004-04-08 09:32 426  
[ ]empty_union_P.con.xml.gz2004-04-08 09:32 425  
[ ]inter_incl_l.con.xml.gz2004-04-08 09:32 420  
[ ]finite_decidable.con.xml.gz2004-04-08 09:32 419  
[ ]inter_incl_r.con.xml.gz2004-04-08 09:32 418  
[ ]decidable_ind.con.body.xml.gz2004-04-08 09:32 417  
[ ]decidable_rec.con.body.xml.gz2004-04-08 09:32 414  
[ ]in_empty.con.xml.gz2004-04-08 09:32 411  
[ ]set_eq_refl.con.xml.gz2004-04-08 09:32 388  
[ ]in_Q_add.con.xml.gz2004-04-08 09:32 388  
[ ]in_empty.con.body.xml.gz2004-04-08 09:32 387  
[ ]reflexivity.con.body.xml.gz2004-04-08 09:32 384  
[ ]In.con.body.xml.gz2004-04-08 09:32 384  
[ ]in_allV.con.xml.gz2004-04-08 09:32 377  
[ ]order.con.body.xml.gz2004-04-08 09:32 375  
[ ]incl_allV.con.xml.gz2004-04-08 09:32 375  
[ ]incl_empty.con.xml.gz2004-04-08 09:32 372  
[ ]incl_refl.con.xml.gz2004-04-08 09:32 367  
[ ]in_allV.con.body.xml.gz2004-04-08 09:32 361  
[ ]total_order.con.body.xml.gz2004-04-08 09:32 346  
[ ]Im.con.xml.gz2004-04-08 09:32 343  
[ ]empty.con.body.xml.gz2004-04-08 09:32 340  
[ ]soustr.con.xml.gz2004-04-08 09:32 338  
[ ]union.con.xml.gz2004-04-08 09:32 337  
[ ]inter.con.xml.gz2004-04-08 09:32 337  
[ ]all_.con.body.xml.gz2004-04-08 09:32 337  
[ ]In.con.xml.gz2004-04-08 09:32 322  
[ ]incl_st.con.xml.gz2004-04-08 09:32 319  
[ ]incl.con.xml.gz2004-04-08 09:32 314  
[ ]set.con.body.xml.gz2004-04-08 09:32 305  
[ ]anti_symetry.con.xml.gz2004-04-08 09:32 264  
[ ]total_order.con.xml.gz2004-04-08 09:32 262  
[ ]transitivity.con.xml.gz2004-04-08 09:32 257  
[ ]add.con.xml.gz2004-04-08 09:32 257  
[ ]reflexivity.con.xml.gz2004-04-08 09:32 256  
[ ]order.con.xml.gz2004-04-08 09:32 252  
[ ]totality.con.xml.gz2004-04-08 09:32 250  
[ ]empty.con.xml.gz2004-04-08 09:32 247  
[ ]all_.con.xml.gz2004-04-08 09:32 245  
[ ]set.con.xml.gz2004-04-08 09:32 232  
[ ]decidable_on_rect.con.types.xml.gz2004-04-08 09:32 224  
[ ]decidable_on_rec.con.types.xml.gz2004-04-08 09:32 222  
[ ]extensionality.con.types.xml.gz2004-04-08 09:32 219  
[ ]decidable_rect.con.types.xml.gz2004-04-08 09:32 219  
[ ]decidable_rec.con.types.xml.gz2004-04-08 09:32 218  
[ ]greatest_rect.con.types.xml.gz2004-04-08 09:32 217  
[ ]transitivity.con.types.xml.gz2004-04-08 09:32 216  
[ ]greatest_rec.con.types.xml.gz2004-04-08 09:32 216  
[ ]decidable_on.ind.types.xml.gz2004-04-08 09:32 216  
[ ]anti_symetry.con.types.xml.gz2004-04-08 09:32 216  
[ ]V_decidable.con.types.xml.gz2004-04-08 09:32 215  
[ ]total_order.con.types.xml.gz2004-04-08 09:32 214  
[ ]reflexivity.con.types.xml.gz2004-04-08 09:32 214  
[ ]decidable.ind.types.xml.gz2004-04-08 09:32 211  
[ ]inhabited.ind.types.xml.gz2004-04-08 09:32 210  
[ ]totality.con.types.xml.gz2004-04-08 09:32 209  
[ ]greatest.ind.types.xml.gz2004-04-08 09:32 209  
[ ]cardinal.ind.types.xml.gz2004-04-08 09:32 209  
[ ]incl_st.con.types.xml.gz2004-04-08 09:32 208  
[ ]soustr.con.types.xml.gz2004-04-08 09:32 206  
[ ]set_eq.ind.types.xml.gz2004-04-08 09:32 206  
[ ]order.con.types.xml.gz2004-04-08 09:32 205  
[ ]finite.ind.types.xml.gz2004-04-08 09:32 205  
[ ]empty.con.types.xml.gz2004-04-08 09:32 205  
[ ]union.con.types.xml.gz2004-04-08 09:32 204  
[ ]inter.con.types.xml.gz2004-04-08 09:32 204  
[ ]incl.con.types.xml.gz2004-04-08 09:32 203  
[ ]all_.con.types.xml.gz2004-04-08 09:32 203  
[ ]add.con.types.xml.gz2004-04-08 09:32 202  
[ ]set.con.types.xml.gz2004-04-08 09:32 201  
[ ]In.con.types.xml.gz2004-04-08 09:32 200  
[ ]Im.con.types.xml.gz2004-04-08 09:32 200  
[DIR]sets/2005-07-05 08:14 -  
Apache/2.4.62 (Debian) Server at mowgli.cs.unibo.it Port 80