Index of /xml/CoRN/algebra/CLogic

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[DIR]CRelation_Definition/2005-07-05 08:13 -  
[DIR]Choice/2005-07-05 08:13 -  
[DIR]Misc/2005-07-05 08:13 -  
[DIR]Natural_Numbers/2005-07-05 08:13 -  
[DIR]TRelation_Definition/2005-07-05 08:13 -  
[ ]COr.ind.types.xml.gz2004-11-09 10:15 190  
[ ]Cle.ind.types.xml.gz2004-11-09 10:15 190  
[ ]Clt.con.types.xml.gz2004-11-09 10:15 190  
[ ]Codd.ind.types.xml.gz2004-11-09 10:15 190  
[ ]Not.con.types.xml.gz2004-11-09 10:15 190  
[ ]Iff.con.types.xml.gz2004-11-09 10:15 191  
[ ]CAnd.ind.types.xml.gz2004-11-09 10:15 192  
[ ]CNot.con.types.xml.gz2004-11-09 10:15 192  
[ ]Zlts.con.types.xml.gz2004-11-09 10:16 193  
[ ]CProp.con.types.xml.gz2004-11-09 10:15 194  
[ ]CTrue.ind.types.xml.gz2004-11-09 10:15 194  
[ ]sig2T.ind.types.xml.gz2004-11-09 10:15 194  
[ ]CFalse.ind.types.xml.gz2004-11-09 10:15 196  
[ ]Cequiv.con.types.xml.gz2004-11-09 10:15 196  
[ ]Tequiv.con.types.xml.gz2004-11-09 10:15 196  
[ ]member.con.types.xml.gz2004-11-09 10:15 196  
[ ]toCProp.ind.types.xml.gz2004-11-09 10:15 197  
[ ]COr_rec.con.types.xml.gz2004-11-09 10:15 198  
[ ]CProp.con.xml.gz2004-11-09 10:15 198  
[ ]Cle_n_S.con.types.xml.gz2004-11-09 10:15 198  
[ ]Cle_rec.con.types.xml.gz2004-11-09 10:15 198  
[ ]to_Codd.con.types.xml.gz2004-11-09 10:15 198  
[ ]Codd_rec.con.types.xml.gz2004-11-09 10:15 199  
[ ]Iff_sym.con.types.xml.gz2004-11-09 10:15 199  
[ ]CAnd_rec.con.types.xml.gz2004-11-09 10:15 200  
[ ]COr_rect.con.types.xml.gz2004-11-09 10:15 200  
[ ]Cle_rect.con.types.xml.gz2004-11-09 10:15 200  
[ ]Codd_rect.con.types.xml.gz2004-11-09 10:15 200  
[ ]Iff_left.con.types.xml.gz2004-11-09 10:15 200  
[ ]Iff_refl.con.types.xml.gz2004-11-09 10:15 200  
[ ]to_Ceven.con.types.xml.gz2004-11-09 10:15 200  
[ ]Ceven_rec.con.types.xml.gz2004-11-09 10:15 201  
[ ]Crelation.con.types.xml.gz2004-11-09 10:15 201  
[ ]Trelation.con.types.xml.gz2004-11-09 10:15 201  
[ ]CAnd_rect.con.types.xml.gz2004-11-09 10:15 202  
[ ]CTrue_rec.con.types.xml.gz2004-11-09 10:15 202  
[ ]Cdecidable.con.types.xml.gz2004-11-09 10:15 202  
[ ]Creflexive.con.types.xml.gz2004-11-09 10:15 202  
[ ]Iff_right.con.types.xml.gz2004-11-09 10:15 202  
[ ]Iff_trans.con.types.xml.gz2004-11-09 10:15 202  
[ ]Treflexive.con.types.xml.gz2004-11-09 10:15 202  
[ ]sig2T_rec.con.types.xml.gz2004-11-09 10:15 202  
[ ]CTrue_rect.con.types.xml.gz2004-11-09 10:15 203  
[ ]Ceven_rect.con.types.xml.gz2004-11-09 10:15 203  
[ ]Csymmetric.con.types.xml.gz2004-11-09 10:15 203  
[ ]Tsymmetric.con.types.xml.gz2004-11-09 10:15 203  
[ ]proj1_sigT.con.types.xml.gz2004-11-09 10:15 203  
[ ]toCProp_lt.con.types.xml.gz2004-11-09 10:15 203  
[ ]CAnd_proj1.con.types.xml.gz2004-11-09 10:15 204  
[ ]CFalse_rec.con.types.xml.gz2004-11-09 10:15 204  
[ ]Ctransitive.con.types.xml.gz2004-11-09 10:15 204  
[ ]Ttransitive.con.types.xml.gz2004-11-09 10:15 204  
[ ]member_app.con.types.xml.gz2004-11-09 10:15 204  
[ ]my_Cle_ind.con.types.xml.gz2004-11-09 10:15 204  
[ ]proj2_sigT.con.types.xml.gz2004-11-09 10:15 204  
[ ]sig2T_rect.con.types.xml.gz2004-11-09 10:15 204  
[ ]CAnd_proj2.con.types.xml.gz2004-11-09 10:15 205  
[ ]CFalse_rect.con.types.xml.gz2004-11-09 10:15 205  
[ ]Iff_imp_imp.con.types.xml.gz2004-11-09 10:15 205  
[ ]toCProp_rec.con.types.xml.gz2004-11-09 10:15 205  
[ ]Cnats_Z_ind.con.types.xml.gz2004-11-09 10:15 206  
[ ]proj1_sig2T.con.types.xml.gz2004-11-09 10:15 206  
[ ]toCProp_rect.con.types.xml.gz2004-11-09 10:15 206  
[ ]proj2a_sig2T.con.types.xml.gz2004-11-09 10:15 208  
[ ]proj2b_sig2T.con.types.xml.gz2004-11-09 10:15 208  
[ ]Cnat_double_ind.con.types.xml.gz2004-11-09 10:15 212  
[ ]nat_less_n_pred.con.types.xml.gz2004-11-09 10:15 212  
[ ]CdeMorgan_ex_all.con.types.xml.gz2004-11-09 10:15 214  
[ ]nat_less_n_pred'.con.types.xml.gz2004-11-09 10:15 215  
[ ]CProp.con.body.xml.gz2004-11-09 10:15 229  
[ ]nat_complete_double_induction.con.types.xml.gz2004-11-09 10:16 236  
[ ]Crelation.con.xml.gz2004-11-09 10:15 244  
[ ]Trelation.con.xml.gz2004-11-09 10:15 244  
[ ]CFalse.ind.xml.gz2004-11-09 10:15 249  
[ ]Cequiv.con.xml.gz2004-11-09 10:15 261  
[ ]Tequiv.con.xml.gz2004-11-09 10:15 261  
[ ]Csymmetric.con.xml.gz2004-11-09 10:15 266  
[ ]Creflexive.con.xml.gz2004-11-09 10:15 267  
[ ]Ctransitive.con.xml.gz2004-11-09 10:15 267  
[ ]Tsymmetric.con.xml.gz2004-11-09 10:15 267  
[ ]Treflexive.con.xml.gz2004-11-09 10:15 268  
[ ]Ttransitive.con.xml.gz2004-11-09 10:15 268  
[ ]Not.con.xml.gz2004-11-09 10:15 283  
[ ]CNot.con.xml.gz2004-11-09 10:15 286  
[ ]Cdecidable.con.xml.gz2004-11-09 10:15 287  
[ ]Iff.con.xml.gz2004-11-09 10:15 287  
[ ]Zlts.con.xml.gz2004-11-09 10:16 298  
[ ]CTrue.ind.xml.gz2004-11-09 10:15 302  
[ ]Clt.con.xml.gz2004-11-09 10:15 317  
[ ]Trelation.con.body.xml.gz2004-11-09 10:15 325  
[ ]Crelation.con.body.xml.gz2004-11-09 10:15 326  
[ ]Iff_refl.con.xml.gz2004-11-09 10:15 346  
[ ]Cequiv.con.body.xml.gz2004-11-09 10:15 360  
[ ]Tequiv.con.body.xml.gz2004-11-09 10:15 361  
[ ]CNot.con.body.xml.gz2004-11-09 10:15 365  
[ ]Creflexive.con.body.xml.gz2004-11-09 10:15 374  
[ ]Not.con.body.xml.gz2004-11-09 10:15 377  
[ ]Treflexive.con.body.xml.gz2004-11-09 10:15 378  
[ ]Clt_le_weak.con.types.xml.gz2004-11-09 10:15 388  
[ ]Cdecidable.con.body.xml.gz2004-11-09 10:15 392  
[ ]CFalse_rec.con.xml.gz2004-11-09 10:15 398  
[ ]CFalse_rect.con.xml.gz2004-11-09 10:15 399  
[ ]Iff_sym.con.xml.gz2004-11-09 10:15 400  
[ ]CFalse_ind.con.xml.gz2004-11-09 10:15 401  
[ ]Codd_to.con.xml.gz2004-11-09 10:15 403  
[ ]to_Codd.con.xml.gz2004-11-09 10:15 403  
[ ]to_Ceven.con.xml.gz2004-11-09 10:15 404  
[ ]Ceven_to.con.xml.gz2004-11-09 10:15 405  
[ ]even_plus_n_n.con.xml.gz2004-11-09 10:15 405  
[ ]CAnd_proj2.con.xml.gz2004-11-09 10:15 406  
[ ]member.con.xml.gz2004-11-09 10:15 406  
[ ]CAnd_proj1.con.xml.gz2004-11-09 10:15 407  
[ ]CTrue_rec.con.body.xml.gz2004-11-09 10:15 408  
[ ]CTrue_ind.con.body.xml.gz2004-11-09 10:15 409  
[ ]CFalse_rec.con.body.xml.gz2004-11-09 10:15 410  
[ ]CFalse_ind.con.body.xml.gz2004-11-09 10:15 411  
[ ]Cle_le_S_eq.con.types.xml.gz2004-11-09 10:15 417  
[ ]Clt.con.body.xml.gz2004-11-09 10:15 419  
[ ]toCProp_e.con.xml.gz2004-11-09 10:15 420  
[ ]toCle.con.xml.gz2004-11-09 10:15 420  
[ ]Csymmetric.con.body.xml.gz2004-11-09 10:15 425  
[ ]Cle_to.con.xml.gz2004-11-09 10:15 427  
[ ]Tsymmetric.con.body.xml.gz2004-11-09 10:15 429  
[ ]Clt_to.con.xml.gz2004-11-09 10:15 432  
[ ]toCProp_lt.con.xml.gz2004-11-09 10:15 436  
[ ]CZlt_to.con.xml.gz2004-11-09 10:16 437  
[ ]toCProp_Zlt.con.xml.gz2004-11-09 10:16 437  
[ ]Ccontrapos'.con.types.xml.gz2004-11-09 10:15 438  
[ ]toCProp_Zlt.con.body.xml.gz2004-11-09 10:16 438  
[ ]CTrue_rect.con.xml.gz2004-11-09 10:15 439  
[ ]Iff.con.body.xml.gz2004-11-09 10:15 439  
[ ]lt_5.con.xml.gz2004-11-09 10:15 440  
[ ]proj1_sigT.con.xml.gz2004-11-09 10:15 440  
[ ]Clt_le_weak.con.xml.gz2004-11-09 10:15 441  
[ ]lt_8.con.xml.gz2004-11-09 10:15 441  
[ ]toCProp.ind.xml.gz2004-11-09 10:15 441  
[ ]CTrue_rec.con.xml.gz2004-11-09 10:15 442  
[ ]Ccontrapos'.con.xml.gz2004-11-09 10:15 443  
[ ]Iff_left.con.xml.gz2004-11-09 10:15 443  
[ ]CTrue_ind.con.xml.gz2004-11-09 10:15 444  
[ ]Iff_right.con.xml.gz2004-11-09 10:15 444  
[ ]le_2.con.xml.gz2004-11-09 10:15 447  
[ ]le_1.con.xml.gz2004-11-09 10:15 452  
[ ]Zsgn_2.con.xml.gz2004-11-09 10:16 457  
[ ]ZL9.con.xml.gz2004-11-09 10:16 461  
[ ]CFalse_ind.con.types.xml.gz2004-11-09 10:15 465  
[ ]nat_less_n_pred'.con.xml.gz2004-11-09 10:15 465  
[ ]Zlts.con.body.xml.gz2004-11-09 10:16 466  
[ ]nat_less_n_pred.con.xml.gz2004-11-09 10:15 466  
[ ]toCProp_ind.con.body.xml.gz2004-11-09 10:15 466  
[ ]not_not_lt.con.xml.gz2004-11-09 10:15 467  
[ ]Ctransitive.con.body.xml.gz2004-11-09 10:15 469  
[ ]Cle_n_S.con.xml.gz2004-11-09 10:15 470  
[ ]Codd_rec.con.body.xml.gz2004-11-09 10:15 470  
[ ]Zsgn_4.con.xml.gz2004-11-09 10:16 470  
[ ]toCProp_rec.con.body.xml.gz2004-11-09 10:15 472  
[ ]Ttransitive.con.body.xml.gz2004-11-09 10:15 473  
[ ]Codd_ind.con.body.xml.gz2004-11-09 10:15 475  
[ ]Ceven_rec.con.body.xml.gz2004-11-09 10:15 476  
[ ]proj1_sig2T.con.xml.gz2004-11-09 10:15 477  
[ ]Iff_imp_imp.con.xml.gz2004-11-09 10:15 479  
[ ]pred_lt.con.xml.gz2004-11-09 10:15 479  
[ ]Iff_refl.con.body.xml.gz2004-11-09 10:15 480  
[ ]Ceven_ind.con.body.xml.gz2004-11-09 10:15 481  
[ ]absolu_1.con.xml.gz2004-11-09 10:16 482  
[ ]Iff_trans.con.xml.gz2004-11-09 10:15 485  
[ ]Zsgn_3.con.xml.gz2004-11-09 10:16 495  
[ ]CAnd.ind.xml.gz2004-11-09 10:15 497  
[ ]to_Codd_even.con.xml.gz2004-11-09 10:15 498  
[ ]COr_rec.con.body.xml.gz2004-11-09 10:15 504  
[ ]Cle_rec.con.body.xml.gz2004-11-09 10:15 504  
[ ]COr_ind.con.body.xml.gz2004-11-09 10:15 505  
[ ]S_predn.con.xml.gz2004-11-09 10:16 505  
[ ]proj2_sigT.con.xml.gz2004-11-09 10:15 505  
[ ]lt_pred'.con.xml.gz2004-11-09 10:15 507  
[ ]Codd_even_to.con.xml.gz2004-11-09 10:15 509  
[ ]Cle_ind.con.body.xml.gz2004-11-09 10:15 511  
[ ]CAnd_rec.con.body.xml.gz2004-11-09 10:15 512  
[ ]CAnd_ind.con.body.xml.gz2004-11-09 10:15 513  
[ ]CFalse_rect.con.body.xml.gz2004-11-09 10:15 513  
[ ]Clt_to.con.body.xml.gz2004-11-09 10:15 513  
[ ]toCProp_e.con.types.xml.gz2004-11-09 10:15 513  
[ ]absolu_2.con.xml.gz2004-11-09 10:16 520  
[ ]toCProp_lt.con.body.xml.gz2004-11-09 10:15 521  
[ ]Cle_le_S_eq.con.xml.gz2004-11-09 10:15 530  
[ ]Cnat_total_order.con.xml.gz2004-11-09 10:15 533  
[ ]CTrue_ind.con.types.xml.gz2004-11-09 10:15 534  
[ ]toCProp_Zlt.con.types.xml.gz2004-11-09 10:16 540  
[ ]Cdiff_Z_ind.con.types.xml.gz2004-11-09 10:15 543  
[ ]CdeMorgan_ex_all.con.xml.gz2004-11-09 10:15 546  
[ ]plus_pred_pred_plus.con.xml.gz2004-11-09 10:15 547  
[ ]lt_8.con.body.xml.gz2004-11-09 10:15 548  
[ ]COr.ind.xml.gz2004-11-09 10:15 551  
[ ]proj2a_sig2T.con.xml.gz2004-11-09 10:15 551  
[ ]proj2b_sig2T.con.xml.gz2004-11-09 10:15 552  
[ ]Clt_le_weak.con.body.xml.gz2004-11-09 10:15 555  
[ ]Zgt_mult_reg_absorb_l.con.xml.gz2004-11-09 10:16 561  
[ ]Zgt_mult_conv_absorb_l.con.xml.gz2004-11-09 10:16 565  
[ ]lt_8.con.types.xml.gz2004-11-09 10:15 566  
[ ]toCProp_ind.con.xml.gz2004-11-09 10:15 566  
[ ]toCProp_rec.con.xml.gz2004-11-09 10:15 573  
[ ]toCProp_rect.con.xml.gz2004-11-09 10:15 574  
[ ]Ccontrapos'.con.body.xml.gz2004-11-09 10:15 575  
[ ]CNot_Not_or.con.xml.gz2004-11-09 10:15 576  
[ ]plus_eq_one_imp_eq_zero.con.xml.gz2004-11-09 10:15 577  
[ ]Cle.ind.xml.gz2004-11-09 10:15 578  
[ ]nat_nat_pos.con.xml.gz2004-11-09 10:16 579  
[ ]CTrue_rect.con.body.xml.gz2004-11-09 10:15 581  
[ ]sig2T_rec.con.body.xml.gz2004-11-09 10:15 581  
[ ]Cdiff_Z_ind.con.xml.gz2004-11-09 10:15 582  
[ ]sig2T_ind.con.body.xml.gz2004-11-09 10:15 582  
[ ]Cnats_Z_ind.con.xml.gz2004-11-09 10:15 591  
[ ]lt_10.con.xml.gz2004-11-09 10:15 592  
[ ]ZL4'.con.xml.gz2004-11-09 10:16 593  
[ ]CAnd_proj2.con.body.xml.gz2004-11-09 10:15 597  
[ ]CAnd_proj1.con.body.xml.gz2004-11-09 10:15 601  
[ ]absolu_2.con.body.xml.gz2004-11-09 10:16 603  
[ ]Zsgn_1.con.xml.gz2004-11-09 10:16 604  
[ ]toCProp_e.con.body.xml.gz2004-11-09 10:15 610  
[ ]even_or_odd_plus.con.xml.gz2004-11-09 10:15 612  
[ ]even_or_odd_plus.con.types.xml.gz2004-11-09 10:15 613  
[ ]Zsgn_1.con.types.xml.gz2004-11-09 10:16 628  
[ ]odd_ind.con.xml.gz2004-11-09 10:16 628  
[ ]even_ind.con.xml.gz2004-11-09 10:16 631  
[ ]Zmult_Sm_Sn.con.xml.gz2004-11-09 10:16 635  
[ ]Codd.ind.xml.gz2004-11-09 10:15 640  
[ ]nat_local_mon_imp_mon_le.con.xml.gz2004-11-09 10:15 643  
[ ]CAnd_rec.con.xml.gz2004-11-09 10:15 645  
[ ]Codd_rec.con.xml.gz2004-11-09 10:15 647  
[ ]CAnd_rect.con.xml.gz2004-11-09 10:15 648  
[ ]Cnat_total_order.con.types.xml.gz2004-11-09 10:15 648  
[ ]Codd_rect.con.xml.gz2004-11-09 10:15 648  
[ ]CAnd_ind.con.xml.gz2004-11-09 10:15 652  
[ ]member_app.con.xml.gz2004-11-09 10:15 652  
[ ]proj1_sigT.con.body.xml.gz2004-11-09 10:15 652  
[ ]sig2T.ind.xml.gz2004-11-09 10:15 652  
[ ]Codd_ind.con.xml.gz2004-11-09 10:15 653  
[ ]nat_local_mon_imp_mon.con.xml.gz2004-11-09 10:15 655  
[ ]my_Cle_ind.con.xml.gz2004-11-09 10:15 658  
[ ]nat_mon_imp_mon'.con.xml.gz2004-11-09 10:15 659  
[ ]CdeMorgan_ex_all.con.body.xml.gz2004-11-09 10:15 660  
[ ]even_induction.con.xml.gz2004-11-09 10:16 667  
[ ]nat_mon_imp_inj.con.xml.gz2004-11-09 10:15 672  
[ ]even_or_odd_plus_gt.con.types.xml.gz2004-11-09 10:15 674  
[ ]four_induction.con.types.xml.gz2004-11-09 10:16 679  
[ ]Ceven_rec.con.xml.gz2004-11-09 10:15 683  
[ ]COr_rec.con.xml.gz2004-11-09 10:15 684  
[ ]COr_rect.con.xml.gz2004-11-09 10:15 684  
[ ]odd_induction.con.xml.gz2004-11-09 10:16 688  
[ ]Ceven_rect.con.xml.gz2004-11-09 10:15 689  
[ ]COr_ind.con.xml.gz2004-11-09 10:15 690  
[ ]Ceven_ind.con.xml.gz2004-11-09 10:15 690  
[ ]choice.con.types.xml.gz2004-11-09 10:15 691  
[ ]CZ_exh.con.xml.gz2004-11-09 10:15 692  
[ ]Cdiff_Z_ind_subproof.con.xml.gz2004-11-09 10:15 699  
[ ]nat_complete_double_ind.con.xml.gz2004-11-09 10:16 702  
[ ]Clt_to.con.types.xml.gz2004-11-09 10:15 705  
[ ]toCProp_ind.con.types.xml.gz2004-11-09 10:15 707  
[ ]lt_5.con.types.xml.gz2004-11-09 10:15 709  
[ ]Cpred_succ_Z_ind.con.xml.gz2004-11-09 10:15 710  
[ ]odd_double_ind.con.xml.gz2004-11-09 10:16 713  
[ ]lt_5.con.body.xml.gz2004-11-09 10:15 716  
[ ]even_or_odd_plus_gt.con.xml.gz2004-11-09 10:15 718  
[ ]nat_less_n_pred.con.body.xml.gz2004-11-09 10:15 719  
[ ]nat_less_n_pred'.con.body.xml.gz2004-11-09 10:15 720  
[ ]Cnat_double_ind.con.xml.gz2004-11-09 10:15 724  
[ ]Zsgn_5.con.xml.gz2004-11-09 10:16 725  
[ ]toCProp_rect.con.body.xml.gz2004-11-09 10:15 726  
[ ]Cle_to.con.types.xml.gz2004-11-09 10:15 727  
[ ]nat_complete_double_induction.con.xml.gz2004-11-09 10:16 727  
[ ]proj1_sig2T.con.body.xml.gz2004-11-09 10:15 727  
[ ]proj2_sigT.con.body.xml.gz2004-11-09 10:15 729  
[ ]pred_lt.con.body.xml.gz2004-11-09 10:15 740  
[ ]Codd_to.con.types.xml.gz2004-11-09 10:15 744  
[ ]four_ind.con.xml.gz2004-11-09 10:16 748  
[ ]choice.con.xml.gz2004-11-09 10:15 749  
[ ]Ceven_to.con.types.xml.gz2004-11-09 10:15 751  
[ ]Cle_to.con.body.xml.gz2004-11-09 10:15 755  
[ ]sig2T_rec.con.xml.gz2004-11-09 10:15 758  
[ ]sig2T_rect.con.xml.gz2004-11-09 10:15 761  
[ ]not_l_cor_rect.con.xml.gz2004-11-09 10:15 762  
[ ]not_r_cor_rect.con.xml.gz2004-11-09 10:15 762  
[ ]sig2T_ind.con.xml.gz2004-11-09 10:15 766  
[ ]four_induction.con.xml.gz2004-11-09 10:16 773  
[ ]not_l_sum_rec.con.xml.gz2004-11-09 10:15 775  
[ ]not_r_sum_rec.con.xml.gz2004-11-09 10:15 775  
[ ]le_1.con.body.xml.gz2004-11-09 10:15 777  
[ ]Codd_to.con.body.xml.gz2004-11-09 10:15 789  
[ ]Ceven_to.con.body.xml.gz2004-11-09 10:15 791  
[ ]Cle_rec.con.xml.gz2004-11-09 10:15 794  
[ ]Cle_rect.con.xml.gz2004-11-09 10:15 799  
[ ]Cle_ind.con.xml.gz2004-11-09 10:15 800  
[ ]CAnd_rect.con.body.xml.gz2004-11-09 10:15 804  
[ ]le_1.con.types.xml.gz2004-11-09 10:15 805  
[ ]proj2a_sig2T.con.body.xml.gz2004-11-09 10:15 813  
[ ]proj2b_sig2T.con.body.xml.gz2004-11-09 10:15 814  
[ ]pred_lt.con.types.xml.gz2004-11-09 10:15 823  
[ ]Codd_rect.con.body.xml.gz2004-11-09 10:15 825  
[ ]Cle_n_S.con.body.xml.gz2004-11-09 10:15 826  
[ ]CAnd_ind.con.types.xml.gz2004-11-09 10:15 832  
[ ]Codd_ind.con.types.xml.gz2004-11-09 10:15 841  
[ ]absolu_2.con.types.xml.gz2004-11-09 10:16 852  
[ ]weird_mon_covers.con.xml.gz2004-11-09 10:16 857  
[ ]COr_rect.con.body.xml.gz2004-11-09 10:15 862  
[ ]COr_ind.con.types.xml.gz2004-11-09 10:15 887  
[ ]Ceven_rect.con.body.xml.gz2004-11-09 10:15 888  
[ ]my_Cle_ind.con.body.xml.gz2004-11-09 10:15 894  
[ ]CZ_exh.con.types.xml.gz2004-11-09 10:15 904  
[ ]Ceven_ind.con.types.xml.gz2004-11-09 10:15 912  
[ ]to_Codd.con.body.xml.gz2004-11-09 10:15 926  
[ ]to_Ceven.con.body.xml.gz2004-11-09 10:15 930  
[ ]member.con.body.xml.gz2004-11-09 10:15 931  
[ ]sig2T_rect.con.body.xml.gz2004-11-09 10:15 945  
[ ]CNot_Not_or.con.body.xml.gz2004-11-09 10:15 948  
[ ]CNot_Not_or.con.types.xml.gz2004-11-09 10:15 960  
[ ]choice.con.body.xml.gz2004-11-09 10:15 1.0K 
[ ]sig2T_ind.con.types.xml.gz2004-11-09 10:15 1.0K 
[ ]mon_fun_covers.con.xml.gz2004-11-09 10:16 1.0K 
[ ]Iff_sym.con.body.xml.gz2004-11-09 10:15 1.1K 
[ ]Iff_imp_imp.con.body.xml.gz2004-11-09 10:15 1.1K 
[ ]kseq_prop.con.xml.gz2004-11-09 10:16 1.1K 
[ ]Cle_ind.con.types.xml.gz2004-11-09 10:15 1.1K 
[ ]nat_mon_imp_mon'.con.types.xml.gz2004-11-09 10:16 1.1K 
[ ]mon_fun_covers.con.types.xml.gz2004-11-09 10:16 1.1K 
[ ]nat_complete_double_ind.con.types.xml.gz2004-11-09 10:16 1.1K 
[ ]finite_or_elim.con.xml.gz2004-11-09 10:16 1.1K 
[ ]not_l_cor_rect.con.body.xml.gz2004-11-09 10:15 1.2K 
[ ]not_r_cor_rect.con.body.xml.gz2004-11-09 10:15 1.2K 
[ ]nat_complete_double_induction.con.body.xml.gz2004-11-09 10:16 1.2K 
[ ]nat_complete_double_ind.con.body.xml.gz2004-11-09 10:16 1.2K 
[ ]not_l_sum_rec.con.body.xml.gz2004-11-09 10:15 1.2K 
[ ]not_r_sum_rec.con.body.xml.gz2004-11-09 10:15 1.2K 
[ ]Cnat_double_ind.con.body.xml.gz2004-11-09 10:15 1.2K 
[ ]Cdiff_Z_ind.con.body.xml.gz2004-11-09 10:15 1.3K 
[ ]even_plus_n_n.con.body.xml.gz2004-11-09 10:15 1.3K 
[ ]even_plus_n_n.con.types.xml.gz2004-11-09 10:15 1.3K 
[ ]Cle_rect.con.body.xml.gz2004-11-09 10:15 1.3K 
[ ]nat_mon_imp_mon'.con.body.xml.gz2004-11-09 10:15 1.3K 
[ ]str_finite_or_elim.con.xml.gz2004-11-09 10:16 1.4K 
[ ]Zsgn_4.con.body.xml.gz2004-11-09 10:16 1.5K 
[ ]Cpred_succ_Z_ind.con.types.xml.gz2004-11-09 10:15 1.6K 
[ ]toCle.con.types.xml.gz2004-11-09 10:15 1.6K 
[ ]Iff_right.con.body.xml.gz2004-11-09 10:15 1.6K 
[ ]Iff_left.con.body.xml.gz2004-11-09 10:15 1.6K 
[ ]Cle_le_S_eq.con.body.xml.gz2004-11-09 10:15 1.6K 
[ ]Zsgn_1.con.body.xml.gz2004-11-09 10:16 1.7K 
[ ]CZlt_to.con.body.xml.gz2004-11-09 10:16 1.7K 
[ ]Zgt_mult_conv_absorb_l.con.types.xml.gz2004-11-09 10:16 1.7K 
[ ]Zsgn_3.con.body.xml.gz2004-11-09 10:16 1.8K 
[ ]odd_double_ind.con.types.xml.gz2004-11-09 10:16 1.8K 
[ ]CZlt_to.con.types.xml.gz2004-11-09 10:16 1.9K 
[ ]Zsgn_4.con.types.xml.gz2004-11-09 10:16 1.9K 
[ ]Zsgn_3.con.types.xml.gz2004-11-09 10:16 2.0K 
[ ]Zgt_mult_conv_absorb_l.con.body.xml.gz2004-11-09 10:16 2.0K 
[ ]Cnat_total_order.con.body.xml.gz2004-11-09 10:15 2.0K 
[ ]not_l_cor_rect.con.types.xml.gz2004-11-09 10:15 2.0K 
[ ]not_l_sum_rec.con.types.xml.gz2004-11-09 10:15 2.0K 
[ ]not_r_cor_rect.con.types.xml.gz2004-11-09 10:15 2.1K 
[ ]not_r_sum_rec.con.types.xml.gz2004-11-09 10:15 2.1K 
[ ]Iff_trans.con.body.xml.gz2004-11-09 10:15 2.2K 
[ ]CZ_exh.con.body.xml.gz2004-11-09 10:15 2.2K 
[ ]Cnats_Z_ind.con.body.xml.gz2004-11-09 10:15 2.3K 
[ ]nat_nat_pos.con.body.xml.gz2004-11-09 10:16 2.3K 
[ ]ZL4'.con.types.xml.gz2004-11-09 10:16 2.5K 
[ ]Zsgn_2.con.body.xml.gz2004-11-09 10:16 2.6K 
[ ]Zsgn_2.con.types.xml.gz2004-11-09 10:16 2.6K 
[ ]odd_induction.con.types.xml.gz2004-11-09 10:16 2.7K 
[ ]nat_local_mon_imp_mon_le.con.types.xml.gz2004-11-09 10:15 2.8K 
[ ]Cpred_succ_Z_ind.con.body.xml.gz2004-11-09 10:15 2.8K 
[ ]nat_local_mon_imp_mon_le.con.body.xml.gz2004-11-09 10:15 2.8K 
[ ]ZL9.con.types.xml.gz2004-11-09 10:16 2.8K 
[ ]lt_pred'.con.body.xml.gz2004-11-09 10:15 3.0K 
[ ]four_ind.con.types.xml.gz2004-11-09 10:16 3.0K 
[ ]four_induction.con.body.xml.gz2004-11-09 10:16 3.0K 
[ ]four_ind.con.body.xml.gz2004-11-09 10:16 3.1K 
[ ]Zmult_Sm_Sn.con.body.xml.gz2004-11-09 10:16 3.1K 
[ ]odd_ind.con.types.xml.gz2004-11-09 10:16 3.2K 
[ ]ZL9.con.body.xml.gz2004-11-09 10:16 3.3K 
[ ]nat_nat_pos.con.types.xml.gz2004-11-09 10:16 3.3K 
[ ]lt_pred'.con.types.xml.gz2004-11-09 10:15 3.3K 
[ ]Cdiff_Z_ind_subproof.con.types.xml.gz2004-11-09 10:15 3.3K 
[ ]toCle.con.body.xml.gz2004-11-09 10:15 3.5K 
[ ]odd_ind.con.body.xml.gz2004-11-09 10:16 3.5K 
[ ]even_or_odd_plus.con.body.xml.gz2004-11-09 10:15 3.5K 
[ ]odd_double_ind.con.body.xml.gz2004-11-09 10:16 3.6K 
[ ]even_or_odd_plus_gt.con.body.xml.gz2004-11-09 10:15 3.6K 
[ ]str_finite_or_elim.con.types.xml.gz2004-11-09 10:16 3.6K 
[ ]odd_induction.con.body.xml.gz2004-11-09 10:16 3.7K 
[ ]Cdiff_Z_ind_subproof.con.body.xml.gz2004-11-09 10:15 3.7K 
[ ]ZL4'.con.body.xml.gz2004-11-09 10:16 4.1K 
[ ]to_Codd_even.con.types.xml.gz2004-11-09 10:15 4.2K 
[ ]Zmult_Sm_Sn.con.types.xml.gz2004-11-09 10:16 4.5K 
[ ]finite_or_elim.con.types.xml.gz2004-11-09 10:16 4.7K 
[ ]weird_mon_covers.con.types.xml.gz2004-11-09 10:16 4.8K 
[ ]S_predn.con.types.xml.gz2004-11-09 10:16 5.0K 
[ ]nat_local_mon_imp_mon.con.types.xml.gz2004-11-09 10:15 5.1K 
[ ]mon_fun_covers.con.body.xml.gz2004-11-09 10:16 5.4K 
[ ]not_not_lt.con.types.xml.gz2004-11-09 10:15 5.6K 
[ ]nat_local_mon_imp_mon.con.body.xml.gz2004-11-09 10:15 5.7K 
[ ]Codd_even_to.con.body.xml.gz2004-11-09 10:15 5.9K 
[ ]to_Codd_even.con.body.xml.gz2004-11-09 10:15 6.0K 
[ ]Zgt_mult_reg_absorb_l.con.types.xml.gz2004-11-09 10:16 6.0K 
[ ]S_predn.con.body.xml.gz2004-11-09 10:16 6.0K 
[ ]absolu_1.con.body.xml.gz2004-11-09 10:16 6.2K 
[ ]Codd_even_to.con.types.xml.gz2004-11-09 10:15 6.4K 
[ ]Zgt_mult_reg_absorb_l.con.body.xml.gz2004-11-09 10:16 6.5K 
[ ]INDEX2005-07-05 08:11 7.0K 
[ ]absolu_1.con.types.xml.gz2004-11-09 10:16 7.3K 
[ ]not_not_lt.con.body.xml.gz2004-11-09 10:15 8.0K 
[ ]weird_mon_covers.con.body.xml.gz2004-11-09 10:16 8.5K 
[ ]even_induction.con.types.xml.gz2004-11-09 10:16 9.3K 
[ ]plus_eq_one_imp_eq_zero.con.types.xml.gz2004-11-09 10:15 11K 
[ ]even_ind.con.types.xml.gz2004-11-09 10:16 12K 
[ ]plus_eq_one_imp_eq_zero.con.body.xml.gz2004-11-09 10:15 14K 
[ ]even_ind.con.body.xml.gz2004-11-09 10:16 14K 
[ ]even_induction.con.body.xml.gz2004-11-09 10:16 14K 
[ ]Zsgn_5.con.body.xml.gz2004-11-09 10:16 15K 
[ ]le_2.con.types.xml.gz2004-11-09 10:15 16K 
[ ]finite_or_elim.con.body.xml.gz2004-11-09 10:16 17K 
[ ]Zsgn_5.con.types.xml.gz2004-11-09 10:16 19K 
[ ]nat_mon_imp_inj.con.types.xml.gz2004-11-09 10:15 20K 
[ ]le_2.con.body.xml.gz2004-11-09 10:15 21K 
[ ]str_finite_or_elim.con.body.xml.gz2004-11-09 10:16 21K 
[ ]nat_mon_imp_inj.con.body.xml.gz2004-11-09 10:15 28K 
[ ]member_app.con.body.xml.gz2004-11-09 10:15 44K 
[ ]kseq_prop.con.types.xml.gz2004-11-09 10:16 100K 
[ ]plus_pred_pred_plus.con.types.xml.gz2004-11-09 10:15 105K 
[ ]plus_pred_pred_plus.con.body.xml.gz2004-11-09 10:15 132K 
[ ]kseq_prop.con.body.xml.gz2004-11-09 10:16 139K 
[ ]lt_10.con.types.xml.gz2004-11-09 10:15 149K 
[ ]lt_10.con.body.xml.gz2004-11-09 10:15 183K 
Apache/2.4.62 (Debian) Server at mowgli.cs.unibo.it Port 80