Index of /xml/CoRN/devel/loeb/IDA/Ch6

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[DIR]D9M/2005-07-05 08:14 -  
[DIR]D9S/2005-07-05 08:14 -  
[DIR]Th11/2005-07-05 08:14 -  
[DIR]Th12/2005-07-05 08:14 -  
[DIR]Th13/2005-07-05 08:14 -  
[DIR]Th14/2005-07-05 08:14 -  
[DIR]Th15/2005-07-05 08:14 -  
[DIR]p66E2/2005-07-05 08:14 -  
[DIR]p66E2b4/2005-07-05 08:14 -  
[DIR]p67R2/2005-07-05 08:14 -  
[DIR]p69E1/2005-07-05 08:14 -  
[DIR]p70text/2005-07-05 08:14 -  
[DIR]p71E1/2005-07-05 08:14 -  
[DIR]p71E2/2005-07-05 08:14 -  
[DIR]p71E2b2/2005-07-05 08:14 -  
[DIR]p71R1/2005-07-05 08:14 -  
[DIR]p71R2/2005-07-05 08:14 -  
[ ]K.con.types.xml.gz2004-11-09 18:56 190  
[ ]M1.ind.types.xml.gz2004-11-09 18:56 191  
[ ]on.con.types.xml.gz2004-11-09 18:56 191  
[ ]app.con.types.xml.gz2004-11-09 18:56 193  
[ ]dprod.con.types.xml.gz2004-11-09 18:56 196  
[ ]plus1.con.types.xml.gz2004-11-09 18:56 196  
[ ]Astar.con.types.xml.gz2004-11-09 18:56 197  
[ ]is_e1.con.types.xml.gz2004-11-09 18:56 197  
[ ]plus3.con.types.xml.gz2004-11-09 18:56 197  
[ ]M1_ap.con.types.xml.gz2004-11-09 18:56 198  
[ ]M1_eq.con.types.xml.gz2004-11-09 18:56 198  
[ ]ap_fm.con.types.xml.gz2004-11-09 18:56 198  
[ ]eq_fm.con.types.xml.gz2004-11-09 18:56 198  
[ ]member.con.types.xml.gz2004-11-09 18:56 198  
[ ]Dbrack.con.types.xml.gz2004-11-09 18:56 199  
[ ]M1_rec.con.types.xml.gz2004-11-09 18:56 199  
[ ]cm_Sum.con.types.xml.gz2004-11-09 18:56 199  
[ ]is_unit.con.types.xml.gz2004-11-09 18:56 200  
[ ]to_word.con.types.xml.gz2004-11-09 18:56 200  
[ ]M1_mult.con.types.xml.gz2004-11-09 18:56 201  
[ ]M1_rect.con.types.xml.gz2004-11-09 18:56 201  
[ ]M2_mult.con.types.xml.gz2004-11-09 18:56 201  
[ ]morphism.con.types.xml.gz2004-11-09 18:56 201  
[ ]to_word_.con.types.xml.gz2004-11-09 18:56 202  
[ ]isomorphic.con.types.xml.gz2004-11-09 18:56 204  
[ ]M1_CS_mult.con.types.xml.gz2004-11-09 18:56 206  
[ ]empty_word.con.types.xml.gz2004-11-09 18:56 206  
[ ]isomorphism.con.types.xml.gz2004-11-09 18:56 206  
[ ]M2_CS_mult.con.types.xml.gz2004-11-09 18:56 207  
[ ]automorphism.con.types.xml.gz2004-11-09 18:56 209  
[ ]M1_is_CSetoid.con.types.xml.gz2004-11-09 18:56 211  
[ ]power_CMonoid.con.types.xml.gz2004-11-09 18:56 211  
[ ]M1_as_CMonoid.con.types.xml.gz2004-11-09 18:56 212  
[ ]M1_as_CSetoid.con.types.xml.gz2004-11-09 18:56 212  
[ ]M2_as_CMonoid.con.types.xml.gz2004-11-09 18:56 213  
[ ]app_as_csb_fun.con.types.xml.gz2004-11-09 18:56 214  
[ ]n_ary_operation.con.types.xml.gz2004-11-09 18:56 216  
[ ]L_as_CSetoid_fun.con.types.xml.gz2004-11-09 18:56 217  
[ ]dprod_as_csb_fun.con.types.xml.gz2004-11-09 18:56 217  
[ ]M1_as_CSemiGroup.con.types.xml.gz2004-11-09 18:56 218  
[ ]f_as_CSetoid_fun.con.types.xml.gz2004-11-09 18:56 218  
[ ]Dbrack_as_CMonoid.con.types.xml.gz2004-11-09 18:57 219  
[ ]M2_as_CSemiGroup.con.types.xml.gz2004-11-09 18:56 219  
[ ]f_as_CSetoid_fun_.con.types.xml.gz2004-11-09 18:56 219  
[ ]M1_mult_as_bin_fun.con.types.xml.gz2004-11-09 18:56 221  
[ ]M2_mult_as_bin_fun.con.types.xml.gz2004-11-09 18:56 221  
[ ]Astar_as_CSemiGroup.con.types.xml.gz2004-11-09 18:56 224  
[ ]power_CMonoid_CSetoid.con.types.xml.gz2004-11-09 18:56 224  
[ ]is_nullary_operation.con.types.xml.gz2004-11-09 18:56 225  
[ ]free_csetoid_as_csetoid.con.types.xml.gz2004-11-09 18:56 226  
[ ]free_monoid_as_CMonoid.con.types.xml.gz2004-11-09 18:56 226  
[ ]free_csetoid_is_CSetoid.con.types.xml.gz2004-11-09 18:56 227  
[ ]morphism_of_CSemiGroups.con.types.xml.gz2004-11-09 18:56 229  
[ ]direct_product_as_CMonoid.con.types.xml.gz2004-11-09 18:56 231  
[ ]Astar.con.xml.gz2004-11-09 18:56 233  
[ ]direct_product_as_CSemiGroup.con.types.xml.gz2004-11-09 18:56 238  
[ ]M1_as_CMonoid.con.xml.gz2004-11-09 18:56 243  
[ ]M1_as_CSetoid.con.xml.gz2004-11-09 18:56 243  
[ ]M2_as_CMonoid.con.xml.gz2004-11-09 18:56 243  
[ ]M2_as_CSemiGroup.con.xml.gz2004-11-09 18:56 248  
[ ]M1_as_CSemiGroup.con.xml.gz2004-11-09 18:56 249  
[ ]M1_CS_mult.con.body.xml.gz2004-11-09 18:56 251  
[ ]M2_CS_mult.con.body.xml.gz2004-11-09 18:56 251  
[ ]FS_is_CSemiGroup.con.body.xml.gz2004-11-09 18:56 276  
[ ]power_CMonoid_CSetoid.con.body.xml.gz2004-11-09 18:56 277  
[ ]Astar_as_CSemiGroup.con.xml.gz2004-11-09 18:56 279  
[ ]free_monoid_as_CMonoid.con.xml.gz2004-11-09 18:56 279  
[ ]Dbrack_as_CMonoid.con.xml.gz2004-11-09 18:57 280  
[ ]free_csetoid_as_csetoid.con.xml.gz2004-11-09 18:56 282  
[ ]Zmult_is_CSemiGroup.con.body.xml.gz2004-11-09 18:56 283  
[ ]Zplus_is_CSemiGroup.con.body.xml.gz2004-11-09 18:56 283  
[ ]K_is_Monoid.con.xml.gz2004-11-09 18:56 287  
[ ]M1_eq.con.xml.gz2004-11-09 18:56 294  
[ ]direct_product_as_CMonoid.con.xml.gz2004-11-09 18:56 295  
[ ]is_e1.con.xml.gz2004-11-09 18:56 295  
[ ]M1_mult.con.xml.gz2004-11-09 18:56 296  
[ ]M2_mult.con.xml.gz2004-11-09 18:56 297  
[ ]direct_product_as_CSemiGroup.con.xml.gz2004-11-09 18:56 299  
[ ]is_nullary_operation_Z_0.con.body.xml.gz2004-11-09 18:56 309  
[ ]M1.ind.xml.gz2004-11-09 18:56 314  
[ ]Zplus_is_CSemiGroup.con.xml.gz2004-11-09 18:56 315  
[ ]Zmult_is_CSemiGroup.con.xml.gz2004-11-09 18:56 316  
[ ]eq_fm.con.xml.gz2004-11-09 18:56 316  
[ ]M1_is_CSemiGroup.con.xml.gz2004-11-09 18:56 317  
[ ]M2_is_CSemiGroup.con.xml.gz2004-11-09 18:56 320  
[ ]ap_fm.con.xml.gz2004-11-09 18:56 320  
[ ]isomorphic.con.xml.gz2004-11-09 18:56 321  
[ ]M1_ap.con.xml.gz2004-11-09 18:56 322  
[ ]M1_is_CSetoid.con.xml.gz2004-11-09 18:56 322  
[ ]ZerolessOne.con.xml.gz2004-11-09 18:56 327  
[ ]n_ary_operation.con.xml.gz2004-11-09 18:56 327  
[ ]automorphism.con.body.xml.gz2004-11-09 18:56 328  
[ ]ZerolessOne.con.body.xml.gz2004-11-09 18:56 329  
[ ]Dbrack_unit.con.xml.gz2004-11-09 18:56 331  
[ ]not_isomorphic_M1_M2.con.xml.gz2004-11-09 18:56 335  
[ ]M1_is_CMonoid.con.xml.gz2004-11-09 18:56 337  
[ ]M2_is_CMonoid.con.xml.gz2004-11-09 18:56 339  
[ ]Astar_is_CSemiGroup.con.xml.gz2004-11-09 18:56 340  
[ ]is_unit_Z_0.con.xml.gz2004-11-09 18:56 345  
[ ]not_M1_eq_e1_u.con.xml.gz2004-11-09 18:56 346  
[ ]app.con.body.xml.gz2004-11-09 18:56 350  
[ ]M1_as_CSetoid.con.body.xml.gz2004-11-09 18:56 354  
[ ]e1_is_lft_unit.con.xml.gz2004-11-09 18:56 354  
[ ]e1_is_rht_unit.con.xml.gz2004-11-09 18:56 355  
[ ]free_csetoid_is_CSetoid.con.xml.gz2004-11-09 18:56 355  
[ ]M1_as_CMonoid.con.body.xml.gz2004-11-09 18:56 356  
[ ]is_unit_FS_id.con.xml.gz2004-11-09 18:56 356  
[ ]M2_as_CMonoid.con.body.xml.gz2004-11-09 18:56 357  
[ ]ap_fm_symmetric.con.xml.gz2004-11-09 18:56 358  
[ ]M1_as_CSemiGroup.con.body.xml.gz2004-11-09 18:56 359  
[ ]is_nullary_operation_Z_0.con.xml.gz2004-11-09 18:56 359  
[ ]e1_is_lft_unit_M2.con.xml.gz2004-11-09 18:56 361  
[ ]e1_is_rht_unit_M2.con.xml.gz2004-11-09 18:56 362  
[ ]M1_CS_mult.con.xml.gz2004-11-09 18:56 363  
[ ]M1_ap_symmetric.con.xml.gz2004-11-09 18:56 363  
[ ]M2_as_CSemiGroup.con.body.xml.gz2004-11-09 18:56 363  
[ ]M2_CS_mult.con.xml.gz2004-11-09 18:56 364  
[ ]M1_mult_as_bin_fun.con.xml.gz2004-11-09 18:56 365  
[ ]M2_mult_as_bin_fun.con.xml.gz2004-11-09 18:56 365  
[ ]Astar.con.body.xml.gz2004-11-09 18:56 367  
[ ]ZerolessOne.con.types.xml.gz2004-11-09 18:56 369  
[ ]empty_word.con.xml.gz2004-11-09 18:56 369  
[ ]ap_fm_irreflexive.con.xml.gz2004-11-09 18:56 371  
[ ]ap_fm_cotransitive.con.xml.gz2004-11-09 18:56 372  
[ ]M1_CS_mult_strext.con.xml.gz2004-11-09 18:56 373  
[ ]M1_ap_cotransitive.con.xml.gz2004-11-09 18:56 373  
[ ]M1_ap_irreflexive.con.xml.gz2004-11-09 18:56 375  
[ ]M2_CS_mult_strext.con.xml.gz2004-11-09 18:56 375  
[ ]M1_is_CMonoid.con.body.xml.gz2004-11-09 18:56 376  
[ ]eq_fm_reflexive.con.xml.gz2004-11-09 18:56 376  
[ ]ap_fm_tight.con.xml.gz2004-11-09 18:56 379  
[ ]M2_is_CMonoid.con.body.xml.gz2004-11-09 18:56 380  
[ ]app_as_csb_fun.con.xml.gz2004-11-09 18:56 380  
[ ]app_strext.con.xml.gz2004-11-09 18:56 381  
[ ]free_csetoid_as_csetoid.con.body.xml.gz2004-11-09 18:56 381  
[ ]M1_ap_tight.con.xml.gz2004-11-09 18:56 382  
[ ]Astar_as_CSemiGroup.con.body.xml.gz2004-11-09 18:56 388  
[ ]empty_word.con.body.xml.gz2004-11-09 18:56 388  
[ ]to_word_.con.body.xml.gz2004-11-09 18:56 394  
[ ]is_nullary_operation.con.xml.gz2004-11-09 18:56 396  
[ ]M1_eq.con.body.xml.gz2004-11-09 18:56 398  
[ ]K.con.xml.gz2004-11-09 18:56 400  
[ ]M1_is_CSetoid.con.body.xml.gz2004-11-09 18:56 403  
[ ]is_unit.con.xml.gz2004-11-09 18:56 404  
[ ]Dbrack.con.xml.gz2004-11-09 18:56 405  
[ ]member.con.xml.gz2004-11-09 18:56 406  
[ ]Dbrack_as_CMonoid.con.body.xml.gz2004-11-09 18:57 408  
[ ]e1_is_lft_unit.con.body.xml.gz2004-11-09 18:56 408  
[ ]M1_rec.con.body.xml.gz2004-11-09 18:56 409  
[ ]M1_ind.con.body.xml.gz2004-11-09 18:56 412  
[ ]e1_is_lft_unit_M2.con.body.xml.gz2004-11-09 18:56 413  
[ ]K_is_Monoid.con.body.xml.gz2004-11-09 18:56 414  
[ ]iso_imp_bij.con.xml.gz2004-11-09 18:56 414  
[ ]plus3.con.xml.gz2004-11-09 18:56 421  
[ ]direct_product_is_CSemiGroup.con.xml.gz2004-11-09 18:56 422  
[ ]to_word_bijective.con.xml.gz2004-11-09 18:56 423  
[ ]free_monoid_is_CMonoid.con.xml.gz2004-11-09 18:56 424  
[ ]is_nullary_operation.con.body.xml.gz2004-11-09 18:56 424  
[ ]is_nullary_operation_Z_0.con.types.xml.gz2004-11-09 18:56 425  
[ ]nil_is_lft_unit.con.xml.gz2004-11-09 18:56 427  
[ ]to_word_as_CSetoid_fun.con.xml.gz2004-11-09 18:56 427  
[ ]L_is_morphism.con.xml.gz2004-11-09 18:56 428  
[ ]free_csetoid_is_CSetoid.con.body.xml.gz2004-11-09 18:56 428  
[ ]nil_is_rht_unit.con.xml.gz2004-11-09 18:56 428  
[ ]M1_mult_as_bin_fun.con.body.xml.gz2004-11-09 18:56 429  
[ ]M2_mult_as_bin_fun.con.body.xml.gz2004-11-09 18:56 430  
[ ]M1_ap.con.body.xml.gz2004-11-09 18:56 437  
[ ]app_as_csb_fun.con.body.xml.gz2004-11-09 18:56 439  
[ ]to_word.con.xml.gz2004-11-09 18:56 439  
[ ]app.con.xml.gz2004-11-09 18:56 450  
[ ]M1_eq_dec.con.xml.gz2004-11-09 18:56 452  
[ ]surjective_f.con.xml.gz2004-11-09 18:56 452  
[ ]plus1.con.xml.gz2004-11-09 18:56 453  
[ ]free_monoid_as_CMonoid.con.body.xml.gz2004-11-09 18:56 454  
[ ]FS_is_CSemiGroup.con.xml.gz2004-11-09 18:56 455  
[ ]ex_69.con.body.xml.gz2004-11-09 18:56 455  
[ ]plus2.con.xml.gz2004-11-09 18:56 465  
[ ]M1_rec.con.xml.gz2004-11-09 18:56 467  
[ ]M1_rect.con.xml.gz2004-11-09 18:56 470  
[ ]is_e1.con.body.xml.gz2004-11-09 18:56 470  
[ ]direct_product_as_CSemiGroup.con.body.xml.gz2004-11-09 18:56 473  
[ ]power_CMonoid_CSetoid.con.xml.gz2004-11-09 18:56 474  
[ ]M1_ind.con.xml.gz2004-11-09 18:56 476  
[ ]M2_mult.con.body.xml.gz2004-11-09 18:56 476  
[ ]free_monoid_is_CMonoid.con.body.xml.gz2004-11-09 18:56 477  
[ ]op_pres_K.con.xml.gz2004-11-09 18:56 477  
[ ]op_pres_Dbrack.con.xml.gz2004-11-09 18:57 481  
[ ]power_CMonoid.con.xml.gz2004-11-09 18:56 481  
[ ]K_is_Monoid.con.types.xml.gz2004-11-09 18:56 482  
[ ]f_as_CSetoid_fun.con.xml.gz2004-11-09 18:56 486  
[ ]morphism_of_CSemiGroups.con.xml.gz2004-11-09 18:56 489  
[ ]isomorphic_PM1M2_PM2M1.con.xml.gz2004-11-09 18:56 491  
[ ]is_unit_Astar_empty_word.con.xml.gz2004-11-09 18:56 494  
[ ]to_word_as_CSetoid_fun.con.body.xml.gz2004-11-09 18:56 496  
[ ]K.con.body.xml.gz2004-11-09 18:56 497  
[ ]automorphism.con.xml.gz2004-11-09 18:56 498  
[ ]morphism.con.xml.gz2004-11-09 18:56 500  
[ ]to_word_.con.xml.gz2004-11-09 18:56 500  
[ ]f_strext.con.xml.gz2004-11-09 18:56 505  
[ ]isomorphism.con.xml.gz2004-11-09 18:56 505  
[ ]iso_inv.con.xml.gz2004-11-09 18:56 507  
[ ]L_as_CSetoid_fun.con.xml.gz2004-11-09 18:56 509  
[ ]cm_Sum.con.xml.gz2004-11-09 18:56 509  
[ ]dprod.con.xml.gz2004-11-09 18:56 513  
[ ]to_word_strext.con.xml.gz2004-11-09 18:56 513  
[ ]on.con.xml.gz2004-11-09 18:56 517  
[ ]L_strext.con.xml.gz2004-11-09 18:56 519  
[ ]Zmult_is_CSemiGroup.con.types.xml.gz2004-11-09 18:56 520  
[ ]Zplus_is_CSemiGroup.con.types.xml.gz2004-11-09 18:56 520  
[ ]ex_3_ary.con.body.xml.gz2008-05-03 16:06 537  
[ ]f_as_CSetoid_fun_.con.xml.gz2004-11-09 18:56 540  
[ ]dprod_as_csb_fun.con.xml.gz2004-11-09 18:56 544  
[ ]not_M1_eq_e1_u.con.body.xml.gz2004-11-09 18:56 546  
[ ]f_strext'.con.xml.gz2004-11-09 18:56 547  
[ ]surjective_f.con.types.xml.gz2004-11-09 18:56 550  
[ ]not_injective_f.con.xml.gz2004-11-09 18:56 551  
[ ]dprod_strext.con.xml.gz2004-11-09 18:56 552  
[ ]f_as_CSetoid_fun.con.body.xml.gz2004-11-09 18:56 557  
[ ]L_as_CSetoid_fun.con.body.xml.gz2004-11-09 18:56 562  
[ ]to_plus2_strext.con.xml.gz2004-11-09 18:56 562  
[ ]M1_mult.con.body.xml.gz2004-11-09 18:56 570  
[ ]plus2.con.types.xml.gz2004-11-09 18:56 571  
[ ]M1_ind.con.types.xml.gz2004-11-09 18:56 572  
[ ]plus1.con.body.xml.gz2004-11-09 18:56 576  
[ ]plus3.con.body.xml.gz2004-11-09 18:56 584  
[ ]M1_is_CMonoid.con.types.xml.gz2004-11-09 18:56 591  
[ ]ex_69.con.xml.gz2004-11-09 18:56 594  
[ ]M2_is_CMonoid.con.types.xml.gz2004-11-09 18:56 596  
[ ]dprod_as_csb_fun.con.body.xml.gz2004-11-09 18:56 596  
[ ]f_as_CSetoid_fun_.con.body.xml.gz2004-11-09 18:56 597  
[ ]to_plus1_strext.con.xml.gz2004-11-09 18:56 610  
[ ]unique_unit.con.xml.gz2004-11-09 18:56 610  
[ ]e1_is_rht_unit.con.body.xml.gz2004-11-09 18:56 625  
[ ]not_M1_eq_e1_u.con.types.xml.gz2004-11-09 18:56 627  
[ ]plus2.con.body.xml.gz2004-11-09 18:56 632  
[ ]e1_is_rht_unit_M2.con.body.xml.gz2004-11-09 18:56 634  
[ ]M1_rect.con.body.xml.gz2004-11-09 18:56 636  
[ ]to_word_as_CSetoid_fun.con.types.xml.gz2004-11-09 18:56 636  
[ ]M1_ap_irreflexive.con.body.xml.gz2004-11-09 18:56 640  
[ ]direct_product_is_CMonoid.con.xml.gz2004-11-09 18:56 645  
[ ]direct_product_as_CMonoid.con.body.xml.gz2004-11-09 18:56 657  
[ ]isomorphism.con.body.xml.gz2004-11-09 18:56 668  
[ ]direct_product_is_CMonoid.con.body.xml.gz2004-11-09 18:56 682  
[ ]M1_is_generated_by_u.con.types.xml.gz2004-11-09 18:56 683  
[ ]e1e2_is_lft_unit.con.xml.gz2004-11-09 18:56 711  
[ ]e1e2_is_rht_unit.con.xml.gz2004-11-09 18:56 711  
[ ]M1_eq_dec.con.body.xml.gz2004-11-09 18:56 717  
[ ]op_pres_K.con.body.xml.gz2004-11-09 18:56 746  
[ ]n_ary_operation.con.body.xml.gz2004-11-09 18:56 748  
[ ]FS_is_CSemiGroup.con.types.xml.gz2004-11-09 18:56 750  
[ ]isomorphic.con.body.xml.gz2004-11-09 18:56 775  
[ ]e1_is_lft_unit.con.types.xml.gz2004-11-09 18:56 782  
[ ]ex_69.con.types.xml.gz2004-11-09 18:56 787  
[ ]e1_is_lft_unit_M2.con.types.xml.gz2004-11-09 18:56 789  
[ ]M1_ap_symmetric.con.body.xml.gz2004-11-09 18:56 793  
[ ]ex_3_ary.con.xml.gz2008-05-03 16:06 797  
[ ]M1_is_generated_by_u.con.xml.gz2004-11-09 18:56 799  
[ ]M1_eq_dec.con.types.xml.gz2004-11-09 18:56 801  
[ ]free_monoid_is_CMonoid.con.types.xml.gz2004-11-09 18:56 807  
[ ]is_unit_Z_0.con.body.xml.gz2004-11-09 18:56 893  
[ ]is_unit.con.body.xml.gz2004-11-09 18:56 894  
[ ]M1_ap_irreflexive.con.types.xml.gz2004-11-09 18:56 906  
[ ]iso_imp_bij.con.types.xml.gz2004-11-09 18:56 934  
[ ]member.con.body.xml.gz2004-11-09 18:56 941  
[ ]eq_fm_reflexive.con.body.xml.gz2004-11-09 18:56 944  
[ ]e1_is_rht_unit.con.types.xml.gz2004-11-09 18:56 948  
[ ]not_injective_f_subproof.con.xml.gz2004-11-09 18:56 960  
[ ]e1_is_rht_unit_M2.con.types.xml.gz2004-11-09 18:56 963  
[ ]cm_Sum_app.con.xml.gz2004-11-09 18:57 971  
[ ]member_app.con.xml.gz2004-11-09 18:57 1.0K 
[ ]nil_is_lft_unit.con.body.xml.gz2004-11-09 18:56 1.0K 
[ ]M1_ap_symmetric.con.types.xml.gz2004-11-09 18:56 1.0K 
[ ]to_word.con.body.xml.gz2004-11-09 18:56 1.0K 
[ ]iso_imp_bij.con.body.xml.gz2004-11-09 18:56 1.0K 
[ ]to_word_bijective_subproof.con.xml.gz2004-11-09 18:56 1.0K 
[ ]Dbrack.con.body.xml.gz2004-11-09 18:56 1.1K 
[ ]M1_is_generated_by_u.con.body.xml.gz2004-11-09 18:56 1.1K 
[ ]pres_plus_to_word.con.xml.gz2004-11-09 18:56 1.1K 
[ ]morphism_of_CSemiGroups.con.body.xml.gz2004-11-09 18:56 1.1K 
[ ]eq_fm_reflexive.con.types.xml.gz2004-11-09 18:56 1.1K 
[ ]is_unit_FS_id.con.body.xml.gz2004-11-09 18:56 1.1K 
[ ]power_CMonoid.con.body.xml.gz2004-11-09 18:56 1.1K 
[ ]two_element_CMonoids.con.xml.gz2004-11-09 18:56 1.1K 
[ ]L_strext_subproof.con.xml.gz2004-11-09 18:56 1.2K 
[ ]nil_is_rht_unit.con.body.xml.gz2004-11-09 18:56 1.2K 
[ ]pres_plus_to_word.con.body.xml.gz2004-11-09 18:56 1.2K 
[ ]ex_3_ary.con.types.xml.gz2008-05-03 16:06 1.2K 
[ ]surjective_f.con.body.xml.gz2004-11-09 18:56 1.3K 
[ ]Dbrack_unit.con.types.xml.gz2004-11-09 18:56 1.3K 
[ ]cm_Sum.con.body.xml.gz2004-11-09 18:56 1.3K 
[ ]ap_fm.con.body.xml.gz2004-11-09 18:56 1.4K 
[ ]eq_fm.con.body.xml.gz2004-11-09 18:56 1.4K 
[ ]Astar_is_CSemiGroup.con.body.xml.gz2004-11-09 18:56 1.5K 
[ ]Dbrack_unit.con.body.xml.gz2004-11-09 18:56 1.5K 
[ ]is_unit_Z_0.con.types.xml.gz2004-11-09 18:56 1.6K 
[ ]morphism.con.body.xml.gz2004-11-09 18:56 1.6K 
[ ]dprod.con.body.xml.gz2004-11-09 18:56 1.6K 
[ ]direct_product_is_CMonoid.con.types.xml.gz2004-11-09 18:56 1.6K 
[ ]nil_is_lft_unit.con.types.xml.gz2004-11-09 18:56 1.7K 
[ ]M2_is_CSemiGroup.con.body.xml.gz2004-11-09 18:56 1.7K 
[ ]M1_is_CSemiGroup.con.body.xml.gz2004-11-09 18:56 1.8K 
[ ]ap_fm_irreflexive.con.body.xml.gz2004-11-09 18:56 2.0K 
[ ]not_injective_f.con.body.xml.gz2004-11-09 18:56 2.0K 
[ ]not_injective_f_subproof.con.body.xml.gz2004-11-09 18:56 2.0K 
[ ]nil_is_rht_unit.con.types.xml.gz2004-11-09 18:56 2.0K 
[ ]ap_fm_irreflexive.con.types.xml.gz2004-11-09 18:56 2.0K 
[ ]on.con.body.xml.gz2004-11-09 18:56 2.0K 
[ ]e1e2_is_rht_unit.con.body.xml.gz2004-11-09 18:56 2.1K 
[ ]e1e2_is_lft_unit.con.body.xml.gz2004-11-09 18:56 2.1K 
[ ]op_pres_K.con.types.xml.gz2004-11-09 18:56 2.3K 
[ ]L_is_morphism.con.body.xml.gz2004-11-09 18:56 2.3K 
[ ]not_injective_f_subproof.con.types.xml.gz2004-11-09 18:56 2.6K 
[ ]Astar_is_CSemiGroup.con.types.xml.gz2004-11-09 18:56 2.7K 
[ ]M1_ap_tight.con.body.xml.gz2004-11-09 18:56 2.9K 
[ ]M1_ap_tight.con.types.xml.gz2004-11-09 18:56 3.0K 
[ ]to_plus1_strext.con.body.xml.gz2004-11-09 18:56 3.0K 
[ ]not_injective_f.con.types.xml.gz2004-11-09 18:56 3.2K 
[ ]is_unit_FS_id.con.types.xml.gz2004-11-09 18:56 3.3K 
[ ]is_unit_Astar_empty_word.con.body.xml.gz2004-11-09 18:56 3.4K 
[ ]L_is_morphism.con.types.xml.gz2004-11-09 18:56 3.4K 
[ ]L_strext.con.body.xml.gz2004-11-09 18:56 3.4K 
[ ]M2_is_CSemiGroup.con.types.xml.gz2004-11-09 18:56 3.5K 
[ ]cm_Sum_app.con.body.xml.gz2004-11-09 18:57 3.6K 
[ ]ap_fm_symmetric.con.body.xml.gz2004-11-09 18:56 3.6K 
[ ]M1_is_CSemiGroup.con.types.xml.gz2004-11-09 18:56 3.6K 
[ ]to_plus2_strext.con.body.xml.gz2004-11-09 18:56 3.7K 
[ ]M1_ap_cotransitive.con.body.xml.gz2004-11-09 18:56 3.8K 
[ ]pres_plus_to_word.con.types.xml.gz2004-11-09 18:56 4.0K 
[ ]e1e2_is_lft_unit.con.types.xml.gz2004-11-09 18:56 4.3K 
[ ]e1e2_is_rht_unit.con.types.xml.gz2004-11-09 18:56 4.3K 
[ ]unique_unit.con.types.xml.gz2004-11-09 18:56 4.3K 
[ ]f_strext'.con.body.xml.gz2004-11-09 18:56 4.3K 
[ ]M1_ap_cotransitive.con.types.xml.gz2004-11-09 18:56 4.7K 
[ ]to_plus2_strext.con.types.xml.gz2004-11-09 18:56 5.1K 
[ ]cm_Sum_app.con.types.xml.gz2004-11-09 18:57 5.2K 
[ ]unique_unit.con.body.xml.gz2004-11-09 18:56 5.3K 
[ ]to_plus1_strext.con.types.xml.gz2004-11-09 18:56 5.3K 
[ ]to_word_bijective.con.types.xml.gz2004-11-09 18:56 5.4K 
[ ]to_word_strext.con.body.xml.gz2004-11-09 18:56 5.5K 
[ ]to_word_bijective_subproof.con.types.xml.gz2004-11-09 18:56 5.5K 
[ ]to_word_bijective.con.body.xml.gz2004-11-09 18:56 5.5K 
[ ]direct_product_is_CSemiGroup.con.body.xml.gz2004-11-09 18:56 5.9K 
[ ]M2_CS_mult_strext.con.body.xml.gz2004-11-09 18:56 6.2K 
[ ]L_strext.con.types.xml.gz2004-11-09 18:56 6.2K 
[ ]f_strext'.con.types.xml.gz2004-11-09 18:56 6.2K 
[ ]ap_fm_symmetric.con.types.xml.gz2004-11-09 18:56 6.3K 
[ ]to_word_bijective_subproof.con.body.xml.gz2004-11-09 18:56 6.3K 
[ ]is_unit_Astar_empty_word.con.types.xml.gz2004-11-09 18:56 6.4K 
[ ]M1_CS_mult_strext.con.body.xml.gz2004-11-09 18:56 6.9K 
[ ]INDEX2005-07-05 08:14 7.0K 
[ ]f_strext.con.body.xml.gz2004-11-09 18:56 7.5K 
[ ]not_isomorphic_M1_M2.con.types.xml.gz2004-11-09 18:56 7.7K 
[ ]to_word_strext.con.types.xml.gz2004-11-09 18:56 7.8K 
[ ]two_element_CMonoids.con.body.xml.gz2004-11-09 18:56 8.1K 
[ ]ap_fm_cotransitive.con.body.xml.gz2004-11-09 18:56 8.7K 
[ ]not_isomorphic_M1_M2.con.body.xml.gz2004-11-09 18:56 9.4K 
[ ]M2_CS_mult_strext.con.types.xml.gz2004-11-09 18:56 9.7K 
[ ]ap_fm_tight.con.body.xml.gz2004-11-09 18:56 10K 
[ ]direct_product_is_CSemiGroup.con.types.xml.gz2004-11-09 18:56 11K 
[ ]L_strext_subproof.con.types.xml.gz2004-11-09 18:56 11K 
[ ]f_strext.con.types.xml.gz2004-11-09 18:56 11K 
[ ]M1_CS_mult_strext.con.types.xml.gz2004-11-09 18:56 11K 
[ ]L_strext_subproof.con.body.xml.gz2004-11-09 18:56 14K 
[ ]app_strext.con.body.xml.gz2004-11-09 18:56 15K 
[ ]isomorphic_PM1M2_PM2M1.con.body.xml.gz2004-11-09 18:56 15K 
[ ]dprod_strext.con.body.xml.gz2004-11-09 18:56 16K 
[ ]ap_fm_tight.con.types.xml.gz2004-11-09 18:56 16K 
[ ]ap_fm_cotransitive.con.types.xml.gz2004-11-09 18:56 18K 
[ ]isomorphic_PM1M2_PM2M1.con.types.xml.gz2004-11-09 18:56 19K 
[ ]two_element_CMonoids.con.types.xml.gz2004-11-09 18:56 21K 
[ ]app_strext.con.types.xml.gz2004-11-09 18:56 25K 
[ ]dprod_strext.con.types.xml.gz2004-11-09 18:56 34K 
[ ]op_pres_Dbrack.con.types.xml.gz2004-11-09 18:57 34K 
[ ]op_pres_Dbrack.con.body.xml.gz2004-11-09 18:57 38K 
[ ]iso_inv.con.body.xml.gz2004-11-09 18:56 39K 
[ ]iso_inv.con.types.xml.gz2004-11-09 18:56 44K 
[ ]member_app.con.body.xml.gz2004-11-09 18:57 74K 
[ ]member_app.con.types.xml.gz2004-11-09 18:57 127K 
Apache/2.4.61 (Debian) Server at mowgli.cs.unibo.it Port 80