Index of /xml/Sophia-Antipolis/Functions_in_ZFC/Functions_in_ZFC

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]A_in_next_A_Out.con.body.xml.gz2006-03-28 19:04 385  
[ ]A_in_next_A_Out.con.types.xml.gz2006-03-28 19:04 415  
[ ]A_in_next_A_Out.con.xml.gz2006-03-28 19:04 329  
[DIR]A_in_next_A_proof/2006-03-28 19:04 -  
[ ]A_sub_V_proof1_Out.con.body.xml.gz2006-03-28 19:04 348  
[ ]A_sub_V_proof1_Out.con.types.xml.gz2006-03-28 19:04 497  
[ ]A_sub_V_proof1_Out.con.xml.gz2006-03-28 19:04 333  
[ ]A_sub_V_proof_Out.con.body.xml.gz2006-03-28 19:04 385  
[ ]A_sub_V_proof_Out.con.types.xml.gz2006-03-28 19:04 348  
[ ]A_sub_V_proof_Out.con.xml.gz2006-03-28 19:04 381  
[ ]A_sub_next_A_Out.con.body.xml.gz2006-03-28 19:04 367  
[ ]A_sub_next_A_Out.con.types.xml.gz2006-03-28 19:04 419  
[ ]A_sub_next_A_Out.con.xml.gz2006-03-28 19:04 327  
[DIR]A_sub_next_A_proof/2006-03-28 19:04 -  
[ ]B_sub_V_proof1_Out.con.body.xml.gz2006-03-28 19:04 349  
[ ]B_sub_V_proof1_Out.con.types.xml.gz2006-03-28 19:04 498  
[ ]B_sub_V_proof1_Out.con.xml.gz2006-03-28 19:04 334  
[ ]B_sub_V_proof_Out.con.body.xml.gz2006-03-28 19:04 385  
[ ]B_sub_V_proof_Out.con.types.xml.gz2006-03-28 19:04 349  
[ ]B_sub_V_proof_Out.con.xml.gz2006-03-28 19:04 382  
[ ]Big_Extensionality.con.body.xml.gz2006-03-28 19:04 673  
[ ]Big_Extensionality.con.types.xml.gz2006-03-28 19:04 587  
[ ]Big_Extensionality.con.xml.gz2006-03-28 19:04 530  
[ ]Bounded.con.body.xml.gz2006-03-28 19:04 468  
[ ]Bounded.con.types.xml.gz2006-03-28 19:04 212  
[ ]Bounded.con.xml.gz2006-03-28 19:04 330  
[ ]Bounded_By.con.body.xml.gz2006-03-28 19:04 495  
[ ]Bounded_By.con.types.xml.gz2006-03-28 19:04 218  
[ ]Bounded_By.con.xml.gz2006-03-28 19:04 349  
[ ]Bounded_CHOICE.con.body.xml.gz2006-03-28 19:04 420  
[ ]Bounded_CHOICE.con.types.xml.gz2006-03-28 19:04 225  
[ ]Bounded_CHOICE.con.xml.gz2006-03-28 19:04 347  
[ ]Bounded_CHOICE_pr.con.body.xml.gz2006-03-28 19:04 491  
[ ]Bounded_CHOICE_pr.con.types.xml.gz2006-03-28 19:04 657  
[ ]Bounded_CHOICE_pr.con.xml.gz2006-03-28 19:04 469  
[ ]Bounded_NN.con.body.xml.gz2006-03-28 19:04 265  
[ ]Bounded_NN.con.types.xml.gz2006-03-28 19:04 462  
[ ]Bounded_NN.con.xml.gz2006-03-28 19:04 290  
[ ]Bounded_NN_pre.con.body.xml.gz2006-03-28 19:04 531  
[ ]Bounded_NN_pre.con.types.xml.gz2006-03-28 19:04 531  
[ ]Bounded_NN_pre.con.xml.gz2006-03-28 19:04 409  
[DIR]Bounded_NN_proof/2006-03-28 19:04 -  
[ ]Bounded_NN_proof2_Out.con.body.xml.gz2006-03-28 19:04 339  
[ ]Bounded_NN_proof2_Out.con.types.xml.gz2006-03-28 19:04 556  
[ ]Bounded_NN_proof2_Out.con.xml.gz2006-03-28 19:04 343  
[ ]Bounded_NN_proof_Out.con.body.xml.gz2006-03-28 19:04 340  
[ ]Bounded_NN_proof_Out.con.types.xml.gz2006-03-28 19:04 308  
[ ]Bounded_NN_proof_Out.con.xml.gz2006-03-28 19:04 313  
[ ]Bounded_sub2_Out.con.body.xml.gz2006-03-28 19:04 360  
[ ]Bounded_sub2_Out.con.types.xml.gz2006-03-28 19:04 332  
[ ]Bounded_sub2_Out.con.xml.gz2006-03-28 19:04 335  
[DIR]Bounded_subprops1/2006-03-28 19:04 -  
[ ]Bounded_subprops1_Out.con.body.xml.gz2006-03-28 19:04 525  
[ ]Bounded_subprops1_Out.con.types.xml.gz2006-03-28 19:04 498  
[ ]Bounded_subprops1_Out.con.xml.gz2006-03-28 19:04 341  
[DIR]Bounded_subprops2/2006-03-28 19:04 -  
[ ]Bounded_subprops_th1.con.body.xml.gz2006-03-28 19:04 676  
[ ]Bounded_subprops_th1.con.types.xml.gz2006-03-28 19:04 619  
[ ]Bounded_subprops_th1.con.xml.gz2006-03-28 19:04 541  
[ ]Bounded_subprops_th2.con.body.xml.gz2006-03-28 19:04 631  
[ ]Bounded_subprops_th2.con.types.xml.gz2006-03-28 19:04 565  
[ ]Bounded_subprops_th2.con.xml.gz2006-03-28 19:04 507  
[ ]Bounded_th1.con.body.xml.gz2006-03-28 19:04 622  
[ ]Bounded_th1.con.types.xml.gz2006-03-28 19:04 724  
[ ]Bounded_th1.con.xml.gz2006-03-28 19:04 514  
[DIR]Bounded_th1_proof/2006-03-28 19:04 -  
[ ]Bounded_th1_proof_Out.con.body.xml.gz2006-03-28 19:04 474  
[ ]Bounded_th1_proof_Out.con.types.xml.gz2006-03-28 19:04 450  
[ ]Bounded_th1_proof_Out.con.xml.gz2006-03-28 19:04 444  
[ ]Bounded_th2.con.body.xml.gz2006-03-28 19:04 511  
[ ]Bounded_th2.con.types.xml.gz2006-03-28 19:04 641  
[ ]Bounded_th2.con.xml.gz2006-03-28 19:04 455  
[ ]CHOICE.con.types.xml.gz2006-03-28 19:04 211  
[ ]CHOICE.con.xml.gz2006-03-28 19:04 330  
[ ]CHOICE_pr.con.types.xml.gz2006-03-28 19:04 216  
[ ]CHOICE_pr.con.xml.gz2006-03-28 19:04 442  
[ ]COMP.con.body.xml.gz2006-03-28 19:04 429  
[ ]COMP.con.types.xml.gz2006-03-28 19:04 207  
[ ]COMP.con.xml.gz2006-03-28 19:04 300  
[ ]COMP_assoc.con.body.xml.gz2006-03-28 19:04 612  
[ ]COMP_assoc.con.types.xml.gz2006-03-28 19:04 831  
[ ]COMP_assoc.con.xml.gz2006-03-28 19:04 509  
[ ]COMP_assoc_th1.con.body.xml.gz2006-03-28 19:04 633  
[ ]COMP_assoc_th1.con.types.xml.gz2006-03-28 19:04 668  
[ ]COMP_assoc_th1.con.xml.gz2006-03-28 19:04 506  
[ ]COMP_assoc_th2.con.body.xml.gz2006-03-28 19:04 632  
[ ]COMP_assoc_th2.con.types.xml.gz2006-03-28 19:04 667  
[ ]COMP_assoc_th2.con.xml.gz2006-03-28 19:04 505  
[ ]COMP_pr1.con.body.xml.gz2006-03-28 19:04 519  
[ ]COMP_pr1.con.types.xml.gz2006-03-28 19:04 781  
[ ]COMP_pr1.con.xml.gz2006-03-28 19:04 504  
[ ]COMP_pr2.con.body.xml.gz2006-03-28 19:04 519  
[ ]COMP_pr2.con.types.xml.gz2006-03-28 19:04 779  
[ ]COMP_pr2.con.xml.gz2006-03-28 19:04 504  
[ ]COMP_th1.con.body.xml.gz2006-03-28 19:04 559  
[ ]COMP_th1.con.types.xml.gz2006-03-28 19:04 690  
[ ]COMP_th1.con.xml.gz2006-03-28 19:04 411  
[ ]COMP_th2.con.body.xml.gz2006-03-28 19:04 563  
[ ]COMP_th2.con.types.xml.gz2006-03-28 19:04 891  
[ ]COMP_th2.con.xml.gz2006-03-28 19:04 476  
[ ]COMP_th3.con.body.xml.gz2006-03-28 19:04 562  
[ ]COMP_th3.con.types.xml.gz2006-03-28 19:04 731  
[ ]COMP_th3.con.xml.gz2006-03-28 19:04 549  
[ ]COMP_th3p.con.body.xml.gz2006-03-28 19:04 623  
[ ]COMP_th3p.con.types.xml.gz2006-03-28 19:04 701  
[ ]COMP_th3p.con.xml.gz2006-03-28 19:04 582  
[ ]COMP_th4.con.body.xml.gz2006-03-28 19:04 561  
[ ]COMP_th4.con.types.xml.gz2006-03-28 19:04 735  
[ ]COMP_th4.con.xml.gz2006-03-28 19:04 551  
[ ]COMP_th4p.con.body.xml.gz2006-03-28 19:04 623  
[ ]COMP_th4p.con.types.xml.gz2006-03-28 19:04 699  
[ ]COMP_th4p.con.xml.gz2006-03-28 19:04 581  
[ ]COMP_th5.con.body.xml.gz2006-03-28 19:04 710  
[ ]COMP_th5.con.types.xml.gz2006-03-28 19:04 711  
[ ]COMP_th5.con.xml.gz2006-03-28 19:04 591  
[DIR]COMPp/2006-03-28 19:04 -  
[ ]COMPp_Out3.con.body.xml.gz2006-03-28 19:04 583  
[ ]COMPp_Out3.con.types.xml.gz2006-03-28 19:04 401  
[ ]COMPp_Out3.con.xml.gz2006-03-28 19:04 412  
[ ]COMPp_Out4.con.body.xml.gz2006-03-28 19:04 584  
[ ]COMPp_Out4.con.types.xml.gz2006-03-28 19:04 396  
[ ]COMPp_Out4.con.xml.gz2006-03-28 19:04 407  
[ ]Cartesian.con.body.xml.gz2006-03-28 19:04 434  
[ ]Cartesian.con.types.xml.gz2006-03-28 19:04 215  
[ ]Cartesian.con.xml.gz2006-03-28 19:04 308  
[ ]Cartesian_construction.con.body.xml.gz2006-03-28 19:04 640  
[ ]Cartesian_construction.con.types.xml.gz2006-03-28 19:04 677  
[ ]Cartesian_construction.con.xml.gz2006-03-28 19:04 563  
[ ]Cartesian_pair_th1.con.body.xml.gz2006-03-28 19:04 637  
[ ]Cartesian_pair_th1.con.types.xml.gz2006-03-28 19:04 594  
[ ]Cartesian_pair_th1.con.xml.gz2006-03-28 19:04 526  
[ ]Cartesian_pair_th2.con.body.xml.gz2006-03-28 19:04 637  
[ ]Cartesian_pair_th2.con.types.xml.gz2006-03-28 19:04 597  
[ ]Cartesian_pair_th2.con.xml.gz2006-03-28 19:04 524  
[ ]Cartesian_pr1.con.body.xml.gz2006-03-28 19:04 495  
[ ]Cartesian_pr1.con.types.xml.gz2006-03-28 19:04 828  
[ ]Cartesian_pr1.con.xml.gz2006-03-28 19:04 510  
[ ]Cartesian_pr2.con.body.xml.gz2006-03-28 19:04 495  
[ ]Cartesian_pr2.con.types.xml.gz2006-03-28 19:04 823  
[ ]Cartesian_pr2.con.xml.gz2006-03-28 19:04 508  
[ ]Cartesian_proj1_th.con.body.xml.gz2006-03-28 19:04 577  
[ ]Cartesian_proj1_th.con.types.xml.gz2006-03-28 19:04 640  
[ ]Cartesian_proj1_th.con.xml.gz2006-03-28 19:04 508  
[ ]Cartesian_proj2_th.con.body.xml.gz2006-03-28 19:04 575  
[ ]Cartesian_proj2_th.con.types.xml.gz2006-03-28 19:04 640  
[ ]Cartesian_proj2_th.con.xml.gz2006-03-28 19:04 506  
[ ]Cartesian_th1.con.body.xml.gz2006-03-28 19:04 566  
[ ]Cartesian_th1.con.types.xml.gz2006-03-28 19:04 587  
[ ]Cartesian_th1.con.xml.gz2006-03-28 19:04 478  
[ ]Choose_an_element.con.body.xml.gz2006-03-28 19:04 492  
[ ]Choose_an_element.con.types.xml.gz2006-03-28 19:04 228  
[ ]Choose_an_element.con.xml.gz2006-03-28 19:04 392  
[ ]Choose_an_element_pr.con.body.xml.gz2006-03-28 19:04 529  
[ ]Choose_an_element_pr.con.types.xml.gz2006-03-28 19:04 766  
[ ]Choose_an_element_pr.con.xml.gz2006-03-28 19:04 468  
[ ]Comp_INTER.con.body.xml.gz2006-03-28 19:04 541  
[ ]Comp_INTER.con.types.xml.gz2006-03-28 19:04 218  
[ ]Comp_INTER.con.xml.gz2006-03-28 19:04 320  
[ ]Comp_INTER_pr1.con.body.xml.gz2006-03-28 19:04 700  
[ ]Comp_INTER_pr1.con.types.xml.gz2006-03-28 19:04 1.0K 
[ ]Comp_INTER_pr1.con.xml.gz2006-03-28 19:04 569  
[ ]Comp_INTER_th1.con.body.xml.gz2006-03-28 19:04 647  
[ ]Comp_INTER_th1.con.types.xml.gz2006-03-28 19:04 787  
[ ]Comp_INTER_th1.con.xml.gz2006-03-28 19:04 565  
[ ]Comp_INTER_th2.con.body.xml.gz2006-03-28 19:04 649  
[ ]Comp_INTER_th2.con.types.xml.gz2006-03-28 19:04 796  
[ ]Comp_INTER_th2.con.xml.gz2006-03-28 19:04 563  
[ ]Comp_INTERp.con.body.xml.gz2006-03-28 19:04 462  
[ ]Comp_INTERp.con.types.xml.gz2006-03-28 19:04 219  
[ ]Comp_INTERp.con.xml.gz2006-03-28 19:04 328  
[ ]Comp_inter.ind.types.xml.gz2006-03-28 19:04 214  
[ ]Comp_inter.ind.xml.gz2006-03-28 19:04 750  
[ ]Comp_inter_ind.con.body.xml.gz2006-03-28 19:04 512  
[ ]Comp_inter_ind.con.types.xml.gz2006-03-28 19:04 867  
[ ]Comp_inter_ind.con.xml.gz2006-03-28 19:04 665  
[ ]Comp_inter_rec.con.body.xml.gz2006-03-28 19:04 510  
[ ]Comp_inter_rec.con.types.xml.gz2006-03-28 19:04 222  
[ ]Comp_inter_rec.con.xml.gz2006-03-28 19:04 672  
[ ]Comp_inter_rect.con.body.xml.gz2006-03-28 19:04 787  
[ ]Comp_inter_rect.con.types.xml.gz2006-03-28 19:04 223  
[ ]Comp_inter_rect.con.xml.gz2006-03-28 19:04 670  
[ ]Comp_inter_xy.con.body.xml.gz2006-03-28 19:04 887  
[ ]Comp_inter_xy.con.types.xml.gz2006-03-28 19:04 795  
[ ]Comp_inter_xy.con.xml.gz2006-03-28 19:04 556  
[ ]Comp_inter_yz.con.body.xml.gz2006-03-28 19:04 884  
[ ]Comp_inter_yz.con.types.xml.gz2006-03-28 19:04 801  
[ ]Comp_inter_yz.con.xml.gz2006-03-28 19:04 557  
[ ]Comp_intern.con.body.xml.gz2006-03-28 19:04 956  
[ ]Comp_intern.con.types.xml.gz2006-03-28 19:04 1.0K 
[ ]Comp_intern.con.xml.gz2006-03-28 19:04 603  
[ ]Comp_pair.con.body.xml.gz2006-03-28 19:04 869  
[ ]Comp_pair.con.types.xml.gz2006-03-28 19:04 742  
[ ]Comp_pair.con.xml.gz2006-03-28 19:04 466  
[ ]Comp_prop.ind.types.xml.gz2006-03-28 19:04 215  
[ ]Comp_prop.ind.xml.gz2006-03-28 19:04 744  
[ ]Comp_prop_ind.con.body.xml.gz2006-03-28 19:04 469  
[ ]Comp_prop_ind.con.types.xml.gz2006-03-28 19:04 898  
[ ]Comp_prop_ind.con.xml.gz2006-03-28 19:04 706  
[ ]Comp_prop_rec.con.body.xml.gz2006-03-28 19:04 467  
[ ]Comp_prop_rec.con.types.xml.gz2006-03-28 19:04 222  
[ ]Comp_prop_rec.con.xml.gz2006-03-28 19:04 714  
[ ]Comp_prop_rect.con.body.xml.gz2006-03-28 19:04 819  
[ ]Comp_prop_rect.con.types.xml.gz2006-03-28 19:04 223  
[ ]Comp_prop_rect.con.xml.gz2006-03-28 19:04 713  
[ ]Comp_prop_th1.con.body.xml.gz2006-03-28 19:04 615  
[ ]Comp_prop_th1.con.types.xml.gz2006-03-28 19:04 715  
[ ]Comp_prop_th1.con.xml.gz2006-03-28 19:04 517  
[ ]Comp_prop_th2.con.body.xml.gz2006-03-28 19:04 618  
[ ]Comp_prop_th2.con.types.xml.gz2006-03-28 19:04 712  
[ ]Comp_prop_th2.con.xml.gz2006-03-28 19:04 516  
[ ]Comp_prop_th3.con.body.xml.gz2006-03-28 19:04 577  
[ ]Comp_prop_th3.con.types.xml.gz2006-03-28 19:04 674  
[ ]Comp_prop_th3.con.xml.gz2006-03-28 19:04 554  
[ ]Contains_NN.ind.types.xml.gz2006-03-28 19:04 217  
[ ]Contains_NN.ind.xml.gz2006-03-28 19:04 669  
[ ]Contains_NN_Naturals.con.body.xml.gz2006-03-28 19:04 356  
[ ]Contains_NN_Naturals.con.types.xml.gz2006-03-28 19:04 339  
[ ]Contains_NN_Naturals.con.xml.gz2006-03-28 19:04 313  
[ ]Contains_NN_ind.con.body.xml.gz2006-03-28 19:04 419  
[ ]Contains_NN_ind.con.types.xml.gz2006-03-28 19:04 794  
[ ]Contains_NN_ind.con.xml.gz2006-03-28 19:04 623  
[ ]Contains_NN_nexts.con.body.xml.gz2006-03-28 19:04 867  
[ ]Contains_NN_nexts.con.types.xml.gz2006-03-28 19:04 840  
[ ]Contains_NN_nexts.con.xml.gz2006-03-28 19:04 499  
[ ]Contains_NN_rec.con.body.xml.gz2006-03-28 19:04 417  
[ ]Contains_NN_rec.con.types.xml.gz2006-03-28 19:04 224  
[ ]Contains_NN_rec.con.xml.gz2006-03-28 19:04 633  
[ ]Contains_NN_rect.con.body.xml.gz2006-03-28 19:04 743  
[ ]Contains_NN_rect.con.types.xml.gz2006-03-28 19:04 226  
[ ]Contains_NN_rect.con.xml.gz2006-03-28 19:04 631  
[ ]Contains_NN_zero.con.body.xml.gz2006-03-28 19:04 796  
[ ]Contains_NN_zero.con.types.xml.gz2006-03-28 19:04 684  
[ ]Contains_NN_zero.con.xml.gz2006-03-28 19:04 433  
[ ]DOESNT_EXIST.con.body.xml.gz2006-03-28 19:04 467  
[ ]DOESNT_EXIST.con.types.xml.gz2006-03-28 19:04 222  
[ ]DOESNT_EXIST.con.xml.gz2006-03-28 19:04 340  
[ ]Domain.con.body.xml.gz2006-03-28 19:04 389  
[ ]Domain.con.types.xml.gz2006-03-28 19:04 211  
[ ]Domain.con.xml.gz2006-03-28 19:04 294  
[ ]Domain_pr1.con.body.xml.gz2006-03-28 19:04 435  
[ ]Domain_pr1.con.types.xml.gz2006-03-28 19:04 719  
[ ]Domain_pr1.con.xml.gz2006-03-28 19:04 451  
[ ]Domain_pr2.con.body.xml.gz2006-03-28 19:04 435  
[ ]Domain_pr2.con.types.xml.gz2006-03-28 19:04 727  
[ ]Domain_pr2.con.xml.gz2006-03-28 19:04 454  
[ ]Domain_prop.con.body.xml.gz2006-03-28 19:04 478  
[ ]Domain_prop.con.types.xml.gz2006-03-28 19:04 217  
[ ]Domain_prop.con.xml.gz2006-03-28 19:04 322  
[ ]Domain_prop_bounded.con.body.xml.gz2006-03-28 19:04 418  
[ ]Domain_prop_bounded.con.types.xml.gz2006-03-28 19:04 471  
[ ]Domain_prop_bounded.con.xml.gz2006-03-28 19:04 398  
[ ]Domain_prop_bounded_Out.con.body.xml.gz2006-03-28 19:04 388  
[ ]Domain_prop_bounded_Out.con.types.xml.gz2006-03-28 19:04 367  
[ ]Domain_prop_bounded_Out.con.xml.gz2006-03-28 19:04 359  
[DIR]Domain_prop_bounded_proof/2006-03-28 19:04 -  
[ ]Domain_prop_bounded_proof_1_Out.con.body.xml.gz2006-03-28 19:04 405  
[ ]Domain_prop_bounded_proof_1_Out.con.types.xml.gz2006-03-28 19:04 421  
[ ]Domain_prop_bounded_proof_1_Out.con.xml.gz2006-03-28 19:04 371  
[ ]Domain_th1.con.body.xml.gz2006-03-28 19:04 574  
[ ]Domain_th1.con.types.xml.gz2006-03-28 19:04 570  
[ ]Domain_th1.con.xml.gz2006-03-28 19:04 491  
[ ]Domain_th1_Out.con.body.xml.gz2006-03-28 19:04 350  
[ ]Domain_th1_Out.con.types.xml.gz2006-03-28 19:04 359  
[ ]Domain_th1_Out.con.xml.gz2006-03-28 19:04 357  
[DIR]Domain_th1_proof/2006-03-28 19:04 -  
[ ]Doubleton.con.body.xml.gz2006-03-28 19:04 425  
[ ]Doubleton.con.types.xml.gz2006-03-28 19:04 215  
[ ]Doubleton.con.xml.gz2006-03-28 19:04 309  
[ ]Doubleton_th1.con.body.xml.gz2006-03-28 19:04 445  
[ ]Doubleton_th1.con.types.xml.gz2006-03-28 19:04 510  
[ ]Doubleton_th1.con.xml.gz2006-03-28 19:04 420  
[ ]Doubleton_th2.con.body.xml.gz2006-03-28 19:04 445  
[ ]Doubleton_th2.con.types.xml.gz2006-03-28 19:04 509  
[ ]Doubleton_th2.con.xml.gz2006-03-28 19:04 420  
[ ]Doubleton_th3.con.body.xml.gz2006-03-28 19:04 601  
[ ]Doubleton_th3.con.types.xml.gz2006-03-28 19:04 607  
[ ]Doubleton_th3.con.xml.gz2006-03-28 19:04 508  
[ ]Doubleton_th4.con.body.xml.gz2006-03-28 19:04 734  
[ ]Doubleton_th4.con.types.xml.gz2006-03-28 19:04 613  
[ ]Doubleton_th4.con.xml.gz2006-03-28 19:04 576  
[ ]Doubleton_th4_a.con.body.xml.gz2006-03-28 19:04 685  
[ ]Doubleton_th4_a.con.types.xml.gz2006-03-28 19:04 634  
[ ]Doubleton_th4_a.con.xml.gz2006-03-28 19:04 558  
[ ]Doubleton_th4_b.con.body.xml.gz2006-03-28 19:04 681  
[ ]Doubleton_th4_b.con.types.xml.gz2006-03-28 19:04 630  
[ ]Doubleton_th4_b.con.xml.gz2006-03-28 19:04 556  
[ ]Doubleton_uniqueness.con.body.xml.gz2006-03-28 19:04 955  
[ ]Doubleton_uniqueness.con.types.xml.gz2006-03-28 19:04 828  
[ ]Doubleton_uniqueness.con.xml.gz2006-03-28 19:04 758  
[ ]EQ.ind.types.xml.gz2006-03-28 19:04 203  
[ ]EQ.ind.xml.gz2006-03-28 19:04 586  
[ ]EQ_backwards.con.body.xml.gz2006-03-28 19:04 710  
[ ]EQ_backwards.con.types.xml.gz2006-03-28 19:04 611  
[ ]EQ_backwards.con.xml.gz2006-03-28 19:04 456  
[ ]EQ_forwards.con.body.xml.gz2006-03-28 19:04 700  
[ ]EQ_forwards.con.types.xml.gz2006-03-28 19:04 606  
[ ]EQ_forwards.con.xml.gz2006-03-28 19:04 448  
[ ]EQ_ind.con.body.xml.gz2006-03-28 19:04 430  
[ ]EQ_ind.con.types.xml.gz2006-03-28 19:04 673  
[ ]EQ_ind.con.xml.gz2006-03-28 19:04 533  
[ ]EQ_rec.con.body.xml.gz2006-03-28 19:04 429  
[ ]EQ_rec.con.types.xml.gz2006-03-28 19:04 211  
[ ]EQ_rec.con.xml.gz2006-03-28 19:04 541  
[ ]EQ_rect.con.body.xml.gz2006-03-28 19:04 649  
[ ]EQ_rect.con.types.xml.gz2006-03-28 19:04 212  
[ ]EQ_rect.con.xml.gz2006-03-28 19:04 539  
[ ]EQ_refl.con.body.xml.gz2006-03-28 19:04 403  
[ ]EQ_refl.con.types.xml.gz2006-03-28 19:04 444  
[ ]EQ_refl.con.xml.gz2006-03-28 19:04 378  
[ ]EQ_symm.con.body.xml.gz2006-03-28 19:04 533  
[ ]EQ_symm.con.types.xml.gz2006-03-28 19:04 504  
[ ]EQ_symm.con.xml.gz2006-03-28 19:04 437  
[ ]EQ_trans.con.body.xml.gz2006-03-28 19:04 609  
[ ]EQ_trans.con.types.xml.gz2006-03-28 19:04 541  
[ ]EQ_trans.con.xml.gz2006-03-28 19:04 480  
[DIR]EQ_trans_proof/2006-03-28 19:04 -  
[ ]EQ_trans_proof_Out.con.body.xml.gz2006-03-28 19:04 400  
[ ]EQ_trans_proof_Out.con.types.xml.gz2006-03-28 19:04 349  
[ ]EQ_trans_proof_Out.con.xml.gz2006-03-28 19:04 363  
[ ]EV.con.body.xml.gz2006-03-28 19:04 465  
[ ]EV.con.types.xml.gz2006-03-28 19:04 204  
[ ]EV.con.xml.gz2006-03-28 19:04 297  
[ ]EV_in_range.con.body.xml.gz2006-03-28 19:04 544  
[ ]EV_in_range.con.types.xml.gz2006-03-28 19:04 589  
[ ]EV_in_range.con.xml.gz2006-03-28 19:04 489  
[ ]EV_pr.con.body.xml.gz2006-03-28 19:04 560  
[ ]EV_pr.con.types.xml.gz2006-03-28 19:04 873  
[ ]EV_pr.con.xml.gz2006-03-28 19:04 480  
[ ]EV_th1.con.body.xml.gz2006-03-28 19:04 512  
[ ]EV_th1.con.types.xml.gz2006-03-28 19:04 627  
[ ]EV_th1.con.xml.gz2006-03-28 19:04 494  
[ ]EXISTS.con.body.xml.gz2006-03-28 19:04 433  
[ ]EXISTS.con.types.xml.gz2006-03-28 19:04 211  
[ ]EXISTS.con.xml.gz2006-03-28 19:04 329  
[ ]EXISTS_th1.con.body.xml.gz2006-03-28 19:04 608  
[ ]EXISTS_th1.con.types.xml.gz2006-03-28 19:04 540  
[ ]EXISTS_th1.con.xml.gz2006-03-28 19:04 451  
[DIR]EXISTS_th1_proof/2006-03-28 19:04 -  
[ ]EXISTS_th1_proof_Out.con.body.xml.gz2006-03-28 19:04 326  
[ ]EXISTS_th1_proof_Out.con.types.xml.gz2006-03-28 19:04 478  
[ ]EXISTS_th1_proof_Out.con.xml.gz2006-03-28 19:04 312  
[ ]Element_of_NN.con.body.xml.gz2006-03-28 19:04 480  
[ ]Element_of_NN.con.types.xml.gz2006-03-28 19:04 223  
[ ]Element_of_NN.con.xml.gz2006-03-28 19:04 315  
[ ]EmptySet.con.types.xml.gz2006-03-28 19:04 214  
[ ]EmptySet.con.xml.gz2006-03-28 19:04 247  
[ ]EmptySet_pr.con.types.xml.gz2006-03-28 19:04 219  
[ ]EmptySet_pr.con.xml.gz2006-03-28 19:04 394  
[ ]EmptySet_th1.con.body.xml.gz2006-03-28 19:04 487  
[ ]EmptySet_th1.con.types.xml.gz2006-03-28 19:04 461  
[ ]EmptySet_th1.con.xml.gz2006-03-28 19:04 419  
[ ]EmptySet_th2.con.body.xml.gz2006-03-28 19:04 418  
[ ]EmptySet_th2.con.types.xml.gz2006-03-28 19:04 441  
[ ]EmptySet_th2.con.xml.gz2006-03-28 19:04 377  
[ ]Ens.con.types.xml.gz2006-03-28 19:04 205  
[ ]Ens.con.xml.gz2006-03-28 19:04 195  
[ ]Extensionality.con.types.xml.gz2006-03-28 19:04 221  
[ ]Extensionality.con.xml.gz2006-03-28 19:04 490  
[ ]Extensionality_for_functions.con.body.xml.gz2006-03-28 19:04 756  
[ ]Extensionality_for_functions.con.types.xml.gz2006-03-28 19:04 667  
[ ]Extensionality_for_functions.con.xml.gz2006-03-28 19:04 602  
[ ]Extensionally_equivalent.con.body.xml.gz2006-03-28 19:04 620  
[ ]Extensionally_equivalent.con.types.xml.gz2006-03-28 19:04 239  
[ ]Extensionally_equivalent.con.xml.gz2006-03-28 19:04 346  
[ ]First.con.body.xml.gz2006-03-28 19:04 361  
[ ]First.con.types.xml.gz2006-03-28 19:04 208  
[ ]First.con.xml.gz2006-03-28 19:04 291  
[ ]First_uniqueness.con.body.xml.gz2006-03-28 19:04 569  
[ ]First_uniqueness.con.types.xml.gz2006-03-28 19:04 552  
[ ]First_uniqueness.con.xml.gz2006-03-28 19:04 484  
[ ]IN.con.types.xml.gz2006-03-28 19:04 204  
[ ]IN.con.xml.gz2006-03-28 19:04 305  
[ ]Infinity_exists.con.types.xml.gz2006-03-28 19:04 225  
[ ]Infinity_exists.con.xml.gz2006-03-28 19:04 311  
[ ]Intersection.con.body.xml.gz2006-03-28 19:04 428  
[ ]Intersection.con.types.xml.gz2006-03-28 19:04 218  
[ ]Intersection.con.xml.gz2006-03-28 19:04 324  
[ ]IntersectionProp.con.body.xml.gz2006-03-28 19:04 484  
[ ]IntersectionProp.con.types.xml.gz2006-03-28 19:04 225  
[ ]IntersectionProp.con.xml.gz2006-03-28 19:04 357  
[ ]Intersection_Bounded.con.body.xml.gz2006-03-28 19:04 449  
[ ]Intersection_Bounded.con.types.xml.gz2006-03-28 19:04 498  
[ ]Intersection_Bounded.con.xml.gz2006-03-28 19:04 423  
[ ]Intersection_pr1.con.body.xml.gz2006-03-28 19:04 474  
[ ]Intersection_pr1.con.types.xml.gz2006-03-28 19:04 740  
[ ]Intersection_pr1.con.xml.gz2006-03-28 19:04 484  
[ ]Intersection_pr2.con.body.xml.gz2006-03-28 19:04 474  
[ ]Intersection_pr2.con.types.xml.gz2006-03-28 19:04 751  
[ ]Intersection_pr2.con.xml.gz2006-03-28 19:04 492  
[DIR]Intersection_section1/2006-03-28 19:04 -  
[ ]Intersection_section1_1_Out.con.body.xml.gz2006-03-28 19:04 352  
[ ]Intersection_section1_1_Out.con.types.xml.gz2006-03-28 19:04 571  
[ ]Intersection_section1_1_Out.con.xml.gz2006-03-28 19:04 345  
[ ]Intersection_section1_Out.con.body.xml.gz2006-03-28 19:04 394  
[ ]Intersection_section1_Out.con.types.xml.gz2006-03-28 19:04 366  
[ ]Intersection_section1_Out.con.xml.gz2006-03-28 19:04 363  
[ ]Intersection_th1.con.body.xml.gz2006-03-28 19:04 271  
[ ]Intersection_th1.con.types.xml.gz2006-03-28 19:04 664  
[ ]Intersection_th1.con.xml.gz2006-03-28 19:04 522  
[ ]Intersection_th2.con.body.xml.gz2006-03-28 19:04 558  
[ ]Intersection_th2.con.types.xml.gz2006-03-28 19:04 596  
[ ]Intersection_th2.con.xml.gz2006-03-28 19:04 516  
[ ]Its_empty.con.body.xml.gz2006-03-28 19:04 450  
[ ]Its_empty.con.types.xml.gz2006-03-28 19:04 215  
[ ]Its_empty.con.xml.gz2006-03-28 19:04 308  
[ ]Its_empty_emptyset.con.body.xml.gz2006-03-28 19:04 280  
[ ]Its_empty_emptyset.con.types.xml.gz2006-03-28 19:04 496  
[ ]Its_empty_emptyset.con.xml.gz2006-03-28 19:04 296  
[ ]Its_nonempty.con.body.xml.gz2006-03-28 19:04 402  
[ ]Its_nonempty.con.types.xml.gz2006-03-28 19:04 220  
[ ]Its_nonempty.con.xml.gz2006-03-28 19:04 312  
[DIR]Its_nonempty_proof/2006-03-28 19:04 -  
[ ]Its_nonempty_proof_Out.con.body.xml.gz2006-03-28 19:04 336  
[ ]Its_nonempty_proof_Out.con.types.xml.gz2006-03-28 19:04 535  
[ ]Its_nonempty_proof_Out.con.xml.gz2006-03-28 19:04 309  
[ ]Its_nonempty_th1.con.body.xml.gz2006-03-28 19:04 578  
[ ]Its_nonempty_th1.con.types.xml.gz2006-03-28 19:04 511  
[ ]Its_nonempty_th1.con.xml.gz2006-03-28 19:04 426  
[ ]NEQ.con.body.xml.gz2006-03-28 19:04 424  
[ ]NEQ.con.types.xml.gz2006-03-28 19:04 206  
[ ]NEQ.con.xml.gz2006-03-28 19:04 311  
[ ]NEQ_symm.con.body.xml.gz2006-03-28 19:04 587  
[ ]NEQ_symm.con.types.xml.gz2006-03-28 19:04 510  
[ ]NEQ_symm.con.xml.gz2006-03-28 19:04 420  
[ ]Naturals.con.body.xml.gz2006-03-28 19:04 301  
[ ]Naturals.con.types.xml.gz2006-03-28 19:04 214  
[ ]Naturals.con.xml.gz2006-03-28 19:04 249  
[ ]Naturals_pr1.con.body.xml.gz2006-03-28 19:04 327  
[ ]Naturals_pr1.con.types.xml.gz2006-03-28 19:04 528  
[ ]Naturals_pr1.con.xml.gz2006-03-28 19:04 409  
[ ]Naturals_pr2.con.body.xml.gz2006-03-28 19:04 326  
[ ]Naturals_pr2.con.types.xml.gz2006-03-28 19:04 538  
[ ]Naturals_pr2.con.xml.gz2006-03-28 19:04 412  
[ ]Naturals_th1.con.body.xml.gz2006-03-28 19:04 595  
[ ]Naturals_th1.con.types.xml.gz2006-03-28 19:04 552  
[ ]Naturals_th1.con.xml.gz2006-03-28 19:04 431  
[DIR]Naturals_th1_proof/2006-03-28 19:04 -  
[ ]Naturals_th1_proof_Out.con.body.xml.gz2006-03-28 19:04 342  
[ ]Naturals_th1_proof_Out.con.types.xml.gz2006-03-28 19:04 555  
[ ]Naturals_th1_proof_Out.con.xml.gz2006-03-28 19:04 346  
[ ]Next.con.body.xml.gz2006-03-28 19:04 387  
[ ]Next.con.types.xml.gz2006-03-28 19:04 208  
[ ]Next.con.xml.gz2006-03-28 19:04 291  
[ ]Nexts_element_of_NN.con.body.xml.gz2006-03-28 19:04 596  
[ ]Nexts_element_of_NN.con.types.xml.gz2006-03-28 19:04 582  
[ ]Nexts_element_of_NN.con.xml.gz2006-03-28 19:04 426  
[DIR]Nexts_element_of_NN_proof/2006-03-28 19:04 -  
[ ]Nexts_element_of_NN_proof_Out.con.body.xml.gz2006-03-28 19:04 393  
[ ]Nexts_element_of_NN_proof_Out.con.types.xml.gz2006-03-28 19:04 416  
[ ]Nexts_element_of_NN_proof_Out.con.xml.gz2006-03-28 19:04 360  
[ ]Nexts_in_Naturals.con.body.xml.gz2006-03-28 19:04 532  
[ ]Nexts_in_Naturals.con.types.xml.gz2006-03-28 19:04 579  
[ ]Nexts_in_Naturals.con.xml.gz2006-03-28 19:04 438  
[ ]Nothing_strictsub_Zero.con.body.xml.gz2006-03-28 19:04 524  
[ ]Nothing_strictsub_Zero.con.types.xml.gz2006-03-28 19:04 486  
[ ]Nothing_strictsub_Zero.con.xml.gz2006-03-28 19:04 443  
[ ]PAIR.con.body.xml.gz2006-03-28 19:04 421  
[ ]PAIR.con.types.xml.gz2006-03-28 19:04 208  
[ ]PAIR.con.xml.gz2006-03-28 19:04 301  
[ ]PAIR_proj1_pr1.con.body.xml.gz2006-03-28 19:04 619  
[ ]PAIR_proj1_pr1.con.types.xml.gz2006-03-28 19:04 1.1K 
[ ]PAIR_proj1_pr1.con.xml.gz2006-03-28 19:04 549  
[ ]PAIR_proj_th1.con.body.xml.gz2006-03-28 19:04 614  
[ ]PAIR_proj_th1.con.types.xml.gz2006-03-28 19:04 907  
[ ]PAIR_proj_th1.con.xml.gz2006-03-28 19:04 489  
[ ]PAIR_proj_th2.con.body.xml.gz2006-03-28 19:04 447  
[ ]PAIR_proj_th2.con.types.xml.gz2006-03-28 19:04 650  
[ ]PAIR_proj_th2.con.xml.gz2006-03-28 19:04 510  
[ ]PAIR_proj_th3.con.body.xml.gz2006-03-28 19:04 545  
[ ]PAIR_proj_th3.con.types.xml.gz2006-03-28 19:04 646  
[ ]PAIR_proj_th3.con.xml.gz2006-03-28 19:04 456  
[ ]PAIR_proj_th4.con.body.xml.gz2006-03-28 19:04 546  
[ ]PAIR_proj_th4.con.types.xml.gz2006-03-28 19:04 650  
[ ]PAIR_proj_th4.con.xml.gz2006-03-28 19:04 455  
[ ]PAIR_proj_uni.con.body.xml.gz2006-03-28 19:04 747  
[ ]PAIR_proj_uni.con.types.xml.gz2006-03-28 19:04 658  
[ ]PAIR_proj_uni.con.xml.gz2006-03-28 19:04 595  
[ ]PAIR_proj_uni_Out.con.body.xml.gz2006-03-28 19:04 435  
[ ]PAIR_proj_uni_Out.con.types.xml.gz2006-03-28 19:04 354  
[ ]PAIR_proj_uni_Out.con.xml.gz2006-03-28 19:04 405  
[DIR]PAIR_proj_uni_proof/2006-03-28 19:04 -  
[ ]PAIR_uni_ac.con.body.xml.gz2006-03-28 19:04 645  
[ ]PAIR_uni_ac.con.types.xml.gz2006-03-28 19:04 637  
[ ]PAIR_uni_ac.con.xml.gz2006-03-28 19:04 525  
[ ]PAIR_uni_bd.con.body.xml.gz2006-03-28 19:04 645  
[ ]PAIR_uni_bd.con.types.xml.gz2006-03-28 19:04 637  
[ ]PAIR_uni_bd.con.xml.gz2006-03-28 19:04 522  
[ ]PAIR_uniqueness.con.body.xml.gz2006-03-28 19:04 648  
[ ]PAIR_uniqueness.con.types.xml.gz2006-03-28 19:04 658  
[ ]PAIR_uniqueness.con.xml.gz2006-03-28 19:04 559  
[ ]PR1.con.body.xml.gz2006-03-28 19:04 520  
[ ]PR1.con.types.xml.gz2006-03-28 19:04 206  
[ ]PR1.con.xml.gz2006-03-28 19:04 290  
[ ]PR2.con.body.xml.gz2006-03-28 19:04 485  
[ ]PR2.con.types.xml.gz2006-03-28 19:04 206  
[ ]PR2.con.xml.gz2006-03-28 19:04 288  
[ ]PowerPlus.con.body.xml.gz2006-03-28 19:04 393  
[ ]PowerPlus.con.types.xml.gz2006-03-28 19:04 215  
[ ]PowerPlus.con.xml.gz2006-03-28 19:04 299  
[ ]PowerPlus_th1.con.body.xml.gz2006-03-28 19:04 414  
[ ]PowerPlus_th1.con.types.xml.gz2006-03-28 19:04 549  
[ ]PowerPlus_th1.con.xml.gz2006-03-28 19:04 395  
[ ]PowerPlus_th2.con.body.xml.gz2006-03-28 19:04 414  
[ ]PowerPlus_th2.con.types.xml.gz2006-03-28 19:04 581  
[ ]PowerPlus_th2.con.xml.gz2006-03-28 19:04 409  
[ ]PowerTotal.con.body.xml.gz2006-03-28 19:04 402  
[ ]PowerTotal.con.types.xml.gz2006-03-28 19:04 217  
[ ]PowerTotal.con.xml.gz2006-03-28 19:04 301  
[ ]PowerTotal_th1.con.body.xml.gz2006-03-28 19:04 605  
[ ]PowerTotal_th1.con.types.xml.gz2006-03-28 19:04 697  
[ ]PowerTotal_th1.con.xml.gz2006-03-28 19:04 523  
[ ]PowerTotal_th2.con.body.xml.gz2006-03-28 19:04 629  
[ ]PowerTotal_th2.con.types.xml.gz2006-03-28 19:04 699  
[ ]PowerTotal_th2.con.xml.gz2006-03-28 19:04 571  
[ ]Powerset.con.body.xml.gz2006-03-28 19:04 432  
[ ]Powerset.con.types.xml.gz2006-03-28 19:04 212  
[ ]Powerset.con.xml.gz2006-03-28 19:04 295  
[ ]Powerset_bounded.con.types.xml.gz2006-03-28 19:04 225  
[ ]Powerset_bounded.con.xml.gz2006-03-28 19:04 442  
[ ]Powerset_pr1.con.body.xml.gz2006-03-28 19:04 493  
[ ]Powerset_pr1.con.types.xml.gz2006-03-28 19:04 824  
[ ]Powerset_pr1.con.xml.gz2006-03-28 19:04 449  
[ ]Powerset_pr2.con.body.xml.gz2006-03-28 19:04 493  
[ ]Powerset_pr2.con.types.xml.gz2006-03-28 19:04 823  
[ ]Powerset_pr2.con.xml.gz2006-03-28 19:04 451  
[ ]Powerset_th1.con.body.xml.gz2006-03-28 19:04 404  
[ ]Powerset_th1.con.types.xml.gz2006-03-28 19:04 478  
[ ]Powerset_th1.con.xml.gz2006-03-28 19:04 394  
[ ]Powerset_th2.con.body.xml.gz2006-03-28 19:04 626  
[ ]Powerset_th2.con.types.xml.gz2006-03-28 19:04 651  
[ ]Powerset_th2.con.xml.gz2006-03-28 19:04 535  
[ ]Powerset_th3.con.body.xml.gz2006-03-28 19:04 571  
[ ]Powerset_th3.con.types.xml.gz2006-03-28 19:04 607  
[ ]Powerset_th3.con.xml.gz2006-03-28 19:04 501  
[ ]Powerset_th4.con.body.xml.gz2006-03-28 19:04 517  
[ ]Powerset_th4.con.types.xml.gz2006-03-28 19:04 563  
[ ]Powerset_th4.con.xml.gz2006-03-28 19:04 462  
[ ]Powerset_th5.con.body.xml.gz2006-03-28 19:04 594  
[ ]Powerset_th5.con.types.xml.gz2006-03-28 19:04 634  
[ ]Powerset_th5.con.xml.gz2006-03-28 19:04 515  
[ ]Powerset_th6.con.body.xml.gz2006-03-28 19:04 516  
[ ]Powerset_th6.con.types.xml.gz2006-03-28 19:04 586  
[ ]Powerset_th6.con.xml.gz2006-03-28 19:04 478  
[ ]Powerset_th7.con.body.xml.gz2006-03-28 19:04 625  
[ ]Powerset_th7.con.types.xml.gz2006-03-28 19:04 603  
[ ]Powerset_th7.con.xml.gz2006-03-28 19:04 458  
[ ]REPLACEMENT.con.types.xml.gz2006-03-28 19:04 220  
[ ]REPLACEMENT.con.xml.gz2006-03-28 19:04 339  
[ ]REPLACEMENT_pr1.con.types.xml.gz2006-03-28 19:04 228  
[ ]REPLACEMENT_pr1.con.xml.gz2006-03-28 19:04 512  
[ ]REPLACEMENT_pr2.con.types.xml.gz2006-03-28 19:04 228  
[ ]REPLACEMENT_pr2.con.xml.gz2006-03-28 19:04 513  
[ ]Range.con.body.xml.gz2006-03-28 19:04 388  
[ ]Range.con.types.xml.gz2006-03-28 19:04 209  
[ ]Range.con.xml.gz2006-03-28 19:04 293  
[ ]Range_pr1.con.body.xml.gz2006-03-28 19:04 433  
[ ]Range_pr1.con.types.xml.gz2006-03-28 19:04 716  
[ ]Range_pr1.con.xml.gz2006-03-28 19:04 448  
[ ]Range_pr2.con.body.xml.gz2006-03-28 19:04 433  
[ ]Range_pr2.con.types.xml.gz2006-03-28 19:04 725  
[ ]Range_pr2.con.xml.gz2006-03-28 19:04 453  
[ ]Range_prop.con.body.xml.gz2006-03-28 19:04 474  
[ ]Range_prop.con.types.xml.gz2006-03-28 19:04 217  
[ ]Range_prop.con.xml.gz2006-03-28 19:04 321  
[ ]Range_prop_bounded.con.body.xml.gz2006-03-28 19:04 417  
[ ]Range_prop_bounded.con.types.xml.gz2006-03-28 19:04 470  
[ ]Range_prop_bounded.con.xml.gz2006-03-28 19:04 397  
[ ]Range_prop_bounded_Out.con.body.xml.gz2006-03-28 19:04 387  
[ ]Range_prop_bounded_Out.con.types.xml.gz2006-03-28 19:04 365  
[ ]Range_prop_bounded_Out.con.xml.gz2006-03-28 19:04 358  
[DIR]Range_prop_bounded_proof/2006-03-28 19:04 -  
[ ]Range_prop_bounded_proof_1_Out.con.body.xml.gz2006-03-28 19:04 403  
[ ]Range_prop_bounded_proof_1_Out.con.types.xml.gz2006-03-28 19:04 418  
[ ]Range_prop_bounded_proof_1_Out.con.xml.gz2006-03-28 19:04 368  
[ ]Range_th1.con.body.xml.gz2006-03-28 19:04 573  
[ ]Range_th1.con.types.xml.gz2006-03-28 19:04 569  
[ ]Range_th1.con.xml.gz2006-03-28 19:04 489  
[ ]Range_th1_Out.con.body.xml.gz2006-03-28 19:04 350  
[ ]Range_th1_Out.con.types.xml.gz2006-03-28 19:04 357  
[ ]Range_th1_Out.con.xml.gz2006-03-28 19:04 356  
[DIR]Range_th1_proof/2006-03-28 19:04 -  
[ ]Relation_Total_th1.con.body.xml.gz2006-03-28 19:04 592  
[ ]Relation_Total_th1.con.types.xml.gz2006-03-28 19:04 583  
[ ]Relation_Total_th1.con.xml.gz2006-03-28 19:04 506  
[ ]Relation_Total_th2.con.body.xml.gz2006-03-28 19:04 592  
[ ]Relation_Total_th2.con.types.xml.gz2006-03-28 19:04 583  
[ ]Relation_Total_th2.con.xml.gz2006-03-28 19:04 506  
[ ]Restriction.ind.types.xml.gz2006-03-28 19:04 217  
[ ]Restriction.ind.xml.gz2006-03-28 19:04 667  
[ ]Restriction_bounded.con.body.xml.gz2006-03-28 19:04 499  
[ ]Restriction_bounded.con.types.xml.gz2006-03-28 19:04 563  
[ ]Restriction_bounded.con.xml.gz2006-03-28 19:04 477  
[ ]Restriction_ind.con.body.xml.gz2006-03-28 19:04 516  
[ ]Restriction_ind.con.types.xml.gz2006-03-28 19:04 720  
[ ]Restriction_ind.con.xml.gz2006-03-28 19:04 602  
[ ]Restriction_rec.con.body.xml.gz2006-03-28 19:04 520  
[ ]Restriction_rec.con.types.xml.gz2006-03-28 19:04 224  
[ ]Restriction_rec.con.xml.gz2006-03-28 19:04 606  
[ ]Restriction_rect.con.body.xml.gz2006-03-28 19:04 709  
[ ]Restriction_rect.con.types.xml.gz2006-03-28 19:04 226  
[ ]Restriction_rect.con.xml.gz2006-03-28 19:04 597  
[ ]SUB.con.body.xml.gz2006-03-28 19:04 456  
[ ]SUB.con.types.xml.gz2006-03-28 19:04 206  
[ ]SUB.con.xml.gz2006-03-28 19:04 311  
[ ]SUBPROP.con.body.xml.gz2006-03-28 19:04 485  
[ ]SUBPROP.con.types.xml.gz2006-03-28 19:04 214  
[ ]SUBPROP.con.xml.gz2006-03-28 19:04 355  
[ ]SUB_refl.con.body.xml.gz2006-03-28 19:04 517  
[ ]SUB_refl.con.types.xml.gz2006-03-28 19:04 484  
[ ]SUB_refl.con.xml.gz2006-03-28 19:04 366  
[ ]SUB_trans.con.body.xml.gz2006-03-28 19:04 681  
[ ]SUB_trans.con.types.xml.gz2006-03-28 19:04 585  
[ ]SUB_trans.con.xml.gz2006-03-28 19:04 468  
[DIR]SUB_trans_proof/2006-03-28 19:04 -  
[ ]SUB_trans_proof_Out.con.body.xml.gz2006-03-28 19:04 346  
[ ]SUB_trans_proof_Out.con.types.xml.gz2006-03-28 19:04 533  
[ ]SUB_trans_proof_Out.con.xml.gz2006-03-28 19:04 351  
[ ]Second.con.body.xml.gz2006-03-28 19:04 396  
[ ]Second.con.types.xml.gz2006-03-28 19:04 209  
[ ]Second.con.xml.gz2006-03-28 19:04 294  
[ ]Second_has_geq_2_elements.con.body.xml.gz2006-03-28 19:04 432  
[ ]Second_has_geq_2_elements.con.types.xml.gz2006-03-28 19:04 480  
[ ]Second_has_geq_2_elements.con.xml.gz2006-03-28 19:04 409  
[ ]Second_uniqueness.con.body.xml.gz2006-03-28 19:04 576  
[ ]Second_uniqueness.con.types.xml.gz2006-03-28 19:04 554  
[ ]Second_uniqueness.con.xml.gz2006-03-28 19:04 486  
[ ]Set_Of.con.body.xml.gz2006-03-28 19:04 472  
[ ]Set_Of.con.types.xml.gz2006-03-28 19:04 210  
[ ]Set_Of.con.xml.gz2006-03-28 19:04 343  
[ ]Set_Of_pr1.con.body.xml.gz2006-03-28 19:04 531  
[ ]Set_Of_pr1.con.types.xml.gz2006-03-28 19:04 848  
[ ]Set_Of_pr1.con.xml.gz2006-03-28 19:04 545  
[ ]Set_Of_pr2.con.body.xml.gz2006-03-28 19:04 531  
[ ]Set_Of_pr2.con.types.xml.gz2006-03-28 19:04 851  
[ ]Set_Of_pr2.con.xml.gz2006-03-28 19:04 544  
[ ]Set_Of_th1.con.body.xml.gz2006-03-28 19:04 647  
[ ]Set_Of_th1.con.types.xml.gz2006-03-28 19:04 675  
[ ]Set_Of_th1.con.xml.gz2006-03-28 19:04 534  
[ ]Set_Of_th2.con.body.xml.gz2006-03-28 19:04 610  
[ ]Set_Of_th2.con.types.xml.gz2006-03-28 19:04 615  
[ ]Set_Of_th2.con.xml.gz2006-03-28 19:04 507  
[ ]Set_Of_th3.con.body.xml.gz2006-03-28 19:04 611  
[ ]Set_Of_th3.con.types.xml.gz2006-03-28 19:04 636  
[ ]Set_Of_th3.con.xml.gz2006-03-28 19:04 512  
[ ]Set_Of_th4.con.body.xml.gz2006-03-28 19:04 264  
[ ]Set_Of_th4.con.types.xml.gz2006-03-28 19:04 633  
[ ]Set_Of_th4.con.xml.gz2006-03-28 19:04 450  
[ ]Set_containing_NN.con.body.xml.gz2006-03-28 19:04 322  
[ ]Set_containing_NN.con.types.xml.gz2006-03-28 19:04 227  
[ ]Set_containing_NN.con.xml.gz2006-03-28 19:04 263  
[ ]Set_containing_NN_pr.con.body.xml.gz2006-03-28 19:04 348  
[ ]Set_containing_NN_pr.con.types.xml.gz2006-03-28 19:04 397  
[ ]Set_containing_NN_pr.con.xml.gz2006-03-28 19:04 315  
[ ]Singleton.con.types.xml.gz2006-03-28 19:04 213  
[ ]Singleton.con.xml.gz2006-03-28 19:04 296  
[ ]Singleton_pr1.con.types.xml.gz2006-03-28 19:04 220  
[ ]Singleton_pr1.con.xml.gz2006-03-28 19:04 391  
[ ]Singleton_pr2.con.types.xml.gz2006-03-28 19:04 220  
[ ]Singleton_pr2.con.xml.gz2006-03-28 19:04 466  
[ ]Singleton_th1.con.body.xml.gz2006-03-28 19:04 629  
[ ]Singleton_th1.con.types.xml.gz2006-03-28 19:04 566  
[ ]Singleton_th1.con.xml.gz2006-03-28 19:04 449  
[DIR]Singleton_th1_proof/2006-03-28 19:04 -  
[ ]Singleton_th1_proof_Out.con.body.xml.gz2006-03-28 19:04 534  
[ ]Singleton_th1_proof_Out.con.types.xml.gz2006-03-28 19:04 503  
[ ]Singleton_th1_proof_Out.con.xml.gz2006-03-28 19:04 339  
[ ]Singleton_th1_sub1_Out.con.body.xml.gz2006-03-28 19:04 402  
[ ]Singleton_th1_sub1_Out.con.types.xml.gz2006-03-28 19:04 353  
[ ]Singleton_th1_sub1_Out.con.xml.gz2006-03-28 19:04 364  
[ ]Singleton_th2.con.body.xml.gz2006-03-28 19:04 503  
[ ]Singleton_th2.con.types.xml.gz2006-03-28 19:04 479  
[ ]Singleton_th2.con.xml.gz2006-03-28 19:04 392  
[DIR]Singleton_th2_proof/2006-03-28 19:04 -  
[ ]Singleton_th2_proof_Out.con.body.xml.gz2006-03-28 19:04 332  
[ ]Singleton_th2_proof_Out.con.types.xml.gz2006-03-28 19:04 314  
[ ]Singleton_th2_proof_Out.con.xml.gz2006-03-28 19:04 319  
[ ]Singleton_uniqueness.con.body.xml.gz2006-03-28 19:04 279  
[ ]Singleton_uniqueness.con.types.xml.gz2006-03-28 19:04 620  
[ ]Singleton_uniqueness.con.xml.gz2006-03-28 19:04 493  
[ ]Singletons_have_geq_1_elements.con.body.xml.gz2006-03-28 19:04 298  
[ ]Singletons_have_geq_1_elements.con.types.xml.gz2006-03-28 19:04 498  
[ ]Singletons_have_geq_1_elements.con.xml.gz2006-03-28 19:04 418  
[ ]Singletons_have_leq_1_elements.con.body.xml.gz2006-03-28 19:04 660  
[ ]Singletons_have_leq_1_elements.con.types.xml.gz2006-03-28 19:04 622  
[ ]Singletons_have_leq_1_elements.con.xml.gz2006-03-28 19:04 419  
[ ]StrictSUB.ind.types.xml.gz2006-03-28 19:04 215  
[ ]StrictSUB.ind.xml.gz2006-03-28 19:04 629  
[ ]StrictSUB_ind.con.body.xml.gz2006-03-28 19:04 442  
[ ]StrictSUB_ind.con.types.xml.gz2006-03-28 19:04 732  
[ ]StrictSUB_ind.con.xml.gz2006-03-28 19:04 580  
[ ]StrictSUB_neq.con.body.xml.gz2006-03-28 19:04 762  
[ ]StrictSUB_neq.con.types.xml.gz2006-03-28 19:04 690  
[ ]StrictSUB_neq.con.xml.gz2006-03-28 19:04 493  
[ ]StrictSUB_rec.con.body.xml.gz2006-03-28 19:04 440  
[ ]StrictSUB_rec.con.types.xml.gz2006-03-28 19:04 222  
[ ]StrictSUB_rec.con.xml.gz2006-03-28 19:04 587  
[ ]StrictSUB_rect.con.body.xml.gz2006-03-28 19:04 698  
[ ]StrictSUB_rect.con.types.xml.gz2006-03-28 19:04 224  
[ ]StrictSUB_rect.con.xml.gz2006-03-28 19:04 583  
[ ]StrictSUB_sub.con.body.xml.gz2006-03-28 19:04 749  
[ ]StrictSUB_sub.con.types.xml.gz2006-03-28 19:04 647  
[ ]StrictSUB_sub.con.xml.gz2006-03-28 19:04 452  
[ ]StrictSUB_trans1.con.body.xml.gz2006-03-28 19:04 634  
[ ]StrictSUB_trans1.con.types.xml.gz2006-03-28 19:04 569  
[ ]StrictSUB_trans1.con.xml.gz2006-03-28 19:04 504  
[ ]Substitute.con.body.xml.gz2006-03-28 19:04 633  
[ ]Substitute.con.types.xml.gz2006-03-28 19:04 597  
[ ]Substitute.con.xml.gz2006-03-28 19:04 512  
[ ]Total.con.body.xml.gz2006-03-28 19:04 390  
[ ]Total.con.types.xml.gz2006-03-28 19:04 209  
[ ]Total.con.xml.gz2006-03-28 19:04 293  
[ ]Total_th1.con.body.xml.gz2006-03-28 19:04 512  
[ ]Total_th1.con.types.xml.gz2006-03-28 19:04 522  
[ ]Total_th1.con.xml.gz2006-03-28 19:04 445  
[ ]Total_th2.con.body.xml.gz2006-03-28 19:04 597  
[ ]Total_th2.con.types.xml.gz2006-03-28 19:04 577  
[ ]Total_th2.con.xml.gz2006-03-28 19:04 488  
[ ]Total_th3.con.body.xml.gz2006-03-28 19:04 668  
[ ]Total_th3.con.types.xml.gz2006-03-28 19:04 603  
[ ]Total_th3.con.xml.gz2006-03-28 19:04 532  
[ ]Total_th4.con.body.xml.gz2006-03-28 19:04 748  
[ ]Total_th4.con.types.xml.gz2006-03-28 19:04 653  
[ ]Total_th4.con.xml.gz2006-03-28 19:04 576  
[ ]Union.con.body.xml.gz2006-03-28 19:04 388  
[ ]Union.con.types.xml.gz2006-03-28 19:04 208  
[ ]Union.con.xml.gz2006-03-28 19:04 293  
[ ]UnionPlus.con.body.xml.gz2006-03-28 19:04 392  
[ ]UnionPlus.con.types.xml.gz2006-03-28 19:04 215  
[ ]UnionPlus.con.xml.gz2006-03-28 19:04 299  
[ ]UnionPlus_th1.con.body.xml.gz2006-03-28 19:04 495  
[ ]UnionPlus_th1.con.types.xml.gz2006-03-28 19:04 600  
[ ]UnionPlus_th1.con.xml.gz2006-03-28 19:04 449  
[ ]UnionPlus_th2.con.body.xml.gz2006-03-28 19:04 610  
[ ]UnionPlus_th2.con.types.xml.gz2006-03-28 19:04 687  
[ ]UnionPlus_th2.con.xml.gz2006-03-28 19:04 494  
[ ]Union_bounded.con.types.xml.gz2006-03-28 19:04 221  
[ ]Union_bounded.con.xml.gz2006-03-28 19:04 388  
[ ]Union_intermediate.con.body.xml.gz2006-03-28 19:04 564  
[ ]Union_intermediate.con.types.xml.gz2006-03-28 19:04 229  
[ ]Union_intermediate.con.xml.gz2006-03-28 19:04 433  
[ ]Union_intermediate_pr.con.body.xml.gz2006-03-28 19:04 640  
[ ]Union_intermediate_pr.con.types.xml.gz2006-03-28 19:04 873  
[ ]Union_intermediate_pr.con.xml.gz2006-03-28 19:04 537  
[ ]Union_intermediate_th1.con.body.xml.gz2006-03-28 19:04 580  
[ ]Union_intermediate_th1.con.types.xml.gz2006-03-28 19:04 665  
[ ]Union_intermediate_th1.con.xml.gz2006-03-28 19:04 512  
[ ]Union_intermediate_th2.con.body.xml.gz2006-03-28 19:04 580  
[ ]Union_intermediate_th2.con.types.xml.gz2006-03-28 19:04 674  
[ ]Union_intermediate_th2.con.xml.gz2006-03-28 19:04 512  
[ ]Union_pr1.con.body.xml.gz2006-03-28 19:04 619  
[ ]Union_pr1.con.types.xml.gz2006-03-28 19:04 858  
[ ]Union_pr1.con.xml.gz2006-03-28 19:04 550  
[ ]Union_pr2.con.body.xml.gz2006-03-28 19:04 438  
[ ]Union_pr2.con.types.xml.gz2006-03-28 19:04 880  
[ ]Union_pr2.con.xml.gz2006-03-28 19:04 545  
[ ]Union_th1.con.body.xml.gz2006-03-28 19:04 602  
[ ]Union_th1.con.types.xml.gz2006-03-28 19:04 580  
[ ]Union_th1.con.xml.gz2006-03-28 19:04 490  
[DIR]Union_th1_proof/2006-03-28 19:04 -  
[ ]Zero.con.body.xml.gz2006-03-28 19:04 256  
[ ]Zero.con.types.xml.gz2006-03-28 19:04 207  
[ ]Zero.con.xml.gz2006-03-28 19:04 242  
[ ]Zero_element_of_NN.con.body.xml.gz2006-03-28 19:04 517  
[ ]Zero_element_of_NN.con.types.xml.gz2006-03-28 19:04 506  
[ ]Zero_element_of_NN.con.xml.gz2006-03-28 19:04 298  
[DIR]Zero_element_of_NN_proof/2006-03-28 19:04 -  
[ ]Zero_element_of_NN_proof_Out.con.body.xml.gz2006-03-28 19:04 363  
[ ]Zero_element_of_NN_proof_Out.con.types.xml.gz2006-03-28 19:04 359  
[ ]Zero_element_of_NN_proof_Out.con.xml.gz2006-03-28 19:04 345  
[ ]Zero_in_Naturals.con.body.xml.gz2006-03-28 19:04 323  
[ ]Zero_in_Naturals.con.types.xml.gz2006-03-28 19:04 328  
[ ]Zero_in_Naturals.con.xml.gz2006-03-28 19:04 300  
[ ]a_pair_is_a_pair.con.body.xml.gz2006-03-28 19:04 445  
[ ]a_pair_is_a_pair.con.types.xml.gz2006-03-28 19:04 493  
[ ]a_pair_is_a_pair.con.xml.gz2006-03-28 19:04 417  
[ ]a_pair_is_a_pair_Out.con.body.xml.gz2006-03-28 19:04 581  
[ ]a_pair_is_a_pair_Out.con.types.xml.gz2006-03-28 19:04 582  
[ ]a_pair_is_a_pair_Out.con.xml.gz2006-03-28 19:04 335  
[DIR]a_pair_is_a_pair_proof/2006-03-28 19:04 -  
[ ]a_pair_is_a_pair_th2.con.body.xml.gz2006-03-28 19:04 667  
[ ]a_pair_is_a_pair_th2.con.types.xml.gz2006-03-28 19:04 609  
[ ]a_pair_is_a_pair_th2.con.xml.gz2006-03-28 19:04 499  
[ ]anything_in_next_of_itself.con.body.xml.gz2006-03-28 19:04 431  
[ ]anything_in_next_of_itself.con.types.xml.gz2006-03-28 19:04 495  
[ ]anything_in_next_of_itself.con.xml.gz2006-03-28 19:04 415  
[ ]anything_sub_next_of_itself.con.body.xml.gz2006-03-28 19:04 434  
[ ]anything_sub_next_of_itself.con.types.xml.gz2006-03-28 19:04 501  
[ ]anything_sub_next_of_itself.con.xml.gz2006-03-28 19:04 421  
[ ]b_in_Union_a.con.body.xml.gz2006-03-28 19:04 485  
[ ]b_in_Union_a.con.types.xml.gz2006-03-28 19:04 218  
[ ]b_in_Union_a.con.xml.gz2006-03-28 19:04 324  
[ ]big_extensionality_Out.con.body.xml.gz2006-03-28 19:04 396  
[ ]big_extensionality_Out.con.types.xml.gz2006-03-28 19:04 434  
[ ]big_extensionality_Out.con.xml.gz2006-03-28 19:04 347  
[DIR]big_extensionality_proof/2006-03-28 19:04 -  
[ ]boundedsubprops1_Out.con.body.xml.gz2006-03-28 19:04 363  
[ ]boundedsubprops1_Out.con.types.xml.gz2006-03-28 19:04 538  
[ ]boundedsubprops1_Out.con.xml.gz2006-03-28 19:04 360  
[ ]cartesian_construction_Out.con.body.xml.gz2006-03-28 19:04 423  
[ ]cartesian_construction_Out.con.types.xml.gz2006-03-28 19:04 385  
[ ]cartesian_construction_Out.con.xml.gz2006-03-28 19:04 429  
[DIR]cartesian_construction_section/2006-03-28 19:04 -  
[ ]cartesian_is_relation.con.body.xml.gz2006-03-28 19:04 590  
[ ]cartesian_is_relation.con.types.xml.gz2006-03-28 19:04 545  
[ ]cartesian_is_relation.con.xml.gz2006-03-28 19:04 427  
[ ]cartesian_is_relation_Out.con.body.xml.gz2006-03-28 19:04 378  
[ ]cartesian_is_relation_Out.con.types.xml.gz2006-03-28 19:04 350  
[ ]cartesian_is_relation_Out.con.xml.gz2006-03-28 19:04 350  
[DIR]cartesian_is_relation_proof/2006-03-28 19:04 -  
[ ]cartesian_subs_are_relations.con.body.xml.gz2006-03-28 19:04 597  
[ ]cartesian_subs_are_relations.con.types.xml.gz2006-03-28 19:04 604  
[ ]cartesian_subs_are_relations.con.xml.gz2006-03-28 19:04 501  
[DIR]cartpair/2006-03-28 19:04 -  
[ ]cartpairA_Out.con.body.xml.gz2006-03-28 19:04 378  
[ ]cartpairA_Out.con.types.xml.gz2006-03-28 19:04 333  
[ ]cartpairA_Out.con.xml.gz2006-03-28 19:04 339  
[ ]cartpairB_Out.con.body.xml.gz2006-03-28 19:04 379  
[ ]cartpairB_Out.con.types.xml.gz2006-03-28 19:04 333  
[ ]cartpairB_Out.con.xml.gz2006-03-28 19:04 340  
[DIR]comp_assoc_1/2006-03-28 19:04 -  
[ ]comp_assoc_1_Out.con.body.xml.gz2006-03-28 19:04 607  
[ ]comp_assoc_1_Out.con.types.xml.gz2006-03-28 19:04 389  
[ ]comp_assoc_1_Out.con.xml.gz2006-03-28 19:04 431  
[DIR]comp_assoc_2/2006-03-28 19:04 -  
[ ]comp_assoc_2_Out.con.body.xml.gz2006-03-28 19:04 611  
[ ]comp_assoc_2_Out.con.types.xml.gz2006-03-28 19:04 389  
[ ]comp_assoc_2_Out.con.xml.gz2006-03-28 19:04 431  
[DIR]comp_ev_1/2006-03-28 19:04 -  
[ ]comp_ev_1_Out.con.body.xml.gz2006-03-28 19:04 394  
[ ]comp_ev_1_Out.con.types.xml.gz2006-03-28 19:04 361  
[ ]comp_ev_1_Out.con.xml.gz2006-03-28 19:04 397  
[DIR]comp_ev_2/2006-03-28 19:04 -  
[ ]comp_ev_2_Out.con.body.xml.gz2006-03-28 19:04 388  
[ ]comp_ev_2_Out.con.types.xml.gz2006-03-28 19:04 382  
[ ]comp_ev_2_Out.con.xml.gz2006-03-28 19:04 394  
[DIR]comp_ev_3/2006-03-28 19:04 -  
[ ]comp_ev_3_Out.con.body.xml.gz2006-03-28 19:04 380  
[ ]comp_ev_3_Out.con.types.xml.gz2006-03-28 19:04 735  
[ ]comp_ev_3_Out.con.xml.gz2006-03-28 19:04 367  
[DIR]comp_prop_3/2006-03-28 19:04 -  
[ ]comp_prop_3_Out.con.body.xml.gz2006-03-28 19:04 419  
[ ]comp_prop_3_Out.con.types.xml.gz2006-03-28 19:04 400  
[ ]comp_prop_3_Out.con.xml.gz2006-03-28 19:04 413  
[DIR]comp_wd/2006-03-28 19:04 -  
[ ]comp_wd_Out.con.body.xml.gz2006-03-28 19:04 380  
[ ]comp_wd_Out.con.types.xml.gz2006-03-28 19:04 656  
[ ]comp_wd_Out.con.xml.gz2006-03-28 19:04 371  
[ ]composition_bounded.con.body.xml.gz2006-03-28 19:04 574  
[ ]composition_bounded.con.types.xml.gz2006-03-28 19:04 631  
[ ]composition_bounded.con.xml.gz2006-03-28 19:04 443  
[ ]composition_bounded_by.con.body.xml.gz2006-03-28 19:04 289  
[ ]composition_bounded_by.con.types.xml.gz2006-03-28 19:04 721  
[ ]composition_bounded_by.con.xml.gz2006-03-28 19:04 529  
[ ]composition_th1.con.body.xml.gz2006-03-28 19:04 628  
[ ]composition_th1.con.types.xml.gz2006-03-28 19:04 660  
[ ]composition_th1.con.xml.gz2006-03-28 19:04 503  
[ ]composition_th2.con.body.xml.gz2006-03-28 19:04 584  
[ ]composition_th2.con.types.xml.gz2006-03-28 19:04 625  
[ ]composition_th2.con.xml.gz2006-03-28 19:04 487  
[ ]composition_th3.con.body.xml.gz2006-03-28 19:04 665  
[ ]composition_th3.con.types.xml.gz2006-03-28 19:04 779  
[ ]composition_th3.con.xml.gz2006-03-28 19:04 624  
[ ]composition_th4.con.body.xml.gz2006-03-28 19:04 776  
[ ]composition_th4.con.types.xml.gz2006-03-28 19:04 850  
[ ]composition_th4.con.xml.gz2006-03-28 19:04 691  
[ ]composition_well_definedness.con.body.xml.gz2006-03-28 19:04 887  
[ ]composition_well_definedness.con.types.xml.gz2006-03-28 19:04 774  
[ ]composition_well_definedness.con.xml.gz2006-03-28 19:04 484  
[ ]counting_lem1.con.body.xml.gz2006-03-28 19:04 653  
[ ]counting_lem1.con.types.xml.gz2006-03-28 19:04 552  
[ ]counting_lem1.con.xml.gz2006-03-28 19:04 512  
[ ]counting_lem2.con.body.xml.gz2006-03-28 19:04 650  
[ ]counting_lem2.con.types.xml.gz2006-03-28 19:04 552  
[ ]counting_lem2.con.xml.gz2006-03-28 19:04 512  
[DIR]covering_1/2006-03-28 19:04 -  
[ ]covering_1_Out.con.body.xml.gz2006-03-28 19:04 676  
[ ]covering_1_Out.con.types.xml.gz2006-03-28 19:04 554  
[ ]covering_1_Out.con.xml.gz2006-03-28 19:04 423  
[ ]covering_em_Out.con.body.xml.gz2006-03-28 19:04 405  
[ ]covering_em_Out.con.types.xml.gz2006-03-28 19:04 485  
[ ]covering_em_Out.con.xml.gz2006-03-28 19:04 390  
[ ]covering_th1.con.body.xml.gz2006-03-28 19:04 1.0K 
[ ]covering_th1.con.types.xml.gz2006-03-28 19:04 1.0K 
[ ]covering_th1.con.xml.gz2006-03-28 19:04 739  
[ ]covering_th2.con.body.xml.gz2006-03-28 19:04 1.1K 
[ ]covering_th2.con.types.xml.gz2006-03-28 19:04 1.0K 
[ ]covering_th2.con.xml.gz2006-03-28 19:04 768  
[ ]cpb1_Out.con.body.xml.gz2006-03-28 19:04 491  
[ ]cpb1_Out.con.types.xml.gz2006-03-28 19:04 396  
[ ]cpb1_Out.con.xml.gz2006-03-28 19:04 416  
[ ]distinct_Doubletons_have_geq_2_elements.con.body.xml.gz2006-03-28 19:04 695  
[ ]distinct_Doubletons_have_geq_2_elements.con.types.xml.gz2006-03-28 19:04 611  
[ ]distinct_Doubletons_have_geq_2_elements.con.xml.gz2006-03-28 19:04 549  
[ ]distinct_doubletons_have_geq_2_elements_Out.con.body.xml.gz2006-03-28 19:04 379  
[ ]distinct_doubletons_have_geq_2_elements_Out.con.types.xml.gz2006-03-28 19:04 548  
[ ]distinct_doubletons_have_geq_2_elements_Out.con.xml.gz2006-03-28 19:04 366  
[DIR]distinct_doubletons_have_geq_2_elements_proof/2006-03-28 19:04 -  
[ ]doubleton_th1_Out.con.body.xml.gz2006-03-28 19:04 404  
[ ]doubleton_th1_Out.con.types.xml.gz2006-03-28 19:04 433  
[ ]doubleton_th1_Out.con.xml.gz2006-03-28 19:04 337  
[DIR]doubleton_th1_proof/2006-03-28 19:04 -  
[ ]doubleton_th2_Out.con.body.xml.gz2006-03-28 19:04 402  
[ ]doubleton_th2_Out.con.types.xml.gz2006-03-28 19:04 435  
[ ]doubleton_th2_Out.con.xml.gz2006-03-28 19:04 337  
[DIR]doubleton_th2_proof/2006-03-28 19:04 -  
[ ]doubleton_th3_Out.con.body.xml.gz2006-03-28 19:04 431  
[ ]doubleton_th3_Out.con.types.xml.gz2006-03-28 19:04 439  
[ ]doubleton_th3_Out.con.xml.gz2006-03-28 19:04 355  
[DIR]doubleton_th3_proof/2006-03-28 19:04 -  
[ ]doubleton_th4_Out.con.body.xml.gz2006-03-28 19:04 347  
[ ]doubleton_th4_Out.con.types.xml.gz2006-03-28 19:04 577  
[ ]doubleton_th4_Out.con.xml.gz2006-03-28 19:04 335  
[DIR]doubleton_th4_proof/2006-03-28 19:04 -  
[ ]doubleton_th4_sub1_Out.con.body.xml.gz2006-03-28 19:04 348  
[ ]doubleton_th4_sub1_Out.con.types.xml.gz2006-03-28 19:04 506  
[ ]doubleton_th4_sub1_Out.con.xml.gz2006-03-28 19:04 333  
[ ]doubleton_th4_sub2_Out.con.body.xml.gz2006-03-28 19:04 347  
[ ]doubleton_th4_sub2_Out.con.types.xml.gz2006-03-28 19:04 507  
[ ]doubleton_th4_sub2_Out.con.xml.gz2006-03-28 19:04 332  
[ ]doubleton_th4a_Out.con.body.xml.gz2006-03-28 19:04 412  
[ ]doubleton_th4a_Out.con.types.xml.gz2006-03-28 19:04 355  
[ ]doubleton_th4a_Out.con.xml.gz2006-03-28 19:04 355  
[DIR]doubleton_th4a_proof/2006-03-28 19:04 -  
[ ]doubleton_th4b_Out.con.body.xml.gz2006-03-28 19:04 412  
[ ]doubleton_th4b_Out.con.types.xml.gz2006-03-28 19:04 355  
[ ]doubleton_th4b_Out.con.xml.gz2006-03-28 19:04 356  
[DIR]doubleton_th4b_proof/2006-03-28 19:04 -  
[ ]doubleton_uniqueness_1_Out.con.body.xml.gz2006-03-28 19:04 356  
[ ]doubleton_uniqueness_1_Out.con.types.xml.gz2006-03-28 19:04 494  
[ ]doubleton_uniqueness_1_Out.con.xml.gz2006-03-28 19:04 338  
[ ]doubleton_uniqueness_2_Out.con.body.xml.gz2006-03-28 19:04 361  
[ ]doubleton_uniqueness_2_Out.con.types.xml.gz2006-03-28 19:04 491  
[ ]doubleton_uniqueness_2_Out.con.xml.gz2006-03-28 19:04 342  
[ ]doubleton_uniqueness_Out.con.body.xml.gz2006-03-28 19:04 485  
[ ]doubleton_uniqueness_Out.con.types.xml.gz2006-03-28 19:04 385  
[ ]doubleton_uniqueness_Out.con.xml.gz2006-03-28 19:04 444  
[DIR]doubleton_uniqueness_proof/2006-03-28 19:04 -  
[ ]ee_eq_Out.con.body.xml.gz2006-03-28 19:04 390  
[ ]ee_eq_Out.con.types.xml.gz2006-03-28 19:04 341  
[ ]ee_eq_Out.con.xml.gz2006-03-28 19:04 353  
[DIR]ee_eq_proof/2006-03-28 19:04 -  
[ ]ee_sub_Out.con.body.xml.gz2006-03-28 19:04 461  
[ ]ee_sub_Out.con.types.xml.gz2006-03-28 19:04 331  
[ ]ee_sub_Out.con.xml.gz2006-03-28 19:04 386  
[DIR]ee_sub_proof/2006-03-28 19:04 -  
[ ]ee_symm_Out.con.body.xml.gz2006-03-28 19:04 403  
[ ]ee_symm_Out.con.types.xml.gz2006-03-28 19:04 387  
[ ]ee_symm_Out.con.xml.gz2006-03-28 19:04 394  
[DIR]ee_symm_proof/2006-03-28 19:04 -  
[DIR]efdom/2006-03-28 19:04 -  
[ ]efdom_Out.con.body.xml.gz2006-03-28 19:04 367  
[ ]efdom_Out.con.types.xml.gz2006-03-28 19:04 452  
[ ]efdom_Out.con.xml.gz2006-03-28 19:04 290  
[ ]empty_function_domain.con.body.xml.gz2006-03-28 19:04 417  
[ ]empty_function_domain.con.types.xml.gz2006-03-28 19:04 452  
[ ]empty_function_domain.con.xml.gz2006-03-28 19:04 343  
[ ]empty_function_domain_empty.con.body.xml.gz2006-03-28 19:04 532  
[ ]empty_function_domain_empty.con.types.xml.gz2006-03-28 19:04 504  
[ ]empty_function_domain_empty.con.xml.gz2006-03-28 19:04 330  
[ ]empty_function_function.con.body.xml.gz2006-03-28 19:04 374  
[ ]empty_function_function.con.types.xml.gz2006-03-28 19:04 345  
[ ]empty_function_function.con.xml.gz2006-03-28 19:04 319  
[ ]empty_function_relation.con.body.xml.gz2006-03-28 19:04 507  
[ ]empty_function_relation.con.types.xml.gz2006-03-28 19:04 486  
[ ]empty_function_relation.con.xml.gz2006-03-28 19:04 304  
[ ]empty_function_well_definedness.con.body.xml.gz2006-03-28 19:04 659  
[ ]empty_function_well_definedness.con.types.xml.gz2006-03-28 19:04 675  
[ ]empty_function_well_definedness.con.xml.gz2006-03-28 19:04 316  
[ ]emptyfn1_Out.con.body.xml.gz2006-03-28 19:04 372  
[ ]emptyfn1_Out.con.types.xml.gz2006-03-28 19:04 328  
[ ]emptyfn1_Out.con.xml.gz2006-03-28 19:04 317  
[ ]emptyfn2_Out.con.body.xml.gz2006-03-28 19:04 402  
[ ]emptyfn2_Out.con.types.xml.gz2006-03-28 19:04 343  
[ ]emptyfn2_Out.con.xml.gz2006-03-28 19:04 338  
[DIR]emptyfn_1/2006-03-28 19:04 -  
[DIR]emptyfn_2/2006-03-28 19:04 -  
[DIR]emptyset_empty/2006-03-28 19:04 -  
[ ]emptyset_empty_Out.con.body.xml.gz2006-03-28 19:04 338  
[ ]emptyset_empty_Out.con.types.xml.gz2006-03-28 19:04 648  
[ ]emptyset_empty_Out.con.xml.gz2006-03-28 19:04 294  
[DIR]emptyset_subset_everything/2006-03-28 19:04 -  
[ ]emptyset_subset_everything_2_Out.con.body.xml.gz2006-03-28 19:04 410  
[ ]emptyset_subset_everything_2_Out.con.types.xml.gz2006-03-28 19:04 368  
[ ]emptyset_subset_everything_2_Out.con.xml.gz2006-03-28 19:04 364  
[ ]emptyset_subset_everything_Out.con.body.xml.gz2006-03-28 19:04 305  
[ ]emptyset_subset_everything_Out.con.types.xml.gz2006-03-28 19:04 525  
[ ]emptyset_subset_everything_Out.con.xml.gz2006-03-28 19:04 353  
[DIR]equality_reflexive/2006-03-28 19:04 -  
[ ]equality_reflexive_Out.con.body.xml.gz2006-03-28 19:04 378  
[ ]equality_reflexive_Out.con.types.xml.gz2006-03-28 19:04 356  
[ ]equality_reflexive_Out.con.xml.gz2006-03-28 19:04 344  
[DIR]equality_symmetric/2006-03-28 19:04 -  
[ ]equality_symmetric_Out.con.body.xml.gz2006-03-28 19:04 396  
[ ]equality_symmetric_Out.con.types.xml.gz2006-03-28 19:04 359  
[ ]equality_symmetric_Out.con.xml.gz2006-03-28 19:04 359  
[ ]eval_in_range_Out.con.body.xml.gz2006-03-28 19:04 367  
[ ]eval_in_range_Out.con.types.xml.gz2006-03-28 19:04 364  
[ ]eval_in_range_Out.con.xml.gz2006-03-28 19:04 363  
[DIR]eval_in_range_proof/2006-03-28 19:04 -  
[ ]ex_eq_sub.con.body.xml.gz2006-03-28 19:04 783  
[ ]ex_eq_sub.con.types.xml.gz2006-03-28 19:04 678  
[ ]ex_eq_sub.con.xml.gz2006-03-28 19:04 565  
[ ]ex_eq_symm.con.body.xml.gz2006-03-28 19:04 710  
[ ]ex_eq_symm.con.types.xml.gz2006-03-28 19:04 726  
[ ]ex_eq_symm.con.xml.gz2006-03-28 19:04 439  
[ ]excluded_middle.con.types.xml.gz2006-03-28 19:04 226  
[ ]excluded_middle.con.xml.gz2006-03-28 19:04 380  
[ ]false_implies_everything.con.body.xml.gz2006-03-28 19:04 297  
[ ]false_implies_everything.con.types.xml.gz2006-03-28 19:04 238  
[ ]false_implies_everything.con.xml.gz2006-03-28 19:04 359  
[ ]fe_Out.con.body.xml.gz2006-03-28 19:04 389  
[ ]fe_Out.con.types.xml.gz2006-03-28 19:04 343  
[ ]fe_Out.con.xml.gz2006-03-28 19:04 351  
[DIR]first_uniqueness/2006-03-28 19:04 -  
[ ]first_uniqueness_Out.con.body.xml.gz2006-03-28 19:04 377  
[ ]first_uniqueness_Out.con.types.xml.gz2006-03-28 19:04 354  
[ ]first_uniqueness_Out.con.xml.gz2006-03-28 19:04 367  
[ ]function_1_Out_F.con.body.xml.gz2006-03-28 19:04 366  
[ ]function_1_Out_F.con.types.xml.gz2006-03-28 19:04 665  
[ ]function_1_Out_F.con.xml.gz2006-03-28 19:04 358  
[ ]function_evaluation.con.body.xml.gz2006-03-28 19:04 656  
[ ]function_evaluation.con.types.xml.gz2006-03-28 19:04 661  
[ ]function_evaluation.con.xml.gz2006-03-28 19:04 553  
[DIR]function_evaluation_proof/2006-03-28 19:04 -  
[ ]function_is_a_function_on.con.body.xml.gz2006-03-28 19:04 557  
[ ]function_is_a_function_on.con.types.xml.gz2006-03-28 19:04 583  
[ ]function_is_a_function_on.con.xml.gz2006-03-28 19:04 459  
[ ]function_is_a_relation.con.body.xml.gz2006-03-28 19:04 673  
[ ]function_is_a_relation.con.types.xml.gz2006-03-28 19:04 574  
[ ]function_is_a_relation.con.xml.gz2006-03-28 19:04 434  
[ ]function_on_dom.con.body.xml.gz2006-03-28 19:04 740  
[ ]function_on_dom.con.types.xml.gz2006-03-28 19:04 674  
[ ]function_on_dom.con.xml.gz2006-03-28 19:04 478  
[ ]function_on_fn.con.body.xml.gz2006-03-28 19:04 723  
[ ]function_on_fn.con.types.xml.gz2006-03-28 19:04 603  
[ ]function_on_fn.con.xml.gz2006-03-28 19:04 438  
[DIR]function_section_1/2006-03-28 19:04 -  
[ ]function_sub.con.body.xml.gz2006-03-28 19:04 661  
[ ]function_sub.con.types.xml.gz2006-03-28 19:04 626  
[ ]function_sub.con.xml.gz2006-03-28 19:04 467  
[ ]function_th1.con.body.xml.gz2006-03-28 19:04 650  
[ ]function_th1.con.types.xml.gz2006-03-28 19:04 654  
[ ]function_th1.con.xml.gz2006-03-28 19:04 549  
[ ]function_well_definedness.con.body.xml.gz2006-03-28 19:04 677  
[ ]function_well_definedness.con.types.xml.gz2006-03-28 19:04 575  
[ ]function_well_definedness.con.xml.gz2006-03-28 19:04 440  
[ ]gd1a_Out.con.body.xml.gz2006-03-28 19:04 405  
[ ]gd1a_Out.con.types.xml.gz2006-03-28 19:04 388  
[ ]gd1a_Out.con.xml.gz2006-03-28 19:04 397  
[ ]gd1b_Out.con.body.xml.gz2006-03-28 19:04 406  
[ ]gd1b_Out.con.types.xml.gz2006-03-28 19:04 389  
[ ]gd1b_Out.con.xml.gz2006-03-28 19:04 398  
[ ]gd2A_Out.con.body.xml.gz2006-03-28 19:04 377  
[ ]gd2A_Out.con.types.xml.gz2006-03-28 19:04 354  
[ ]gd2A_Out.con.xml.gz2006-03-28 19:04 368  
[ ]gd2B_Out.con.body.xml.gz2006-03-28 19:04 377  
[ ]gd2B_Out.con.types.xml.gz2006-03-28 19:04 355  
[ ]gd2B_Out.con.xml.gz2006-03-28 19:04 368  
[ ]gd2_Out.con.body.xml.gz2006-03-28 19:04 700  
[ ]gd2_Out.con.types.xml.gz2006-03-28 19:04 641  
[ ]gd2_Out.con.xml.gz2006-03-28 19:04 349  
[DIR]given_an_element/2006-03-28 19:04 -  
[ ]given_an_element_Out.con.body.xml.gz2006-03-28 19:04 333  
[ ]given_an_element_Out.con.types.xml.gz2006-03-28 19:04 539  
[ ]given_an_element_Out.con.xml.gz2006-03-28 19:04 305  
[ ]gluA_Out.con.body.xml.gz2006-03-28 19:04 369  
[ ]gluA_Out.con.types.xml.gz2006-03-28 19:04 663  
[ ]gluA_Out.con.xml.gz2006-03-28 19:04 357  
[ ]gluB_Out.con.body.xml.gz2006-03-28 19:04 448  
[ ]gluB_Out.con.types.xml.gz2006-03-28 19:04 345  
[ ]gluB_Out.con.xml.gz2006-03-28 19:04 384  
[ ]gluC_Out.con.body.xml.gz2006-03-28 19:04 450  
[ ]gluC_Out.con.types.xml.gz2006-03-28 19:04 345  
[ ]gluC_Out.con.xml.gz2006-03-28 19:04 387  
[ ]gluD_Out.con.body.xml.gz2006-03-28 19:04 370  
[ ]gluD_Out.con.types.xml.gz2006-03-28 19:04 664  
[ ]gluD_Out.con.xml.gz2006-03-28 19:04 358  
[ ]glu_wd_Out.con.body.xml.gz2006-03-28 19:04 503  
[ ]glu_wd_Out.con.types.xml.gz2006-03-28 19:04 495  
[ ]glu_wd_Out.con.xml.gz2006-03-28 19:04 380  
[DIR]glueing_domain1/2006-03-28 19:04 -  
[ ]glueing_domain1_Out.con.body.xml.gz2006-03-28 19:04 754  
[ ]glueing_domain1_Out.con.types.xml.gz2006-03-28 19:04 828  
[ ]glueing_domain1_Out.con.xml.gz2006-03-28 19:04 406  
[DIR]glueing_domain2/2006-03-28 19:04 -  
[DIR]glueing_proof/2006-03-28 19:04 -  
[ ]glueing_proof_Out.con.body.xml.gz2006-03-28 19:04 403  
[ ]glueing_proof_Out.con.types.xml.gz2006-03-28 19:04 345  
[ ]glueing_proof_Out.con.xml.gz2006-03-28 19:04 365  
[DIR]glueing_relation_proof/2006-03-28 19:04 -  
[ ]glueing_th1.con.body.xml.gz2006-03-28 19:04 686  
[ ]glueing_th1.con.types.xml.gz2006-03-28 19:04 582  
[ ]glueing_th1.con.xml.gz2006-03-28 19:04 464  
[ ]glueing_th2.con.body.xml.gz2006-03-28 19:04 604  
[ ]glueing_th2.con.types.xml.gz2006-03-28 19:04 656  
[ ]glueing_th2.con.xml.gz2006-03-28 19:04 482  
[ ]glueing_th3.con.body.xml.gz2006-03-28 19:04 615  
[ ]glueing_th3.con.types.xml.gz2006-03-28 19:04 655  
[ ]glueing_th3.con.xml.gz2006-03-28 19:04 478  
[ ]glueing_th4.con.body.xml.gz2006-03-28 19:04 577  
[ ]glueing_th4.con.types.xml.gz2006-03-28 19:04 809  
[ ]glueing_th4.con.xml.gz2006-03-28 19:04 499  
[ ]glueing_th5.con.body.xml.gz2006-03-28 19:04 639  
[ ]glueing_th5.con.types.xml.gz2006-03-28 19:04 621  
[ ]glueing_th5.con.xml.gz2006-03-28 19:04 533  
[ ]gr1_Out.con.body.xml.gz2006-03-28 19:04 329  
[ ]gr1_Out.con.types.xml.gz2006-03-28 19:04 519  
[ ]gr1_Out.con.xml.gz2006-03-28 19:04 329  
[ ]gr2_Out.con.body.xml.gz2006-03-28 19:04 329  
[ ]gr2_Out.con.types.xml.gz2006-03-28 19:04 515  
[ ]gr2_Out.con.xml.gz2006-03-28 19:04 328  
[ ]gr_Out.con.body.xml.gz2006-03-28 19:04 634  
[ ]gr_Out.con.types.xml.gz2006-03-28 19:04 620  
[ ]gr_Out.con.xml.gz2006-03-28 19:04 333  
[ ]has_geq_1_elements.con.body.xml.gz2006-03-28 19:04 415  
[ ]has_geq_1_elements.con.types.xml.gz2006-03-28 19:04 230  
[ ]has_geq_1_elements.con.xml.gz2006-03-28 19:04 324  
[ ]has_geq_1_elements_th1.con.body.xml.gz2006-03-28 19:04 595  
[ ]has_geq_1_elements_th1.con.types.xml.gz2006-03-28 19:04 525  
[ ]has_geq_1_elements_th1.con.xml.gz2006-03-28 19:04 436  
[ ]has_geq_2_elements.con.body.xml.gz2006-03-28 19:04 415  
[ ]has_geq_2_elements.con.types.xml.gz2006-03-28 19:04 230  
[ ]has_geq_2_elements.con.xml.gz2006-03-28 19:04 324  
[ ]has_geq_2_elements_th1.con.body.xml.gz2006-03-28 19:04 780  
[ ]has_geq_2_elements_th1.con.types.xml.gz2006-03-28 19:04 631  
[ ]has_geq_2_elements_th1.con.xml.gz2006-03-28 19:04 563  
[ ]has_leq_0_elements.con.body.xml.gz2006-03-28 19:04 281  
[ ]has_leq_0_elements.con.types.xml.gz2006-03-28 19:04 230  
[ ]has_leq_0_elements.con.xml.gz2006-03-28 19:04 323  
[ ]has_leq_0_elements_implies_leq_1.con.body.xml.gz2006-03-28 19:04 631  
[ ]has_leq_0_elements_implies_leq_1.con.types.xml.gz2006-03-28 19:04 651  
[ ]has_leq_0_elements_implies_leq_1.con.xml.gz2006-03-28 19:04 427  
[DIR]has_leq_0_implies_leq_1/2006-03-28 19:04 -  
[ ]has_leq_0_implies_leq_1_Out.con.body.xml.gz2006-03-28 19:04 434  
[ ]has_leq_0_implies_leq_1_Out.con.types.xml.gz2006-03-28 19:04 442  
[ ]has_leq_0_implies_leq_1_Out.con.xml.gz2006-03-28 19:04 450  
[ ]has_leq_1_elements.con.body.xml.gz2006-03-28 19:04 536  
[ ]has_leq_1_elements.con.types.xml.gz2006-03-28 19:04 230  
[ ]has_leq_1_elements.con.xml.gz2006-03-28 19:04 325  
[ ]ieieep1_Out.con.body.xml.gz2006-03-28 19:04 409  
[ ]ieieep1_Out.con.types.xml.gz2006-03-28 19:04 358  
[ ]ieieep1_Out.con.xml.gz2006-03-28 19:04 360  
[ ]ieieep2_Out.con.body.xml.gz2006-03-28 19:04 400  
[ ]ieieep2_Out.con.types.xml.gz2006-03-28 19:04 352  
[ ]ieieep2_Out.con.xml.gz2006-03-28 19:04 348  
[ ]ieieep_Out.con.body.xml.gz2006-03-28 19:04 403  
[ ]ieieep_Out.con.types.xml.gz2006-03-28 19:04 368  
[ ]ieieep_Out.con.xml.gz2006-03-28 19:04 364  
[ ]in_cartesian.ind.types.xml.gz2006-03-28 19:04 218  
[ ]in_cartesian.ind.xml.gz2006-03-28 19:04 687  
[ ]in_cartesian_bounded.con.body.xml.gz2006-03-28 19:04 452  
[ ]in_cartesian_bounded.con.types.xml.gz2006-03-28 19:04 520  
[ ]in_cartesian_bounded.con.xml.gz2006-03-28 19:04 444  
[ ]in_cartesian_bounded_Out.con.body.xml.gz2006-03-28 19:04 464  
[ ]in_cartesian_bounded_Out.con.types.xml.gz2006-03-28 19:04 394  
[ ]in_cartesian_bounded_Out.con.xml.gz2006-03-28 19:04 385  
[DIR]in_cartesian_bounded_proof/2006-03-28 19:04 -  
[ ]in_cartesian_ind.con.body.xml.gz2006-03-28 19:04 473  
[ ]in_cartesian_ind.con.types.xml.gz2006-03-28 19:04 829  
[ ]in_cartesian_ind.con.xml.gz2006-03-28 19:04 631  
[ ]in_cartesian_pair.con.body.xml.gz2006-03-28 19:04 803  
[ ]in_cartesian_pair.con.types.xml.gz2006-03-28 19:04 682  
[ ]in_cartesian_pair.con.xml.gz2006-03-28 19:04 473  
[ ]in_cartesian_pr1.con.body.xml.gz2006-03-28 19:04 833  
[ ]in_cartesian_pr1.con.types.xml.gz2006-03-28 19:04 748  
[ ]in_cartesian_pr1.con.xml.gz2006-03-28 19:04 503  
[ ]in_cartesian_pr2.con.body.xml.gz2006-03-28 19:04 835  
[ ]in_cartesian_pr2.con.types.xml.gz2006-03-28 19:04 748  
[ ]in_cartesian_pr2.con.xml.gz2006-03-28 19:04 503  
[ ]in_cartesian_rec.con.body.xml.gz2006-03-28 19:04 471  
[ ]in_cartesian_rec.con.types.xml.gz2006-03-28 19:04 225  
[ ]in_cartesian_rec.con.xml.gz2006-03-28 19:04 637  
[ ]in_cartesian_rect.con.body.xml.gz2006-03-28 19:04 752  
[ ]in_cartesian_rect.con.types.xml.gz2006-03-28 19:04 227  
[ ]in_cartesian_rect.con.xml.gz2006-03-28 19:04 638  
[ ]in_iff_strictsub_Zero_Out.con.body.xml.gz2006-03-28 19:04 432  
[ ]in_iff_strictsub_Zero_Out.con.types.xml.gz2006-03-28 19:04 381  
[ ]in_iff_strictsub_Zero_Out.con.xml.gz2006-03-28 19:04 373  
[ ]in_then_strictsub.con.body.xml.gz2006-03-28 19:04 489  
[ ]in_then_strictsub.con.types.xml.gz2006-03-28 19:04 229  
[ ]in_then_strictsub.con.xml.gz2006-03-28 19:04 322  
[ ]in_then_strictsub_Zero.con.body.xml.gz2006-03-28 19:04 510  
[ ]in_then_strictsub_Zero.con.types.xml.gz2006-03-28 19:04 520  
[ ]in_then_strictsub_Zero.con.xml.gz2006-03-28 19:04 447  
[DIR]in_then_strictsub_Zero_proof/2006-03-28 19:04 -  
[ ]intersection.con.body.xml.gz2006-03-28 19:04 455  
[ ]intersection.con.types.xml.gz2006-03-28 19:04 218  
[ ]intersection.con.xml.gz2006-03-28 19:04 310  
[DIR]intersection4/2006-03-28 19:04 -  
[ ]intersection4_Out.con.body.xml.gz2006-03-28 19:04 377  
[ ]intersection4_Out.con.types.xml.gz2006-03-28 19:04 365  
[ ]intersection4_Out.con.xml.gz2006-03-28 19:04 375  
[ ]intersection_th1.con.body.xml.gz2006-03-28 19:04 599  
[ ]intersection_th1.con.types.xml.gz2006-03-28 19:04 829  
[ ]intersection_th1.con.xml.gz2006-03-28 19:04 417  
[ ]intersection_th2.con.body.xml.gz2006-03-28 19:04 599  
[ ]intersection_th2.con.types.xml.gz2006-03-28 19:04 833  
[ ]intersection_th2.con.xml.gz2006-03-28 19:04 419  
[ ]intersection_th3.con.body.xml.gz2006-03-28 19:04 611  
[ ]intersection_th3.con.types.xml.gz2006-03-28 19:04 725  
[ ]intersection_th3.con.xml.gz2006-03-28 19:04 501  
[ ]intersection_th4.con.body.xml.gz2006-03-28 19:04 689  
[ ]intersection_th4.con.types.xml.gz2006-03-28 19:04 655  
[ ]intersection_th4.con.xml.gz2006-03-28 19:04 503  
[ ]inv_eval_in_domain_Out.con.body.xml.gz2006-03-28 19:04 378  
[ ]inv_eval_in_domain_Out.con.types.xml.gz2006-03-28 19:04 373  
[ ]inv_eval_in_domain_Out.con.xml.gz2006-03-28 19:04 375  
[DIR]inv_eval_in_domain_proof/2006-03-28 19:04 -  
[ ]inverse_EV.con.body.xml.gz2006-03-28 19:04 475  
[ ]inverse_EV.con.types.xml.gz2006-03-28 19:04 215  
[ ]inverse_EV.con.xml.gz2006-03-28 19:04 309  
[ ]inverse_EV_in_domain.con.body.xml.gz2006-03-28 19:04 562  
[ ]inverse_EV_in_domain.con.types.xml.gz2006-03-28 19:04 604  
[ ]inverse_EV_in_domain.con.xml.gz2006-03-28 19:04 502  
[ ]inverse_EV_pr.con.body.xml.gz2006-03-28 19:04 573  
[ ]inverse_EV_pr.con.types.xml.gz2006-03-28 19:04 888  
[ ]inverse_EV_pr.con.xml.gz2006-03-28 19:04 493  
[ ]inverse_EV_th1.con.body.xml.gz2006-03-28 19:04 526  
[ ]inverse_EV_th1.con.types.xml.gz2006-03-28 19:04 643  
[ ]inverse_EV_th1.con.xml.gz2006-03-28 19:04 507  
[ ]is_a_function.ind.types.xml.gz2006-03-28 19:04 218  
[ ]is_a_function.ind.xml.gz2006-03-28 19:04 558  
[ ]is_a_function_ind.con.body.xml.gz2006-03-28 19:04 417  
[ ]is_a_function_ind.con.types.xml.gz2006-03-28 19:04 648  
[ ]is_a_function_ind.con.xml.gz2006-03-28 19:04 525  
[ ]is_a_function_on.ind.types.xml.gz2006-03-28 19:04 223  
[ ]is_a_function_on.ind.xml.gz2006-03-28 19:04 618  
[ ]is_a_function_on_ind.con.body.xml.gz2006-03-28 19:04 452  
[ ]is_a_function_on_ind.con.types.xml.gz2006-03-28 19:04 730  
[ ]is_a_function_on_ind.con.xml.gz2006-03-28 19:04 570  
[ ]is_a_function_on_rec.con.body.xml.gz2006-03-28 19:04 449  
[ ]is_a_function_on_rec.con.types.xml.gz2006-03-28 19:04 230  
[ ]is_a_function_on_rec.con.xml.gz2006-03-28 19:04 577  
[ ]is_a_function_on_rect.con.body.xml.gz2006-03-28 19:04 690  
[ ]is_a_function_on_rect.con.types.xml.gz2006-03-28 19:04 232  
[ ]is_a_function_on_rect.con.xml.gz2006-03-28 19:04 578  
[ ]is_a_function_rec.con.body.xml.gz2006-03-28 19:04 416  
[ ]is_a_function_rec.con.types.xml.gz2006-03-28 19:04 226  
[ ]is_a_function_rec.con.xml.gz2006-03-28 19:04 532  
[ ]is_a_function_rect.con.body.xml.gz2006-03-28 19:04 633  
[ ]is_a_function_rect.con.types.xml.gz2006-03-28 19:04 228  
[ ]is_a_function_rect.con.xml.gz2006-03-28 19:04 526  
[ ]is_a_pair.con.body.xml.gz2006-03-28 19:04 524  
[ ]is_a_pair.con.types.xml.gz2006-03-28 19:04 215  
[ ]is_a_pair.con.xml.gz2006-03-28 19:04 308  
[ ]is_a_relation.con.body.xml.gz2006-03-28 19:04 458  
[ ]is_a_relation.con.types.xml.gz2006-03-28 19:04 220  
[ ]is_a_relation.con.xml.gz2006-03-28 19:04 313  
[ ]its_empty_implies_equals_emptyset.con.body.xml.gz2006-03-28 19:04 521  
[ ]its_empty_implies_equals_emptyset.con.types.xml.gz2006-03-28 19:04 522  
[ ]its_empty_implies_equals_emptyset.con.xml.gz2006-03-28 19:04 455  
[DIR]its_empty_implies_equals_emptyset_proof/2006-03-28 19:04 -  
[ ]naturals_inductionA.con.body.xml.gz2006-03-28 19:04 804  
[ ]naturals_inductionA.con.types.xml.gz2006-03-28 19:04 714  
[ ]naturals_inductionA.con.xml.gz2006-03-28 19:04 533  
[ ]naturals_inductionA1_Out.con.body.xml.gz2006-03-28 19:04 399  
[ ]naturals_inductionA1_Out.con.types.xml.gz2006-03-28 19:04 356  
[ ]naturals_inductionA1_Out.con.xml.gz2006-03-28 19:04 386  
[ ]naturals_inductionA_Out.con.body.xml.gz2006-03-28 19:04 388  
[ ]naturals_inductionA_Out.con.types.xml.gz2006-03-28 19:04 332  
[ ]naturals_inductionA_Out.con.xml.gz2006-03-28 19:04 367  
[DIR]naturals_inductionA_proof/2006-03-28 19:04 -  
[ ]naturals_induction_nexts.con.body.xml.gz2006-03-28 19:04 549  
[ ]naturals_induction_nexts.con.types.xml.gz2006-03-28 19:04 237  
[ ]naturals_induction_nexts.con.xml.gz2006-03-28 19:04 356  
[ ]naturals_main_ind1.con.body.xml.gz2006-03-28 19:04 676  
[ ]naturals_main_ind1.con.types.xml.gz2006-03-28 19:04 576  
[ ]naturals_main_ind1.con.xml.gz2006-03-28 19:04 439  
[ ]naturals_main_ind2.con.body.xml.gz2006-03-28 19:04 676  
[ ]naturals_main_ind2.con.types.xml.gz2006-03-28 19:04 576  
[ ]naturals_main_ind2.con.xml.gz2006-03-28 19:04 436  
[ ]naturals_main_ind_for_Zero.con.body.xml.gz2006-03-28 19:04 382  
[ ]naturals_main_ind_for_Zero.con.types.xml.gz2006-03-28 19:04 561  
[ ]naturals_main_ind_for_Zero.con.xml.gz2006-03-28 19:04 328  
[ ]naturals_main_ind_hyp.ind.types.xml.gz2006-03-28 19:04 234  
[ ]naturals_main_ind_hyp.ind.xml.gz2006-03-28 19:04 572  
[ ]naturals_main_ind_hyp_ind.con.body.xml.gz2006-03-28 19:04 436  
[ ]naturals_main_ind_hyp_ind.con.types.xml.gz2006-03-28 19:04 665  
[ ]naturals_main_ind_hyp_ind.con.xml.gz2006-03-28 19:04 543  
[ ]naturals_main_ind_hyp_rec.con.body.xml.gz2006-03-28 19:04 433  
[ ]naturals_main_ind_hyp_rec.con.types.xml.gz2006-03-28 19:04 242  
[ ]naturals_main_ind_hyp_rec.con.xml.gz2006-03-28 19:04 551  
[ ]naturals_main_ind_hyp_rect.con.body.xml.gz2006-03-28 19:04 654  
[ ]naturals_main_ind_hyp_rect.con.types.xml.gz2006-03-28 19:04 243  
[ ]naturals_main_ind_hyp_rect.con.xml.gz2006-03-28 19:04 544  
[ ]naturals_main_induction2_Out.con.body.xml.gz2006-03-28 19:04 368  
[ ]naturals_main_induction2_Out.con.types.xml.gz2006-03-28 19:04 505  
[ ]naturals_main_induction2_Out.con.xml.gz2006-03-28 19:04 354  
[ ]naturals_main_induction2a_Out.con.body.xml.gz2006-03-28 19:04 374  
[ ]naturals_main_induction2a_Out.con.types.xml.gz2006-03-28 19:04 498  
[ ]naturals_main_induction2a_Out.con.xml.gz2006-03-28 19:04 356  
[ ]naturals_main_induction2b_Out.con.body.xml.gz2006-03-28 19:04 368  
[ ]naturals_main_induction2b_Out.con.types.xml.gz2006-03-28 19:04 516  
[ ]naturals_main_induction2b_Out.con.xml.gz2006-03-28 19:04 352  
[ ]naturals_main_induction2c_Out.con.body.xml.gz2006-03-28 19:04 377  
[ ]naturals_main_induction2c_Out.con.types.xml.gz2006-03-28 19:04 498  
[ ]naturals_main_induction2c_Out.con.xml.gz2006-03-28 19:04 359  
[ ]naturals_main_induction3_Out.con.body.xml.gz2006-03-28 19:04 459  
[ ]naturals_main_induction3_Out.con.types.xml.gz2006-03-28 19:04 379  
[ ]naturals_main_induction3_Out.con.xml.gz2006-03-28 19:04 400  
[ ]naturals_main_induction3a_Out.con.body.xml.gz2006-03-28 19:04 389  
[ ]naturals_main_induction3a_Out.con.types.xml.gz2006-03-28 19:04 527  
[ ]naturals_main_induction3a_Out.con.xml.gz2006-03-28 19:04 370  
[ ]naturals_main_induction3bI_Out.con.body.xml.gz2006-03-28 19:04 396  
[ ]naturals_main_induction3bI_Out.con.types.xml.gz2006-03-28 19:04 500  
[ ]naturals_main_induction3bI_Out.con.xml.gz2006-03-28 19:04 380  
[ ]naturals_main_induction3b_Out.con.body.xml.gz2006-03-28 19:04 413  
[ ]naturals_main_induction3b_Out.con.types.xml.gz2006-03-28 19:04 528  
[ ]naturals_main_induction3b_Out.con.xml.gz2006-03-28 19:04 396  
[ ]naturals_main_induction3em_Out.con.body.xml.gz2006-03-28 19:04 392  
[ ]naturals_main_induction3em_Out.con.types.xml.gz2006-03-28 19:04 516  
[ ]naturals_main_induction3em_Out.con.xml.gz2006-03-28 19:04 379  
[ ]naturals_main_induction_next.con.body.xml.gz2006-03-28 19:04 526  
[ ]naturals_main_induction_next.con.types.xml.gz2006-03-28 19:04 540  
[ ]naturals_main_induction_next.con.xml.gz2006-03-28 19:04 459  
[ ]naturals_main_induction_next_1.con.body.xml.gz2006-03-28 19:04 529  
[ ]naturals_main_induction_next_1.con.types.xml.gz2006-03-28 19:04 619  
[ ]naturals_main_induction_next_1.con.xml.gz2006-03-28 19:04 336  
[DIR]naturals_main_induction_step/2006-03-28 19:04 -  
[ ]naturals_main_induction_step_Out.con.body.xml.gz2006-03-28 19:04 420  
[ ]naturals_main_induction_step_Out.con.types.xml.gz2006-03-28 19:04 366  
[ ]naturals_main_induction_step_Out.con.xml.gz2006-03-28 19:04 380  
[ ]naturals_main_th1.con.body.xml.gz2006-03-28 19:04 360  
[ ]naturals_main_th1.con.types.xml.gz2006-03-28 19:04 465  
[ ]naturals_main_th1.con.xml.gz2006-03-28 19:04 436  
[ ]naturals_main_th2.con.body.xml.gz2006-03-28 19:04 480  
[ ]naturals_main_th2.con.types.xml.gz2006-03-28 19:04 528  
[ ]naturals_main_th2.con.xml.gz2006-03-28 19:04 423  
[ ]naturals_main_th2_rewrite.con.body.xml.gz2006-03-28 19:04 286  
[ ]naturals_main_th2_rewrite.con.types.xml.gz2006-03-28 19:04 607  
[ ]naturals_main_th2_rewrite.con.xml.gz2006-03-28 19:04 510  
[ ]naturals_main_th3.con.body.xml.gz2006-03-28 19:04 481  
[ ]naturals_main_th3.con.types.xml.gz2006-03-28 19:04 525  
[ ]naturals_main_th3.con.xml.gz2006-03-28 19:04 418  
[ ]naturals_main_th3_rewrite.con.body.xml.gz2006-03-28 19:04 286  
[ ]naturals_main_th3_rewrite.con.types.xml.gz2006-03-28 19:04 564  
[ ]naturals_main_th3_rewrite.con.xml.gz2006-03-28 19:04 463  
[ ]neq_symm_Out.con.body.xml.gz2006-03-28 19:04 316  
[ ]neq_symm_Out.con.types.xml.gz2006-03-28 19:04 474  
[ ]neq_symm_Out.con.xml.gz2006-03-28 19:04 301  
[DIR]neq_symm_proof/2006-03-28 19:04 -  
[ ]nested_IN.ind.types.xml.gz2006-03-28 19:04 215  
[ ]nested_IN.ind.xml.gz2006-03-28 19:04 624  
[ ]nested_IN_ab.con.body.xml.gz2006-03-28 19:04 744  
[ ]nested_IN_ab.con.types.xml.gz2006-03-28 19:04 631  
[ ]nested_IN_ab.con.xml.gz2006-03-28 19:04 480  
[ ]nested_IN_bc.con.body.xml.gz2006-03-28 19:04 740  
[ ]nested_IN_bc.con.types.xml.gz2006-03-28 19:04 630  
[ ]nested_IN_bc.con.xml.gz2006-03-28 19:04 474  
[ ]nested_IN_ind.con.body.xml.gz2006-03-28 19:04 468  
[ ]nested_IN_ind.con.types.xml.gz2006-03-28 19:04 697  
[ ]nested_IN_ind.con.xml.gz2006-03-28 19:04 569  
[ ]nested_IN_rec.con.body.xml.gz2006-03-28 19:04 465  
[ ]nested_IN_rec.con.types.xml.gz2006-03-28 19:04 222  
[ ]nested_IN_rec.con.xml.gz2006-03-28 19:04 576  
[ ]nested_IN_rect.con.body.xml.gz2006-03-28 19:04 683  
[ ]nested_IN_rect.con.types.xml.gz2006-03-28 19:04 224  
[ ]nested_IN_rect.con.xml.gz2006-03-28 19:04 568  
[ ]not_in_itself.con.body.xml.gz2006-03-28 19:04 405  
[ ]not_in_itself.con.types.xml.gz2006-03-28 19:04 218  
[ ]not_in_itself.con.xml.gz2006-03-28 19:04 315  
[DIR]not_in_itself_Zero/2006-03-28 19:04 -  
[ ]not_in_itself_Zero_Out.con.body.xml.gz2006-03-28 19:04 341  
[ ]not_in_itself_Zero_Out.con.types.xml.gz2006-03-28 19:04 413  
[ ]not_in_itself_Zero_Out.con.xml.gz2006-03-28 19:04 292  
[DIR]nothing_strictsub_Zero/2006-03-28 19:04 -  
[ ]nothing_strictsub_Zero_Out.con.body.xml.gz2006-03-28 19:04 390  
[ ]nothing_strictsub_Zero_Out.con.types.xml.gz2006-03-28 19:04 319  
[ ]nothing_strictsub_Zero_Out.con.xml.gz2006-03-28 19:04 323  
[DIR]one_different_from_two/2006-03-28 19:04 -  
[ ]one_different_from_two_Out.con.body.xml.gz2006-03-28 19:04 339  
[ ]one_different_from_two_Out.con.types.xml.gz2006-03-28 19:04 493  
[ ]one_different_from_two_Out.con.xml.gz2006-03-28 19:04 324  
[ ]pair_proj2_Out.con.body.xml.gz2006-03-28 19:04 412  
[ ]pair_proj2_Out.con.types.xml.gz2006-03-28 19:04 578  
[ ]pair_proj2_Out.con.xml.gz2006-03-28 19:04 402  
[DIR]pair_proj2_proof/2006-03-28 19:04 -  
[ ]pair_uniqueness_Out.con.body.xml.gz2006-03-28 19:04 450  
[ ]pair_uniqueness_Out.con.types.xml.gz2006-03-28 19:04 372  
[ ]pair_uniqueness_Out.con.xml.gz2006-03-28 19:04 413  
[DIR]pair_uniqueness_proof/2006-03-28 19:04 -  
[ ]pairwise_EQ.ind.types.xml.gz2006-03-28 19:04 218  
[ ]pairwise_EQ.ind.xml.gz2006-03-28 19:04 658  
[ ]pairwise_EQ_ac.con.body.xml.gz2006-03-28 19:04 780  
[ ]pairwise_EQ_ac.con.types.xml.gz2006-03-28 19:04 658  
[ ]pairwise_EQ_ac.con.xml.gz2006-03-28 19:04 497  
[ ]pairwise_EQ_bd.con.body.xml.gz2006-03-28 19:04 776  
[ ]pairwise_EQ_bd.con.types.xml.gz2006-03-28 19:04 660  
[ ]pairwise_EQ_bd.con.xml.gz2006-03-28 19:04 494  
[ ]pairwise_EQ_ind.con.body.xml.gz2006-03-28 19:04 494  
[ ]pairwise_EQ_ind.con.types.xml.gz2006-03-28 19:04 741  
[ ]pairwise_EQ_ind.con.xml.gz2006-03-28 19:04 596  
[ ]pairwise_EQ_rec.con.body.xml.gz2006-03-28 19:04 492  
[ ]pairwise_EQ_rec.con.types.xml.gz2006-03-28 19:04 226  
[ ]pairwise_EQ_rec.con.xml.gz2006-03-28 19:04 603  
[ ]pairwise_EQ_rect.con.body.xml.gz2006-03-28 19:04 716  
[ ]pairwise_EQ_rect.con.types.xml.gz2006-03-28 19:04 228  
[ ]pairwise_EQ_rect.con.xml.gz2006-03-28 19:04 607  
[DIR]power0/2006-03-28 19:04 -  
[ ]power0_Out.con.body.xml.gz2006-03-28 19:04 343  
[ ]power0_Out.con.types.xml.gz2006-03-28 19:04 352  
[ ]power0_Out.con.xml.gz2006-03-28 19:04 338  
[DIR]power1/2006-03-28 19:04 -  
[ ]power1_Out1.con.body.xml.gz2006-03-28 19:04 390  
[ ]power1_Out1.con.types.xml.gz2006-03-28 19:04 372  
[ ]power1_Out1.con.xml.gz2006-03-28 19:04 378  
[ ]power1_Out2.con.body.xml.gz2006-03-28 19:04 390  
[ ]power1_Out2.con.types.xml.gz2006-03-28 19:04 375  
[ ]power1_Out2.con.xml.gz2006-03-28 19:04 377  
[DIR]power2/2006-03-28 19:04 -  
[ ]power2_Out.con.body.xml.gz2006-03-28 19:04 371  
[ ]power2_Out.con.types.xml.gz2006-03-28 19:04 368  
[ ]power2_Out.con.xml.gz2006-03-28 19:04 361  
[DIR]power3/2006-03-28 19:04 -  
[ ]power3_Out.con.body.xml.gz2006-03-28 19:04 411  
[ ]power3_Out.con.types.xml.gz2006-03-28 19:04 466  
[ ]power3_Out.con.xml.gz2006-03-28 19:04 375  
[DIR]power4/2006-03-28 19:04 -  
[ ]power4_Out.con.body.xml.gz2006-03-28 19:04 377  
[ ]power4_Out.con.types.xml.gz2006-03-28 19:04 432  
[ ]power4_Out.con.xml.gz2006-03-28 19:04 368  
[DIR]power5/2006-03-28 19:04 -  
[ ]power5_Out.con.body.xml.gz2006-03-28 19:04 353  
[ ]power5_Out.con.types.xml.gz2006-03-28 19:04 350  
[ ]power5_Out.con.xml.gz2006-03-28 19:04 354  
[DIR]powerplus1/2006-03-28 19:04 -  
[ ]powerplus1_Out.con.body.xml.gz2006-03-28 19:04 448  
[ ]powerplus1_Out.con.types.xml.gz2006-03-28 19:04 480  
[ ]powerplus1_Out.con.xml.gz2006-03-28 19:04 408  
[DIR]powerplus2/2006-03-28 19:04 -  
[ ]powerplus2_Out.con.body.xml.gz2006-03-28 19:04 389  
[ ]powerplus2_Out.con.types.xml.gz2006-03-28 19:04 379  
[ ]powerplus2_Out.con.xml.gz2006-03-28 19:04 397  
[DIR]relation_1/2006-03-28 19:04 -  
[ ]relation_1_Out.con.body.xml.gz2006-03-28 19:04 332  
[ ]relation_1_Out.con.types.xml.gz2006-03-28 19:04 516  
[ ]relation_1_Out.con.xml.gz2006-03-28 19:04 333  
[ ]relation_sub.con.body.xml.gz2006-03-28 19:04 648  
[ ]relation_sub.con.types.xml.gz2006-03-28 19:04 566  
[ ]relation_sub.con.xml.gz2006-03-28 19:04 448  
[ ]relations_in_cartesian.con.body.xml.gz2006-03-28 19:04 588  
[ ]relations_in_cartesian.con.types.xml.gz2006-03-28 19:04 649  
[ ]relations_in_cartesian.con.xml.gz2006-03-28 19:04 485  
[ ]relations_in_cartesian_Out.con.body.xml.gz2006-03-28 19:04 481  
[ ]relations_in_cartesian_Out.con.types.xml.gz2006-03-28 19:04 383  
[ ]relations_in_cartesian_Out.con.xml.gz2006-03-28 19:04 416  
[DIR]relations_in_cartesian_proof/2006-03-28 19:04 -  
[ ]remaining_property.con.body.xml.gz2006-03-28 19:04 786  
[ ]remaining_property.con.types.xml.gz2006-03-28 19:04 654  
[ ]remaining_property.con.xml.gz2006-03-28 19:04 513  
[ ]res_to_1_Out.con.body.xml.gz2006-03-28 19:04 476  
[ ]res_to_1_Out.con.types.xml.gz2006-03-28 19:04 436  
[ ]res_to_1_Out.con.xml.gz2006-03-28 19:04 430  
[ ]res_to_1a_Out.con.body.xml.gz2006-03-28 19:04 438  
[ ]res_to_1a_Out.con.types.xml.gz2006-03-28 19:04 394  
[ ]res_to_1a_Out.con.xml.gz2006-03-28 19:04 419  
[ ]res_to_1b_Out.con.body.xml.gz2006-03-28 19:04 432  
[ ]res_to_1b_Out.con.types.xml.gz2006-03-28 19:04 507  
[ ]res_to_1b_Out.con.xml.gz2006-03-28 19:04 415  
[DIR]res_to_2/2006-03-28 19:04 -  
[ ]res_to_2_Out.con.body.xml.gz2006-03-28 19:04 396  
[ ]res_to_2_Out.con.types.xml.gz2006-03-28 19:04 443  
[ ]res_to_2_Out.con.xml.gz2006-03-28 19:04 395  
[DIR]res_to_3/2006-03-28 19:04 -  
[ ]res_to_3_Out.con.body.xml.gz2006-03-28 19:04 406  
[ ]res_to_3_Out.con.types.xml.gz2006-03-28 19:04 341  
[ ]res_to_3_Out.con.xml.gz2006-03-28 19:04 359  
[ ]restricted_to.con.body.xml.gz2006-03-28 19:04 478  
[ ]restricted_to.con.types.xml.gz2006-03-28 19:04 221  
[ ]restricted_to.con.xml.gz2006-03-28 19:04 315  
[DIR]restricted_to_1/2006-03-28 19:04 -  
[ ]restricted_to_th1.con.body.xml.gz2006-03-28 19:04 654  
[ ]restricted_to_th1.con.types.xml.gz2006-03-28 19:04 771  
[ ]restricted_to_th1.con.xml.gz2006-03-28 19:04 536  
[ ]restricted_to_th2.con.body.xml.gz2006-03-28 19:04 628  
[ ]restricted_to_th2.con.types.xml.gz2006-03-28 19:04 778  
[ ]restricted_to_th2.con.xml.gz2006-03-28 19:04 504  
[ ]restricted_to_th3.con.body.xml.gz2006-03-28 19:04 627  
[ ]restricted_to_th3.con.types.xml.gz2006-03-28 19:04 749  
[ ]restricted_to_th3.con.xml.gz2006-03-28 19:04 485  
[ ]restricted_to_th4.con.body.xml.gz2006-03-28 19:04 415  
[ ]restricted_to_th4.con.types.xml.gz2006-03-28 19:04 630  
[ ]restricted_to_th4.con.xml.gz2006-03-28 19:04 424  
[ ]restricted_to_th5.con.body.xml.gz2006-03-28 19:04 449  
[ ]restricted_to_th5.con.types.xml.gz2006-03-28 19:04 638  
[ ]restricted_to_th5.con.xml.gz2006-03-28 19:04 507  
[ ]restricted_to_th6.con.body.xml.gz2006-03-28 19:04 702  
[ ]restricted_to_th6.con.types.xml.gz2006-03-28 19:04 681  
[ ]restricted_to_th6.con.xml.gz2006-03-28 19:04 537  
[ ]restricted_to_th7.con.body.xml.gz2006-03-28 19:04 665  
[ ]restricted_to_th7.con.types.xml.gz2006-03-28 19:04 710  
[ ]restricted_to_th7.con.xml.gz2006-03-28 19:04 539  
[ ]restricted_to_th8.con.body.xml.gz2006-03-28 19:04 686  
[ ]restricted_to_th8.con.types.xml.gz2006-03-28 19:04 765  
[ ]restricted_to_th8.con.xml.gz2006-03-28 19:04 630  
[ ]restricted_to_th9.con.body.xml.gz2006-03-28 19:04 703  
[ ]restricted_to_th9.con.types.xml.gz2006-03-28 19:04 823  
[ ]restricted_to_th9.con.xml.gz2006-03-28 19:04 635  
[ ]restriction_bounded_Out.con.body.xml.gz2006-03-28 19:04 481  
[ ]restriction_bounded_Out.con.types.xml.gz2006-03-28 19:04 488  
[ ]restriction_bounded_Out.con.xml.gz2006-03-28 19:04 337  
[DIR]restriction_bounded_proof/2006-03-28 19:04 -  
[ ]second_geq_2_a_Out.con.body.xml.gz2006-03-28 19:04 346  
[ ]second_geq_2_a_Out.con.types.xml.gz2006-03-28 19:04 484  
[ ]second_geq_2_a_Out.con.xml.gz2006-03-28 19:04 328  
[ ]second_has_geq_2_elements_Out.con.body.xml.gz2006-03-28 19:04 396  
[ ]second_has_geq_2_elements_Out.con.types.xml.gz2006-03-28 19:04 525  
[ ]second_has_geq_2_elements_Out.con.xml.gz2006-03-28 19:04 357  
[DIR]second_has_geq_2_elements_proof/2006-03-28 19:04 -  
[ ]second_uniqueness_Out.con.body.xml.gz2006-03-28 19:04 446  
[ ]second_uniqueness_Out.con.types.xml.gz2006-03-28 19:04 463  
[ ]second_uniqueness_Out.con.xml.gz2006-03-28 19:04 368  
[DIR]second_uniqueness_proof/2006-03-28 19:04 -  
[ ]singletons_have_leq_1_elements_Out.con.body.xml.gz2006-03-28 19:04 421  
[ ]singletons_have_leq_1_elements_Out.con.types.xml.gz2006-03-28 19:04 383  
[ ]singletons_have_leq_1_elements_Out.con.xml.gz2006-03-28 19:04 394  
[DIR]singletons_have_leq_1_elements_proof/2006-03-28 19:04 -  
[ ]some_things_strictsub_their_nexts.con.body.xml.gz2006-03-28 19:04 524  
[ ]some_things_strictsub_their_nexts.con.types.xml.gz2006-03-28 19:04 568  
[ ]some_things_strictsub_their_nexts.con.xml.gz2006-03-28 19:04 485  
[ ]step2.con.body.xml.gz2006-03-28 19:04 332  
[ ]step2.con.types.xml.gz2006-03-28 19:04 427  
[ ]step2.con.xml.gz2006-03-28 19:04 312  
[ ]step5.con.body.xml.gz2006-03-28 19:04 332  
[ ]step5.con.types.xml.gz2006-03-28 19:04 427  
[ ]step5.con.xml.gz2006-03-28 19:04 313  
[ ]step8.con.body.xml.gz2006-03-28 19:04 339  
[ ]step8.con.types.xml.gz2006-03-28 19:04 530  
[ ]step8.con.xml.gz2006-03-28 19:04 324  
[ ]stepA6.con.body.xml.gz2006-03-28 19:04 389  
[ ]stepA6.con.types.xml.gz2006-03-28 19:04 559  
[ ]stepA6.con.xml.gz2006-03-28 19:04 369  
[ ]stepB6.con.body.xml.gz2006-03-28 19:04 391  
[ ]stepB6.con.types.xml.gz2006-03-28 19:04 560  
[ ]stepB6.con.xml.gz2006-03-28 19:04 370  
[ ]strictsub_next1_Out.con.body.xml.gz2006-03-28 19:04 342  
[ ]strictsub_next1_Out.con.types.xml.gz2006-03-28 19:04 483  
[ ]strictsub_next1_Out.con.xml.gz2006-03-28 19:04 328  
[ ]strictsub_next_Out.con.body.xml.gz2006-03-28 19:04 390  
[ ]strictsub_next_Out.con.types.xml.gz2006-03-28 19:04 358  
[ ]strictsub_next_Out.con.xml.gz2006-03-28 19:04 355  
[DIR]strictsub_next_proof/2006-03-28 19:04 -  
[ ]strictsub_trans1_Out.con.body.xml.gz2006-03-28 19:04 408  
[ ]strictsub_trans1_Out.con.types.xml.gz2006-03-28 19:04 362  
[ ]strictsub_trans1_Out.con.xml.gz2006-03-28 19:04 372  
[DIR]strictsub_trans1_proof/2006-03-28 19:04 -  
[ ]strictsub_trans1a_Out.con.body.xml.gz2006-03-28 19:04 361  
[ ]strictsub_trans1a_Out.con.types.xml.gz2006-03-28 19:04 505  
[ ]strictsub_trans1a_Out.con.xml.gz2006-03-28 19:04 345  
[DIR]subset_reflexive/2006-03-28 19:04 -  
[ ]subset_reflexive_Out.con.body.xml.gz2006-03-28 19:04 291  
[ ]subset_reflexive_Out.con.types.xml.gz2006-03-28 19:04 233  
[ ]subset_reflexive_Out.con.xml.gz2006-03-28 19:04 330  
[ ]the_restriction.con.body.xml.gz2006-03-28 19:04 798  
[ ]the_restriction.con.types.xml.gz2006-03-28 19:04 673  
[ ]the_restriction.con.xml.gz2006-03-28 19:04 522  
[DIR]total_and_pairs_1/2006-03-28 19:04 -  
[ ]total_and_pairs_1_OutA.con.body.xml.gz2006-03-28 19:04 444  
[ ]total_and_pairs_1_OutA.con.types.xml.gz2006-03-28 19:04 368  
[ ]total_and_pairs_1_OutA.con.xml.gz2006-03-28 19:04 371  
[ ]total_and_pairs_1_OutB.con.body.xml.gz2006-03-28 19:04 477  
[ ]total_and_pairs_1_OutB.con.types.xml.gz2006-03-28 19:04 369  
[ ]total_and_pairs_1_OutB.con.xml.gz2006-03-28 19:04 374  
[ ]total_th1_Out.con.body.xml.gz2006-03-28 19:04 397  
[ ]total_th1_Out.con.types.xml.gz2006-03-28 19:04 430  
[ ]total_th1_Out.con.xml.gz2006-03-28 19:04 357  
[DIR]total_th1_proof/2006-03-28 19:04 -  
[ ]total_th2_Out.con.body.xml.gz2006-03-28 19:04 404  
[ ]total_th2_Out.con.types.xml.gz2006-03-28 19:04 430  
[ ]total_th2_Out.con.xml.gz2006-03-28 19:04 363  
[DIR]total_th2_proof/2006-03-28 19:04 -  
[ ]total_th3_Out.con.body.xml.gz2006-03-28 19:04 411  
[ ]total_th3_Out.con.types.xml.gz2006-03-28 19:04 430  
[ ]total_th3_Out.con.xml.gz2006-03-28 19:04 370  
[DIR]total_th3_proof/2006-03-28 19:04 -  
[ ]total_th4_Out.con.body.xml.gz2006-03-28 19:04 431  
[ ]total_th4_Out.con.types.xml.gz2006-03-28 19:04 430  
[ ]total_th4_Out.con.xml.gz2006-03-28 19:04 376  
[DIR]total_th4_proof/2006-03-28 19:04 -  
[ ]union.con.types.xml.gz2006-03-28 19:04 207  
[ ]union.con.xml.gz2006-03-28 19:04 298  
[ ]union_pr1.con.types.xml.gz2006-03-28 19:04 214  
[ ]union_pr1.con.xml.gz2006-03-28 19:04 412  
[ ]union_pr2.con.types.xml.gz2006-03-28 19:04 214  
[ ]union_pr2.con.xml.gz2006-03-28 19:04 411  
[ ]union_pr3.con.types.xml.gz2006-03-28 19:04 214  
[ ]union_pr3.con.xml.gz2006-03-28 19:04 484  
[ ]union_refl.con.body.xml.gz2006-03-28 19:04 404  
[ ]union_refl.con.types.xml.gz2006-03-28 19:04 493  
[ ]union_refl.con.xml.gz2006-03-28 19:04 407  
[DIR]union_refl_proof/2006-03-28 19:04 -  
[ ]union_refl_proof_Out.con.body.xml.gz2006-03-28 19:04 385  
[ ]union_refl_proof_Out.con.types.xml.gz2006-03-28 19:04 354  
[ ]union_refl_proof_Out.con.xml.gz2006-03-28 19:04 352  
[ ]union_symm.con.body.xml.gz2006-03-28 19:04 439  
[ ]union_symm.con.types.xml.gz2006-03-28 19:04 556  
[ ]union_symm.con.xml.gz2006-03-28 19:04 452  
[DIR]union_symm_proof/2006-03-28 19:04 -  
[ ]union_symm_proof_Out.con.body.xml.gz2006-03-28 19:04 403  
[ ]union_symm_proof_Out.con.types.xml.gz2006-03-28 19:04 355  
[ ]union_symm_proof_Out.con.xml.gz2006-03-28 19:04 366  
[ ]union_th1.con.body.xml.gz2006-03-28 19:04 542  
[ ]union_th1.con.types.xml.gz2006-03-28 19:04 561  
[ ]union_th1.con.xml.gz2006-03-28 19:04 463  
[ ]union_th1_Out.con.body.xml.gz2006-03-28 19:04 332  
[ ]union_th1_Out.con.types.xml.gz2006-03-28 19:04 526  
[ ]union_th1_Out.con.xml.gz2006-03-28 19:04 337  
[ ]union_th1_OutA.con.body.xml.gz2006-03-28 19:04 362  
[ ]union_th1_OutA.con.types.xml.gz2006-03-28 19:04 358  
[ ]union_th1_OutA.con.xml.gz2006-03-28 19:04 365  
[DIR]union_th1_proof/2006-03-28 19:04 -  
[ ]union_th2.con.body.xml.gz2006-03-28 19:04 546  
[ ]union_th2.con.types.xml.gz2006-03-28 19:04 562  
[ ]union_th2.con.xml.gz2006-03-28 19:04 466  
[ ]union_th2_Out.con.body.xml.gz2006-03-28 19:04 332  
[ ]union_th2_Out.con.types.xml.gz2006-03-28 19:04 526  
[ ]union_th2_Out.con.xml.gz2006-03-28 19:04 337  
[DIR]union_th2_proof/2006-03-28 19:04 -  
[ ]union_th3.con.body.xml.gz2006-03-28 19:04 712  
[ ]union_th3.con.types.xml.gz2006-03-28 19:04 604  
[ ]union_th3.con.xml.gz2006-03-28 19:04 540  
[DIR]union_th3_proof/2006-03-28 19:04 -  
[ ]union_th3_proof_Out.con.body.xml.gz2006-03-28 19:04 376  
[ ]union_th3_proof_Out.con.types.xml.gz2006-03-28 19:04 494  
[ ]union_th3_proof_Out.con.xml.gz2006-03-28 19:04 364  
[ ]union_th3_property.ind.types.xml.gz2006-03-28 19:04 229  
[ ]union_th3_property.ind.xml.gz2006-03-28 19:04 658  
[ ]union_th3_property_in_the_union.con.body.xml.gz2006-03-28 19:04 787  
[ ]union_th3_property_in_the_union.con.types.xml.gz2006-03-28 19:04 651  
[ ]union_th3_property_in_the_union.con.xml.gz2006-03-28 19:04 482  
[ ]union_th3_property_ind.con.body.xml.gz2006-03-28 19:04 453  
[ ]union_th3_property_ind.con.types.xml.gz2006-03-28 19:04 736  
[ ]union_th3_property_ind.con.xml.gz2006-03-28 19:04 607  
[ ]union_th3_property_not_equal_X.con.body.xml.gz2006-03-28 19:04 797  
[ ]union_th3_property_not_equal_X.con.types.xml.gz2006-03-28 19:04 702  
[ ]union_th3_property_not_equal_X.con.xml.gz2006-03-28 19:04 519  
[ ]union_th3_property_rec.con.body.xml.gz2006-03-28 19:04 451  
[ ]union_th3_property_rec.con.types.xml.gz2006-03-28 19:04 239  
[ ]union_th3_property_rec.con.xml.gz2006-03-28 19:04 614  
[ ]union_th3_property_rect.con.body.xml.gz2006-03-28 19:04 722  
[ ]union_th3_property_rect.con.types.xml.gz2006-03-28 19:04 240  
[ ]union_th3_property_rect.con.xml.gz2006-03-28 19:04 609  
[ ]union_th4.con.body.xml.gz2006-03-28 19:04 764  
[ ]union_th4.con.types.xml.gz2006-03-28 19:04 616  
[ ]union_th4.con.xml.gz2006-03-28 19:04 577  
[ ]union_th4_Out.con.body.xml.gz2006-03-28 19:04 529  
[ ]union_th4_Out.con.types.xml.gz2006-03-28 19:04 434  
[ ]union_th4_Out.con.xml.gz2006-03-28 19:04 287  
[DIR]union_th4_proof/2006-03-28 19:04 -  
[DIR]well_def_1/2006-03-28 19:04 -  
[ ]well_def_1_Out.con.body.xml.gz2006-03-28 19:04 369  
[ ]well_def_1_Out.con.types.xml.gz2006-03-28 19:04 656  
[ ]well_def_1_Out.con.xml.gz2006-03-28 19:04 359  
[ ]well_definedness.con.body.xml.gz2006-03-28 19:04 601  
[ ]well_definedness.con.types.xml.gz2006-03-28 19:04 226  
[ ]well_definedness.con.xml.gz2006-03-28 19:04 320  
[ ]well_definedness_sub.con.body.xml.gz2006-03-28 19:04 830  
[ ]well_definedness_sub.con.types.xml.gz2006-03-28 19:04 717  
[ ]well_definedness_sub.con.xml.gz2006-03-28 19:04 460  
[DIR]when_given_two_distinct_elements/2006-03-28 19:04 -  
[ ]when_given_two_distinct_elements_Out.con.body.xml.gz2006-03-28 19:04 403  
[ ]when_given_two_distinct_elements_Out.con.types.xml.gz2006-03-28 19:04 753  
[ ]when_given_two_distinct_elements_Out.con.xml.gz2006-03-28 19:04 343  
[DIR]zero_different_from_one/2006-03-28 19:04 -  
[ ]zero_different_from_one_Out.con.body.xml.gz2006-03-28 19:04 342  
[ ]zero_different_from_one_Out.con.types.xml.gz2006-03-28 19:04 496  
[ ]zero_different_from_one_Out.con.xml.gz2006-03-28 19:04 327  
[ ]zero_has_leq_0_elements.con.body.xml.gz2006-03-28 19:04 292  
[ ]zero_has_leq_0_elements.con.types.xml.gz2006-03-28 19:04 514  
[ ]zero_has_leq_0_elements.con.xml.gz2006-03-28 19:04 307  
[ ]zero_not_in_itself.con.body.xml.gz2006-03-28 19:04 445  
[ ]zero_not_in_itself.con.types.xml.gz2006-03-28 19:04 424  
[ ]zero_not_in_itself.con.xml.gz2006-03-28 19:04 296  
Apache/2.4.57 (Debian) Server at mowgli.cs.unibo.it Port 80