Index of /xml/CoRN/algebra/CSetoids

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[DIR]CSetoid_axioms/2005-07-05 08:13 -  
[DIR]CSetoid_basics/2005-07-05 08:13 -  
[DIR]CSetoid_functions/2005-07-05 08:13 -  
[DIR]CSetoid_relations_and_predicates/2005-07-05 08:13 -  
[DIR]Properties_of_relations/2005-07-05 08:13 -  
[DIR]SubCSetoids/2005-07-05 08:13 -  
[DIR]csetoid_inner_ops/2005-07-05 08:13 -  
[DIR]csetoid_outer_ops/2005-07-05 08:13 -  
[ ]CSetoid.ind.types.xml.gz2004-11-09 10:20 195  
[ ]cs_ap.con.types.xml.gz2004-11-09 10:20 196  
[ ]cs_eq.con.types.xml.gz2004-11-09 10:20 196  
[ ]cs_crr.con.types.xml.gz2004-11-09 10:20 197  
[ ]cs_neq.con.types.xml.gz2004-11-09 10:20 197  
[ ]ex_unq.con.types.xml.gz2004-11-09 10:20 198  
[ ]fun_wd.con.types.xml.gz2004-11-09 10:20 198  
[ ]wd_pred.ind.types.xml.gz2004-11-09 10:20 198  
[ ]commutes.con.types.xml.gz2004-11-09 10:20 199  
[ ]csf_fun.con.types.xml.gz2004-11-09 10:20 199  
[ ]csr_rel.con.types.xml.gz2004-11-09 10:20 199  
[ ]pred_wd.con.types.xml.gz2004-11-09 10:20 199  
[ ]prod_ap.con.types.xml.gz2004-11-09 10:20 199  
[ ]prod_eq.con.types.xml.gz2004-11-09 10:20 199  
[ ]rel_wdl.con.types.xml.gz2004-11-09 10:20 199  
[ ]rel_wdr.con.types.xml.gz2004-11-09 10:20 199  
[ ]Ccsr_rel.con.types.xml.gz2004-11-09 10:20 200  
[ ]cs_proof.con.types.xml.gz2004-11-09 10:20 200  
[ ]csp_pred.con.types.xml.gz2004-11-09 10:20 200  
[ ]scs_elem.con.types.xml.gz2004-11-09 10:20 200  
[ ]Crel_wdl.con.types.xml.gz2004-11-09 10:20 201  
[ ]Crel_wdr.con.types.xml.gz2004-11-09 10:20 201  
[ ]Relation.con.types.xml.gz2004-11-09 10:20 201  
[ ]csbf_fun.con.types.xml.gz2004-11-09 10:20 201  
[ ]un_op_wd.con.types.xml.gz2004-11-09 10:20 201  
[ ]wdp_pred.con.types.xml.gz2004-11-09 10:20 201  
[ ]ProdCSetoid.con.types.xml.gz2004-11-09 10:20 202  
[ ]bin_op_wd.con.types.xml.gz2004-11-09 10:20 202  
[ ]is_CSetoid.ind.types.xml.gz2004-11-09 10:20 202  
[ ]pred_wd'.con.types.xml.gz2004-11-09 10:20 202  
[ ]CSetoid_fun.ind.types.xml.gz2004-11-09 10:20 203  
[ ]CSetoid_rec.con.types.xml.gz2004-11-09 10:20 203  
[ ]un_op_fun.con.types.xml.gz2004-11-09 10:20 203  
[ ]associative.con.types.xml.gz2004-11-09 10:20 204  
[ ]bin_fun_wd.con.types.xml.gz2004-11-09 10:20 204  
[ ]csp'_pred.con.types.xml.gz2004-11-09 10:20 204  
[ ]fun_strext.con.types.xml.gz2004-11-09 10:20 204  
[ ]rel_strext.con.types.xml.gz2004-11-09 10:20 204  
[ ]CSetoid_rect.con.types.xml.gz2004-11-09 10:20 205  
[ ]irreflexive.con.types.xml.gz2004-11-09 10:20 205  
[ ]Crel_strext.con.types.xml.gz2004-11-09 10:20 206  
[ ]cotransitive.con.types.xml.gz2004-11-09 10:20 206  
[ ]tight_apart.con.types.xml.gz2004-11-09 10:20 206  
[ ]wd_pred_rec.con.types.xml.gz2004-11-09 10:20 206  
[ ]CSetoid_un_op.con.types.xml.gz2004-11-09 10:20 207  
[ ]un_op_strext.con.types.xml.gz2004-11-09 10:20 207  
[ ]wd_pred_rect.con.types.xml.gz2004-11-09 10:20 207  
[ ]antisymmetric.con.types.xml.gz2004-11-09 10:20 208  
[ ]CSetoid_bin_op.con.types.xml.gz2004-11-09 10:20 209  
[ ]bin_op_strext.con.types.xml.gz2004-11-09 10:20 209  
[ ]is_CSetoid_rec.con.types.xml.gz2004-11-09 10:20 209  
[ ]subcsetoid_ap.con.types.xml.gz2004-11-09 10:20 209  
[ ]subcsetoid_eq.con.types.xml.gz2004-11-09 10:20 209  
[ ]CSetoid_bin_fun.ind.types.xml.gz2004-11-09 10:20 210  
[ ]subcsetoid_crr.ind.types.xml.gz2004-11-09 10:20 210  
[ ]CSetoid_fun_rec.con.types.xml.gz2004-11-09 10:20 211  
[ ]bin_fun_strext.con.types.xml.gz2004-11-09 10:20 211  
[ ]bin_op_bin_fun.con.types.xml.gz2004-11-09 10:20 211  
[ ]is_CSetoid_rect.con.types.xml.gz2004-11-09 10:20 211  
[ ]nat_less_n_fun.con.types.xml.gz2004-11-09 10:20 211  
[ ]predS_well_def.con.types.xml.gz2004-11-09 10:20 211  
[ ]rel_strext_lft.con.types.xml.gz2004-11-09 10:20 211  
[ ]rel_strext_rht.con.types.xml.gz2004-11-09 10:20 211  
[ ]CSetoid_fun_rect.con.types.xml.gz2004-11-09 10:20 212  
[ ]CSetoid_outer_op.con.types.xml.gz2004-11-09 10:20 212  
[ ]Build_SubCSetoid.con.types.xml.gz2004-11-09 10:20 213  
[ ]CSetoid_is_CSetoid.con.types.xml.gz2004-11-09 10:20 213  
[ ]CSetoid_predicate.ind.types.xml.gz2004-11-09 10:20 213  
[ ]CSetoid_relation.ind.types.xml.gz2004-11-09 10:20 213  
[ ]Crel_strext_lft.con.types.xml.gz2004-11-09 10:20 213  
[ ]Crel_strext_rht.con.types.xml.gz2004-11-09 10:20 213  
[ ]outer_op_strext.con.types.xml.gz2004-11-09 10:20 213  
[ ]pred_strong_ext.con.types.xml.gz2004-11-09 10:20 213  
[ ]un_op_pres_pred.con.types.xml.gz2004-11-09 10:20 213  
[ ]bin_op_pres_pred.con.types.xml.gz2004-11-09 10:20 214  
[ ]nat_less_n_fun'.con.types.xml.gz2004-11-09 10:20 214  
[ ]CCSetoid_relation.ind.types.xml.gz2004-11-09 10:20 215  
[ ]outer_op_bin_fun.con.types.xml.gz2004-11-09 10:20 215  
[ ]CSetoid_predicate'.ind.types.xml.gz2004-11-09 10:20 216  
[ ]outer_op_well_def.con.types.xml.gz2004-11-09 10:20 216  
[ ]pred_strong_ext'.con.types.xml.gz2004-11-09 10:20 216  
[ ]CSetoid_bin_fun_rec.con.types.xml.gz2004-11-09 10:20 217  
[ ]restrict_relation.con.types.xml.gz2004-11-09 10:20 217  
[ ]subcsetoid_crr_rec.con.types.xml.gz2004-11-09 10:20 217  
[ ]Build_CSetoid_un_op.con.types.xml.gz2004-11-09 10:20 218  
[ ]CSetoid_relation_rec.con.types.xml.gz2004-11-09 10:20 218  
[ ]Crestrict_relation.con.types.xml.gz2004-11-09 10:20 218  
[ ]CSetoid_bin_fun_rect.con.types.xml.gz2004-11-09 10:20 219  
[ ]subcsetoid_crr_rect.con.types.xml.gz2004-11-09 10:20 219  
[ ]Build_CSetoid_bin_op.con.types.xml.gz2004-11-09 10:20 220  
[ ]CSetoid_predicate_rec.con.types.xml.gz2004-11-09 10:20 220  
[ ]CSetoid_relation_rect.con.types.xml.gz2004-11-09 10:20 220  
[ ]CCSetoid_relation_rec.con.types.xml.gz2004-11-09 10:20 221  
[ ]CSetoid_predicate_rect.con.types.xml.gz2004-11-09 10:20 222  
[ ]Build_CSetoid_outer_op.con.types.xml.gz2004-11-09 10:20 223  
[ ]CCSetoid_relation_rect.con.types.xml.gz2004-11-09 10:20 223  
[ ]CSetoid_predicate'_rec.con.types.xml.gz2004-11-09 10:20 223  
[ ]CSetoid_predicate'_rect.con.types.xml.gz2004-11-09 10:20 225  
[ ]CSetoid_un_op.con.xml.gz2004-11-09 10:20 247  
[ ]CSetoid_bin_op.con.xml.gz2004-11-09 10:20 248  
[ ]Relation.con.xml.gz2004-11-09 10:20 251  
[ ]CSetoid_outer_op.con.xml.gz2004-11-09 10:20 255  
[ ]fun_wd.con.xml.gz2004-11-09 10:20 255  
[ ]rel_wdl.con.xml.gz2004-11-09 10:20 264  
[ ]rel_wdr.con.xml.gz2004-11-09 10:20 264  
[ ]Build_SubCSetoid.con.xml.gz2004-11-09 10:20 266  
[ ]pred_wd'.con.xml.gz2004-11-09 10:20 266  
[ ]bin_fun_wd.con.xml.gz2004-11-09 10:20 267  
[ ]fun_strext.con.xml.gz2004-11-09 10:20 278  
[ ]pred_wd.con.xml.gz2004-11-09 10:20 279  
[ ]Crel_wdl.con.xml.gz2004-11-09 10:20 282  
[ ]Crel_wdr.con.xml.gz2004-11-09 10:20 282  
[ ]csoo_wd_unfolded.con.body.xml.gz2004-11-09 10:20 282  
[ ]bin_op_wd_unfolded.con.body.xml.gz2004-11-09 10:20 283  
[ ]eq_reflexive_unfolded.con.body.xml.gz2004-11-09 10:20 283  
[ ]eq_symmetric_unfolded.con.body.xml.gz2004-11-09 10:20 283  
[ ]ap_wdl_unfolded.con.body.xml.gz2004-11-09 10:20 285  
[ ]ap_wdr_unfolded.con.body.xml.gz2004-11-09 10:20 285  
[ ]eq_transitive_unfolded.con.body.xml.gz2004-11-09 10:20 285  
[ ]rel_strext.con.xml.gz2004-11-09 10:20 287  
[ ]un_op_strext_unfolded.con.body.xml.gz2004-11-09 10:20 287  
[ ]un_op_pres_pred.con.xml.gz2004-11-09 10:20 288  
[ ]Crel_strext.con.xml.gz2004-11-09 10:20 289  
[ ]bin_op_strext_unfolded.con.body.xml.gz2004-11-09 10:20 289  
[ ]bin_fun_strext.con.xml.gz2004-11-09 10:20 290  
[ ]bin_op_pres_pred.con.xml.gz2004-11-09 10:20 290  
[ ]cs_crr.con.xml.gz2004-11-09 10:20 291  
[ ]pred_strong_ext.con.xml.gz2004-11-09 10:20 292  
[ ]rel_strext_lft.con.xml.gz2004-11-09 10:20 293  
[ ]rel_strext_rht.con.xml.gz2004-11-09 10:20 293  
[ ]Crel_strext_lft.con.xml.gz2004-11-09 10:20 295  
[ ]Crel_strext_rht.con.xml.gz2004-11-09 10:20 295  
[ ]pred_strong_ext'.con.xml.gz2004-11-09 10:20 295  
[ ]ProdCSetoid.con.xml.gz2004-11-09 10:20 297  
[ ]CSetoid_is_CSetoid.con.body.xml.gz2004-11-09 10:20 305  
[ ]subcsetoid_eq.con.xml.gz2004-11-09 10:20 311  
[ ]id_un_op.con.xml.gz2004-11-09 10:20 332  
[ ]subcsetoid_ap.con.body.xml.gz2004-11-09 10:20 333  
[ ]subcsetoid_eq.con.body.xml.gz2004-11-09 10:20 333  
[ ]restr_un_op.con.xml.gz2004-11-09 10:20 337  
[ ]fun_strext_imp_wd.con.xml.gz2004-11-09 10:20 339  
[ ]subcsetoid_is_CSetoid.con.xml.gz2004-11-09 10:20 339  
[ ]CSetoid_un_op.con.body.xml.gz2004-11-09 10:20 340  
[ ]ap_symmetric_unfolded.con.body.xml.gz2004-11-09 10:20 341  
[ ]ap_irreflexive_unfolded.con.body.xml.gz2004-11-09 10:20 343  
[ ]subcsetoid_ap.con.xml.gz2004-11-09 10:20 345  
[ ]cs_un_op_strext.con.body.xml.gz2004-11-09 10:20 347  
[ ]restr_bin_op.con.xml.gz2004-11-09 10:20 347  
[ ]CSetoid_bin_op.con.body.xml.gz2004-11-09 10:20 349  
[ ]Build_SubCSetoid_un_op.con.xml.gz2004-11-09 10:20 351  
[ ]bin_fun_strext_imp_wd.con.xml.gz2004-11-09 10:20 351  
[ ]cs_bin_op_wd.con.body.xml.gz2004-11-09 10:20 351  
[ ]rel_strext_imp_lftarg.con.xml.gz2004-11-09 10:20 351  
[ ]ap_wdr.con.xml.gz2004-11-09 10:20 352  
[ ]csoo_wd.con.body.xml.gz2004-11-09 10:20 353  
[ ]Build_SubCSetoid_bin_op.con.xml.gz2004-11-09 10:20 354  
[ ]Crel_strext_imp_lftarg.con.xml.gz2004-11-09 10:20 354  
[ ]rel_strext_imp_rhtarg.con.xml.gz2004-11-09 10:20 354  
[ ]un_op_wd_unfolded.con.body.xml.gz2004-11-09 10:20 354  
[ ]Crel_strext_imp_rhtarg.con.xml.gz2004-11-09 10:20 355  
[ ]ap_wdl.con.xml.gz2004-11-09 10:20 356  
[ ]ap_strext.con.xml.gz2004-11-09 10:20 359  
[ ]cs_bin_op_strext.con.body.xml.gz2004-11-09 10:20 359  
[ ]CSetoid_outer_op.con.body.xml.gz2004-11-09 10:20 361  
[ ]csoo_strext.con.body.xml.gz2004-11-09 10:20 361  
[ ]scs_elem.con.xml.gz2004-11-09 10:20 361  
[ ]ex_unq.con.xml.gz2004-11-09 10:20 366  
[ ]Build_SubCSetoid.con.body.xml.gz2004-11-09 10:20 368  
[ ]rel_strextarg_imp_strext.con.xml.gz2004-11-09 10:20 368  
[ ]Build_CSetoid_un_op.con.body.xml.gz2004-11-09 10:20 369  
[ ]CSetoid_is_CSetoid.con.xml.gz2004-11-09 10:20 369  
[ ]Const_CSetoid_fun.con.xml.gz2004-11-09 10:20 369  
[ ]bin_op2un_op_rht.con.xml.gz2004-11-09 10:20 370  
[ ]bin_op2un_op_lft.con.xml.gz2004-11-09 10:20 371  
[ ]Crel_strextarg_imp_strext.con.xml.gz2004-11-09 10:20 372  
[ ]subcsetoid_equiv.con.xml.gz2004-11-09 10:20 374  
[ ]cs_neq.con.xml.gz2004-11-09 10:20 375  
[ ]restr_un_op_wd.con.xml.gz2004-11-09 10:20 375  
[ ]cs_eq.con.xml.gz2004-11-09 10:20 376  
[ ]Build_CSetoid_bin_op.con.body.xml.gz2004-11-09 10:20 377  
[ ]csf_fun.con.xml.gz2004-11-09 10:20 380  
[ ]Relation.con.body.xml.gz2004-11-09 10:20 381  
[ ]restr_un_op_strext.con.xml.gz2004-11-09 10:20 381  
[ ]un_op_wd.con.xml.gz2004-11-09 10:20 381  
[ ]restr_bin_op_strext.con.xml.gz2004-11-09 10:20 383  
[ ]cotransitive.con.xml.gz2004-11-09 10:20 384  
[ ]csp_pred.con.xml.gz2004-11-09 10:20 384  
[ ]wdp_pred.con.xml.gz2004-11-09 10:20 386  
[ ]ap_symmetric.con.xml.gz2004-11-09 10:20 387  
[ ]eq_symmetric.con.xml.gz2004-11-09 10:20 387  
[ ]restr_bin_op_well_def.con.xml.gz2004-11-09 10:20 387  
[ ]eq_transitive.con.xml.gz2004-11-09 10:20 388  
[ ]irreflexive.con.xml.gz2004-11-09 10:20 388  
[ ]predS_well_def.con.xml.gz2004-11-09 10:20 388  
[ ]un_op_strext.con.xml.gz2004-11-09 10:20 388  
[ ]csp'_pred.con.xml.gz2004-11-09 10:20 389  
[ ]id_strext.con.xml.gz2004-11-09 10:20 389  
[ ]Build_CSetoid_outer_op.con.body.xml.gz2004-11-09 10:20 390  
[ ]antisymmetric.con.xml.gz2004-11-09 10:20 390  
[ ]eq_reflexive.con.xml.gz2004-11-09 10:20 390  
[ ]ap_irreflexive.con.xml.gz2004-11-09 10:20 391  
[ ]ap_cotransitive.con.xml.gz2004-11-09 10:20 392  
[ ]id_pres_eq.con.xml.gz2004-11-09 10:20 392  
[ ]un_op_fun.con.xml.gz2004-11-09 10:20 395  
[ ]bin_op_wd.con.xml.gz2004-11-09 10:20 396  
[ ]commutes.con.xml.gz2004-11-09 10:20 396  
[ ]csr_rel.con.xml.gz2004-11-09 10:20 397  
[ ]Build_SubCSetoid_un_op.con.body.xml.gz2004-11-09 10:20 399  
[ ]Ccsr_rel.con.xml.gz2004-11-09 10:20 399  
[ ]Build_SubCSetoid_bin_op.con.body.xml.gz2004-11-09 10:20 401  
[ ]associative.con.xml.gz2004-11-09 10:20 402  
[ ]bin_op_strext.con.xml.gz2004-11-09 10:20 402  
[ ]restrict_relation.con.xml.gz2004-11-09 10:20 406  
[ ]ap_tight.con.xml.gz2004-11-09 10:20 407  
[ ]scs_prf.con.xml.gz2004-11-09 10:20 407  
[ ]CSetoid_rec.con.body.xml.gz2004-11-09 10:20 410  
[ ]csbf_fun.con.xml.gz2004-11-09 10:20 410  
[ ]eq_reflexive_unfolded.con.xml.gz2004-11-09 10:20 410  
[ ]CSetoid_ind.con.body.xml.gz2004-11-09 10:20 411  
[ ]cs_proof.con.xml.gz2004-11-09 10:20 412  
[ ]outer_op_strext.con.xml.gz2004-11-09 10:20 413  
[ ]bin_op_bin_fun.con.xml.gz2004-11-09 10:20 414  
[ ]id_un_op.con.body.xml.gz2004-11-09 10:20 414  
[ ]outer_op_well_def.con.xml.gz2004-11-09 10:20 419  
[ ]cs_ap.con.xml.gz2004-11-09 10:20 421  
[ ]outer_op_bin_fun.con.xml.gz2004-11-09 10:20 422  
[ ]tight_apart.con.xml.gz2004-11-09 10:20 424  
[ ]CSetoid_fun_rec.con.body.xml.gz2004-11-09 10:20 432  
[ ]CSetoid_fun_ind.con.body.xml.gz2004-11-09 10:20 434  
[ ]csf_wd.con.xml.gz2004-11-09 10:20 436  
[ ]wd_pred_rec.con.body.xml.gz2004-11-09 10:20 438  
[ ]ap_irreflexive_unfolded.con.xml.gz2004-11-09 10:20 439  
[ ]CSetoid_relation_rec.con.body.xml.gz2004-11-09 10:20 440  
[ ]subcsetoid_crr_rec.con.body.xml.gz2004-11-09 10:20 440  
[ ]wd_pred_ind.con.body.xml.gz2004-11-09 10:20 440  
[ ]CSetoid_relation_ind.con.body.xml.gz2004-11-09 10:20 442  
[ ]csf_strext.con.xml.gz2004-11-09 10:20 443  
[ ]csp_wd.con.xml.gz2004-11-09 10:20 443  
[ ]csr_wdl.con.xml.gz2004-11-09 10:20 443  
[ ]csr_wdr.con.xml.gz2004-11-09 10:20 443  
[ ]subcsetoid_crr_ind.con.body.xml.gz2004-11-09 10:20 443  
[ ]CSetoid_predicate_rec.con.body.xml.gz2004-11-09 10:20 445  
[ ]CCSetoid_relation_rec.con.body.xml.gz2004-11-09 10:20 446  
[ ]CSetoid_bin_fun_rec.con.body.xml.gz2004-11-09 10:20 446  
[ ]Ccsr_wdl.con.xml.gz2004-11-09 10:20 446  
[ ]Ccsr_wdr.con.xml.gz2004-11-09 10:20 446  
[ ]CSetoid_predicate_ind.con.body.xml.gz2004-11-09 10:20 447  
[ ]CCSetoid_relation_ind.con.body.xml.gz2004-11-09 10:20 448  
[ ]CSetoid_bin_fun_ind.con.body.xml.gz2004-11-09 10:20 448  
[ ]csbf_wd.con.xml.gz2004-11-09 10:20 448  
[ ]csp'_wd.con.xml.gz2004-11-09 10:20 448  
[ ]CSetoid_predicate'_rec.con.body.xml.gz2004-11-09 10:20 449  
[ ]CSetoid_predicate'_ind.con.body.xml.gz2004-11-09 10:20 451  
[ ]csr_strext.con.xml.gz2004-11-09 10:20 451  
[ ]csp_strext.con.xml.gz2004-11-09 10:20 452  
[ ]Ccsr_strext.con.xml.gz2004-11-09 10:20 453  
[ ]wdp_well_def.con.xml.gz2004-11-09 10:20 453  
[ ]Crestrict_relation.con.xml.gz2004-11-09 10:20 454  
[ ]Build_SubCSetoid_un_op.con.types.xml.gz2004-11-09 10:20 459  
[ ]csbf_strext.con.xml.gz2004-11-09 10:20 459  
[ ]csp'_strext.con.xml.gz2004-11-09 10:20 459  
[ ]ap_imp_neq.con.xml.gz2004-11-09 10:20 465  
[ ]id_strext.con.body.xml.gz2004-11-09 10:20 465  
[ ]cs_neq.con.body.xml.gz2004-11-09 10:20 466  
[ ]id_pres_eq.con.body.xml.gz2004-11-09 10:20 466  
[ ]Build_SubCSetoid_bin_op.con.types.xml.gz2004-11-09 10:20 470  
[ ]ap_symmetric_unfolded.con.xml.gz2004-11-09 10:20 474  
[ ]eq_symmetric_unfolded.con.xml.gz2004-11-09 10:20 474  
[ ]csf_wd.con.body.xml.gz2004-11-09 10:20 491  
[ ]un_op_fun.con.body.xml.gz2004-11-09 10:20 493  
[ ]pred_wd.con.body.xml.gz2004-11-09 10:20 499  
[ ]pred_wd'.con.body.xml.gz2004-11-09 10:20 501  
[ ]csbf_wd.con.body.xml.gz2004-11-09 10:20 502  
[ ]eq_imp_not_ap.con.xml.gz2004-11-09 10:20 502  
[ ]nat_less_n_fun.con.xml.gz2004-11-09 10:20 502  
[ ]prod_eq.con.xml.gz2004-11-09 10:20 502  
[ ]prod_ap.con.xml.gz2004-11-09 10:20 503  
[ ]un_op_wd.con.body.xml.gz2004-11-09 10:20 503  
[ ]nat_less_n_fun'.con.xml.gz2004-11-09 10:20 504  
[ ]not_ap_imp_eq.con.xml.gz2004-11-09 10:20 504  
[ ]not_neq_imp_eq.con.xml.gz2004-11-09 10:20 507  
[ ]subcsetoid_crr.ind.xml.gz2004-11-09 10:20 508  
[ ]bin_op_bin_fun.con.body.xml.gz2004-11-09 10:20 509  
[ ]eq_imp_not_neq.con.xml.gz2004-11-09 10:20 509  
[ ]eq_wdl.con.xml.gz2004-11-09 10:20 509  
[ ]irreflexive.con.body.xml.gz2004-11-09 10:20 510  
[ ]un_op_strext.con.body.xml.gz2004-11-09 10:20 511  
[ ]fun_wd.con.body.xml.gz2004-11-09 10:20 515  
[ ]outer_op_bin_fun.con.body.xml.gz2004-11-09 10:20 521  
[ ]fun_strext.con.body.xml.gz2004-11-09 10:20 522  
[ ]eq_imp_not_neq.con.body.xml.gz2004-11-09 10:20 528  
[ ]neq_imp_notnot_ap.con.xml.gz2004-11-09 10:20 530  
[ ]notnot_ap_imp_neq.con.xml.gz2004-11-09 10:20 531  
[ ]prodcsetoid_is_CSetoid.con.xml.gz2004-11-09 10:20 533  
[ ]eq_transitive_unfolded.con.xml.gz2004-11-09 10:20 534  
[ ]un_op_pres_pred.con.body.xml.gz2004-11-09 10:20 534  
[ ]bin_op_wd.con.body.xml.gz2004-11-09 10:20 535  
[ ]cs_un_op_strext.con.xml.gz2004-11-09 10:20 535  
[ ]rel_wdr.con.body.xml.gz2004-11-09 10:20 536  
[ ]rel_wdl.con.body.xml.gz2004-11-09 10:20 537  
[ ]Crel_wdr.con.body.xml.gz2004-11-09 10:20 540  
[ ]bin_op_strext.con.body.xml.gz2004-11-09 10:20 541  
[ ]eq_reflexive_unfolded.con.types.xml.gz2004-11-09 10:20 541  
[ ]Crel_wdl.con.body.xml.gz2004-11-09 10:20 542  
[ ]ap_wdl_unfolded.con.xml.gz2004-11-09 10:20 543  
[ ]ap_wdr_unfolded.con.xml.gz2004-11-09 10:20 544  
[ ]csf_wd.con.types.xml.gz2004-11-09 10:20 544  
[ ]csbf_wd.con.types.xml.gz2004-11-09 10:20 550  
[ ]pred_strong_ext.con.body.xml.gz2004-11-09 10:20 554  
[ ]outer_op_strext.con.body.xml.gz2004-11-09 10:20 555  
[ ]ProdCSetoid.con.body.xml.gz2004-11-09 10:20 557  
[ ]outer_op_well_def.con.body.xml.gz2004-11-09 10:20 558  
[ ]cs_bin_op_wd.con.xml.gz2004-11-09 10:20 559  
[ ]pred_strong_ext'.con.body.xml.gz2004-11-09 10:20 559  
[ ]Build_CSetoid_un_op.con.xml.gz2004-11-09 10:20 560  
[ ]cs_un_op_strext.con.types.xml.gz2004-11-09 10:20 560  
[ ]csf_wd_unfolded.con.body.xml.gz2004-11-09 10:20 560  
[ ]ap_imp_neq.con.body.xml.gz2004-11-09 10:20 561  
[ ]ax_ap_symmetric.con.xml.gz2004-11-09 10:20 561  
[ ]csoo_wd.con.xml.gz2004-11-09 10:20 561  
[ ]id_un_op.con.types.xml.gz2004-11-09 10:20 561  
[ ]commutes.con.body.xml.gz2004-11-09 10:20 565  
[ ]cs_bin_op_strext.con.xml.gz2004-11-09 10:20 565  
[ ]csf_strext_unfolded.con.xml.gz2004-11-09 10:20 566  
[ ]csoo_strext.con.xml.gz2004-11-09 10:20 567  
[ ]csf_wd_unfolded.con.xml.gz2004-11-09 10:20 568  
[ ]id_pres_eq.con.types.xml.gz2004-11-09 10:20 574  
[ ]id_strext.con.types.xml.gz2004-11-09 10:20 574  
[ ]antisymmetric.con.body.xml.gz2004-11-09 10:20 576  
[ ]ap_irreflexive_unfolded.con.types.xml.gz2004-11-09 10:20 578  
[ ]ax_ap_irreflexive.con.xml.gz2004-11-09 10:20 580  
[ ]scs_elem.con.body.xml.gz2004-11-09 10:20 580  
[ ]wd_pred.ind.xml.gz2004-11-09 10:20 580  
[ ]restr_f_assoc.con.xml.gz2004-11-09 10:20 581  
[ ]ax_ap_cotransitive.con.xml.gz2004-11-09 10:20 582  
[ ]CSetoid.ind.xml.gz2004-11-09 10:20 583  
[ ]cs_bin_op_wd.con.types.xml.gz2004-11-09 10:20 584  
[ ]csoo_wd.con.types.xml.gz2004-11-09 10:20 584  
[ ]ax_ap_tight.con.xml.gz2004-11-09 10:20 586  
[ ]predS_well_def.con.body.xml.gz2004-11-09 10:20 586  
[ ]CSetoid_fun.ind.xml.gz2004-11-09 10:20 588  
[ ]ap_cotransitive_unfolded.con.xml.gz2004-11-09 10:20 589  
[ ]csoo_strext.con.types.xml.gz2004-11-09 10:20 590  
[ ]cs_bin_op_strext.con.types.xml.gz2004-11-09 10:20 591  
[ ]Crel_strext_rht.con.body.xml.gz2004-11-09 10:20 594  
[ ]rel_strext_rht.con.body.xml.gz2004-11-09 10:20 594  
[ ]CSetoid_predicate.ind.xml.gz2004-11-09 10:20 596  
[ ]Crel_strext_lft.con.body.xml.gz2004-11-09 10:20 596  
[ ]bin_op_is_wd_un_op_rht.con.xml.gz2004-11-09 10:20 598  
[ ]CSetoid_predicate'.ind.xml.gz2004-11-09 10:20 599  
[ ]rel_strext_lft.con.body.xml.gz2004-11-09 10:20 599  
[ ]bin_op_is_wd_un_op_lft.con.xml.gz2004-11-09 10:20 600  
[ ]bin_op_pres_pred.con.body.xml.gz2004-11-09 10:20 600  
[ ]Build_CSetoid_bin_op.con.xml.gz2004-11-09 10:20 605  
[ ]ap_cotransitive_unfolded.con.body.xml.gz2004-11-09 10:20 605  
[ ]eq_symmetric_unfolded.con.types.xml.gz2004-11-09 10:20 605  
[ ]neq_imp_notnot_ap.con.body.xml.gz2004-11-09 10:20 605  
[ ]ap_symmetric_unfolded.con.types.xml.gz2004-11-09 10:20 606  
[ ]bin_op_is_strext_un_op_rht.con.xml.gz2004-11-09 10:20 609  
[ ]bin_op_is_strext_un_op_lft.con.xml.gz2004-11-09 10:20 613  
[ ]CCSetoid_relation.ind.xml.gz2004-11-09 10:20 615  
[ ]eq_wdl.con.types.xml.gz2004-11-09 10:20 615  
[ ]Build_CSetoid_outer_op.con.xml.gz2004-11-09 10:20 616  
[ ]bin_fun_wd.con.body.xml.gz2004-11-09 10:20 616  
[ ]csf_strext_unfolded.con.body.xml.gz2004-11-09 10:20 616  
[ ]CSetoid_bin_fun.ind.xml.gz2004-11-09 10:20 620  
[ ]subcsetoid_crr_rec.con.xml.gz2004-11-09 10:20 620  
[ ]subcsetoid_crr_rect.con.xml.gz2004-11-09 10:20 622  
[ ]tight_apart.con.body.xml.gz2004-11-09 10:20 622  
[ ]subcsetoid_crr_ind.con.xml.gz2004-11-09 10:20 624  
[ ]eq_wdl.con.body.xml.gz2004-11-09 10:20 626  
[ ]un_op_wd_unfolded.con.xml.gz2004-11-09 10:20 627  
[ ]ap_imp_neq.con.types.xml.gz2004-11-09 10:20 632  
[ ]notnot_ap_imp_neq.con.body.xml.gz2004-11-09 10:20 634  
[ ]cotransitive.con.body.xml.gz2004-11-09 10:20 635  
[ ]scs_prf.con.body.xml.gz2004-11-09 10:20 635  
[ ]un_op_strext_unfolded.con.xml.gz2004-11-09 10:20 636  
[ ]associative.con.body.xml.gz2004-11-09 10:20 637  
[ ]is_CSetoid_rec.con.body.xml.gz2004-11-09 10:20 640  
[ ]csf_strext_unfolded.con.types.xml.gz2004-11-09 10:20 643  
[ ]is_CSetoid_ind.con.body.xml.gz2004-11-09 10:20 643  
[ ]ap_wdl_unfolded.con.types.xml.gz2004-11-09 10:20 646  
[ ]ap_wdr_unfolded.con.types.xml.gz2004-11-09 10:20 646  
[ ]bin_op2un_op_rht.con.body.xml.gz2004-11-09 10:20 650  
[ ]Crel_strext.con.body.xml.gz2004-11-09 10:20 653  
[ ]bin_op2un_op_lft.con.body.xml.gz2004-11-09 10:20 654  
[ ]rel_strext.con.body.xml.gz2004-11-09 10:20 655  
[ ]cs_crr.con.body.xml.gz2004-11-09 10:20 662  
[ ]bin_fun_strext.con.body.xml.gz2004-11-09 10:20 663  
[ ]eq_transitive_unfolded.con.types.xml.gz2004-11-09 10:20 667  
[ ]CSetoid_relation.ind.xml.gz2004-11-09 10:20 668  
[ ]restr_un_op.con.types.xml.gz2004-11-09 10:20 672  
[ ]csf_wd_unfolded.con.types.xml.gz2004-11-09 10:20 673  
[ ]csbf_wd_unfolded.con.xml.gz2004-11-09 10:20 675  
[ ]bin_op_is_wd_un_op_lft.con.body.xml.gz2004-11-09 10:20 681  
[ ]bin_op_is_wd_un_op_rht.con.body.xml.gz2004-11-09 10:20 682  
[ ]wdp_pred.con.body.xml.gz2004-11-09 10:20 690  
[ ]wd_pred_rec.con.xml.gz2004-11-09 10:20 691  
[ ]wd_pred_rect.con.xml.gz2004-11-09 10:20 693  
[ ]csp_pred.con.body.xml.gz2004-11-09 10:20 694  
[ ]ex_unq.con.body.xml.gz2004-11-09 10:20 694  
[ ]CSetoid_fun_rec.con.xml.gz2004-11-09 10:20 695  
[ ]ap_cotransitive_unfolded.con.types.xml.gz2004-11-09 10:20 697  
[ ]wd_pred_ind.con.xml.gz2004-11-09 10:20 698  
[ ]CSetoid_fun_ind.con.xml.gz2004-11-09 10:20 699  
[ ]CSetoid_fun_rect.con.xml.gz2004-11-09 10:20 699  
[ ]csf_fun.con.body.xml.gz2004-11-09 10:20 699  
[ ]csbf_wd_unfolded.con.body.xml.gz2004-11-09 10:20 701  
[ ]csp'_pred.con.body.xml.gz2004-11-09 10:20 703  
[ ]CSetoid_predicate_rec.con.xml.gz2004-11-09 10:20 706  
[ ]CSetoid_predicate_rect.con.xml.gz2004-11-09 10:20 707  
[ ]CSetoid_predicate'_rec.con.xml.gz2004-11-09 10:20 708  
[ ]cs_eq.con.body.xml.gz2004-11-09 10:20 709  
[ ]CSetoid_predicate'_rect.con.xml.gz2004-11-09 10:20 710  
[ ]CSetoid_predicate'_ind.con.xml.gz2004-11-09 10:20 711  
[ ]CSetoid_predicate_ind.con.xml.gz2004-11-09 10:20 712  
[ ]CSetoid_rect.con.xml.gz2004-11-09 10:20 713  
[ ]CSetoid_rec.con.xml.gz2004-11-09 10:20 716  
[ ]cs_ap.con.body.xml.gz2004-11-09 10:20 718  
[ ]CSetoid_ind.con.xml.gz2004-11-09 10:20 722  
[ ]bin_op2un_op_lft.con.types.xml.gz2004-11-09 10:20 723  
[ ]bin_op2un_op_rht.con.types.xml.gz2004-11-09 10:20 724  
[ ]CCSetoid_relation_rect.con.xml.gz2004-11-09 10:20 725  
[ ]not_neq_imp_eq.con.body.xml.gz2004-11-09 10:20 726  
[ ]CCSetoid_relation_rec.con.xml.gz2004-11-09 10:20 727  
[ ]Ccsr_rel.con.body.xml.gz2004-11-09 10:20 730  
[ ]Const_CSetoid_fun.con.types.xml.gz2004-11-09 10:20 730  
[ ]csf_strext.con.body.xml.gz2004-11-09 10:20 731  
[ ]CCSetoid_relation_ind.con.xml.gz2004-11-09 10:20 733  
[ ]CSetoid_bin_fun_rect.con.xml.gz2004-11-09 10:20 733  
[ ]CSetoid_bin_fun_rec.con.xml.gz2004-11-09 10:20 734  
[ ]csp_strext.con.body.xml.gz2004-11-09 10:20 736  
[ ]scs_prf.con.types.xml.gz2004-11-09 10:20 736  
[ ]CSetoid_bin_fun_ind.con.xml.gz2004-11-09 10:20 740  
[ ]wdp_well_def.con.body.xml.gz2004-11-09 10:20 740  
[ ]csp'_strext.con.body.xml.gz2004-11-09 10:20 745  
[ ]bin_op_wd_unfolded.con.xml.gz2004-11-09 10:20 746  
[ ]csbf_fun.con.body.xml.gz2004-11-09 10:20 749  
[ ]Ccsr_strext.con.body.xml.gz2004-11-09 10:20 752  
[ ]subcsetoid_crr_rect.con.body.xml.gz2004-11-09 10:20 753  
[ ]csoo_wd_unfolded.con.xml.gz2004-11-09 10:20 755  
[ ]restr_un_op.con.body.xml.gz2004-11-09 10:20 758  
[ ]csbf_strext.con.body.xml.gz2004-11-09 10:20 760  
[ ]restr_bin_op.con.types.xml.gz2004-11-09 10:20 762  
[ ]cs_proof.con.body.xml.gz2004-11-09 10:20 766  
[ ]Const_CSetoid_fun.con.body.xml.gz2004-11-09 10:20 767  
[ ]eq_imp_not_neq.con.types.xml.gz2004-11-09 10:20 769  
[ ]nat_less_n_fun.con.body.xml.gz2004-11-09 10:20 771  
[ ]nat_less_n_fun'.con.body.xml.gz2004-11-09 10:20 772  
[ ]subcsetoid_crr_ind.con.types.xml.gz2004-11-09 10:20 773  
[ ]bin_op_strext_unfolded.con.xml.gz2004-11-09 10:20 783  
[ ]csr_rel.con.body.xml.gz2004-11-09 10:20 787  
[ ]csbf_wd_unfolded.con.types.xml.gz2004-11-09 10:20 804  
[ ]CSetoid_relation_rect.con.xml.gz2004-11-09 10:20 811  
[ ]CSetoid_relation_rec.con.xml.gz2004-11-09 10:20 812  
[ ]CSetoid_relation_ind.con.xml.gz2004-11-09 10:20 813  
[ ]ap_cotransitive.con.types.xml.gz2004-11-09 10:20 814  
[ ]ap_symmetric.con.types.xml.gz2004-11-09 10:20 814  
[ ]csr_wdl.con.body.xml.gz2004-11-09 10:20 814  
[ ]csr_wdr.con.body.xml.gz2004-11-09 10:20 815  
[ ]ap_irreflexive.con.types.xml.gz2004-11-09 10:20 816  
[ ]csr_strext.con.body.xml.gz2004-11-09 10:20 819  
[ ]CSetoid_fun_rect.con.body.xml.gz2004-11-09 10:20 823  
[ ]wd_pred_rect.con.body.xml.gz2004-11-09 10:20 829  
[ ]csf_strext.con.types.xml.gz2004-11-09 10:20 834  
[ ]un_op_wd_unfolded.con.types.xml.gz2004-11-09 10:20 836  
[ ]CSetoid_predicate_rect.con.body.xml.gz2004-11-09 10:20 840  
[ ]CSetoid_predicate'_rect.con.body.xml.gz2004-11-09 10:20 843  
[ ]un_op_strext_unfolded.con.types.xml.gz2004-11-09 10:20 844  
[ ]neq_imp_notnot_ap.con.types.xml.gz2004-11-09 10:20 845  
[ ]csp_strext.con.types.xml.gz2004-11-09 10:20 850  
[ ]CSetoid_rect.con.body.xml.gz2004-11-09 10:20 852  
[ ]wdp_well_def.con.types.xml.gz2004-11-09 10:20 852  
[ ]ap_tight.con.types.xml.gz2004-11-09 10:20 856  
[ ]csbf_strext.con.types.xml.gz2004-11-09 10:20 858  
[ ]csp'_strext.con.types.xml.gz2004-11-09 10:20 859  
[ ]restrict_relation.con.body.xml.gz2004-11-09 10:20 860  
[ ]CCSetoid_relation_rect.con.body.xml.gz2004-11-09 10:20 861  
[ ]CSetoid_bin_fun_rect.con.body.xml.gz2004-11-09 10:20 861  
[ ]not_neq_imp_eq.con.types.xml.gz2004-11-09 10:20 864  
[ ]ax_ap_symmetric.con.types.xml.gz2004-11-09 10:20 865  
[ ]ax_ap_irreflexive.con.types.xml.gz2004-11-09 10:20 866  
[ ]is_CSetoid.ind.xml.gz2004-11-09 10:20 866  
[ ]ax_ap_cotransitive.con.types.xml.gz2004-11-09 10:20 869  
[ ]Ccsr_strext.con.types.xml.gz2004-11-09 10:20 871  
[ ]wd_pred_ind.con.types.xml.gz2004-11-09 10:20 873  
[ ]CSetoid_fun_ind.con.types.xml.gz2004-11-09 10:20 874  
[ ]CSetoid_predicate'_ind.con.types.xml.gz2004-11-09 10:20 879  
[ ]notnot_ap_imp_neq.con.types.xml.gz2004-11-09 10:20 879  
[ ]CSetoid_predicate_ind.con.types.xml.gz2004-11-09 10:20 882  
[ ]ax_ap_tight.con.types.xml.gz2004-11-09 10:20 900  
[ ]Crestrict_relation.con.body.xml.gz2004-11-09 10:20 907  
[ ]CCSetoid_relation_ind.con.types.xml.gz2004-11-09 10:20 918  
[ ]CSetoid_bin_fun_ind.con.types.xml.gz2004-11-09 10:20 932  
[ ]CSetoid_ind.con.types.xml.gz2004-11-09 10:20 938  
[ ]CSetoid_relation_rect.con.body.xml.gz2004-11-09 10:20 944  
[ ]proper_caseZ_diff_CS.con.xml.gz2004-11-09 10:20 948  
[ ]csr_wdr.con.types.xml.gz2004-11-09 10:20 961  
[ ]ap_wdl.con.body.xml.gz2004-11-09 10:20 962  
[ ]csr_wdl.con.types.xml.gz2004-11-09 10:20 962  
[ ]csr_strext.con.types.xml.gz2004-11-09 10:20 967  
[ ]restr_bin_op.con.body.xml.gz2004-11-09 10:20 1.0K 
[ ]bin_op_wd_unfolded.con.types.xml.gz2004-11-09 10:20 1.0K 
[ ]csoo_wd_unfolded.con.types.xml.gz2004-11-09 10:20 1.0K 
[ ]ax_ap_symmetric.con.body.xml.gz2004-11-09 10:20 1.0K 
[ ]bin_op_strext_unfolded.con.types.xml.gz2004-11-09 10:20 1.0K 
[ ]ax_ap_irreflexive.con.body.xml.gz2004-11-09 10:20 1.0K 
[ ]ax_ap_cotransitive.con.body.xml.gz2004-11-09 10:20 1.0K 
[ ]ap_irreflexive.con.body.xml.gz2004-11-09 10:20 1.0K 
[ ]ax_ap_tight.con.body.xml.gz2004-11-09 10:20 1.0K 
[ ]ap_tight.con.body.xml.gz2004-11-09 10:20 1.0K 
[ ]ap_cotransitive.con.body.xml.gz2004-11-09 10:20 1.0K 
[ ]is_CSetoid_rect.con.xml.gz2004-11-09 10:20 1.0K 
[ ]ap_symmetric.con.body.xml.gz2004-11-09 10:20 1.0K 
[ ]is_CSetoid_rec.con.xml.gz2004-11-09 10:20 1.0K 
[ ]is_CSetoid_ind.con.xml.gz2004-11-09 10:20 1.0K 
[ ]CSetoid_relation_ind.con.types.xml.gz2004-11-09 10:20 1.0K 
[ ]eq_imp_not_ap.con.body.xml.gz2004-11-09 10:20 1.0K 
[ ]not_ap_imp_eq.con.body.xml.gz2004-11-09 10:20 1.1K 
[ ]csp_wd.con.types.xml.gz2004-11-09 10:20 1.1K 
[ ]csp'_wd.con.types.xml.gz2004-11-09 10:20 1.1K 
[ ]prod_ap.con.body.xml.gz2004-11-09 10:20 1.1K 
[ ]prod_eq.con.body.xml.gz2004-11-09 10:20 1.1K 
[ ]proper_caseZ_diff_CS_subproof0.con.xml.gz2004-11-09 10:20 1.1K 
[ ]csp_wd.con.body.xml.gz2004-11-09 10:20 1.1K 
[ ]csp'_wd.con.body.xml.gz2004-11-09 10:20 1.2K 
[ ]eq_imp_not_ap.con.types.xml.gz2004-11-09 10:20 1.2K 
[ ]not_ap_imp_eq.con.types.xml.gz2004-11-09 10:20 1.2K 
[ ]is_CSetoid_rect.con.body.xml.gz2004-11-09 10:20 1.2K 
[ ]bin_op_is_wd_un_op_lft.con.types.xml.gz2004-11-09 10:20 1.2K 
[ ]bin_op_is_wd_un_op_rht.con.types.xml.gz2004-11-09 10:20 1.2K 
[ ]fun_strext_imp_wd.con.body.xml.gz2004-11-09 10:20 1.3K 
[ ]ap_wdl.con.types.xml.gz2004-11-09 10:20 1.3K 
[ ]is_CSetoid_ind.con.types.xml.gz2004-11-09 10:20 1.3K 
[ ]proper_caseZ_diff_CS_subproof.con.xml.gz2004-11-09 10:20 1.3K 
[ ]ap_wdr.con.body.xml.gz2004-11-09 10:20 1.3K 
[ ]fun_strext_imp_wd.con.types.xml.gz2004-11-09 10:20 1.4K 
[ ]Ccsr_wdl.con.types.xml.gz2004-11-09 10:20 1.4K 
[ ]Ccsr_wdr.con.types.xml.gz2004-11-09 10:20 1.4K 
[ ]restr_un_op_wd.con.body.xml.gz2004-11-09 10:20 1.4K 
[ ]restr_un_op_strext.con.body.xml.gz2004-11-09 10:20 1.4K 
[ ]eq_reflexive.con.body.xml.gz2004-11-09 10:20 1.5K 
[ ]bin_op_is_strext_un_op_lft.con.body.xml.gz2004-11-09 10:20 1.6K 
[ ]restr_un_op_strext.con.types.xml.gz2004-11-09 10:20 1.6K 
[ ]restr_un_op_wd.con.types.xml.gz2004-11-09 10:20 1.6K 
[ ]ap_wdr.con.types.xml.gz2004-11-09 10:20 1.6K 
[ ]Ccsr_wdl.con.body.xml.gz2004-11-09 10:20 1.8K 
[ ]eq_reflexive.con.types.xml.gz2004-11-09 10:20 1.8K 
[ ]Ccsr_wdr.con.body.xml.gz2004-11-09 10:20 1.8K 
[ ]bin_op_is_strext_un_op_lft.con.types.xml.gz2004-11-09 10:20 1.9K 
[ ]bin_op_is_strext_un_op_rht.con.body.xml.gz2004-11-09 10:20 2.0K 
[ ]bin_fun_strext_imp_wd.con.body.xml.gz2004-11-09 10:20 2.1K 
[ ]ap_strext.con.body.xml.gz2004-11-09 10:20 2.2K 
[ ]bin_op_is_strext_un_op_rht.con.types.xml.gz2004-11-09 10:20 2.2K 
[ ]ap_strext.con.types.xml.gz2004-11-09 10:20 2.3K 
[ ]eq_symmetric.con.body.xml.gz2004-11-09 10:20 2.3K 
[ ]Crel_strext_imp_rhtarg.con.body.xml.gz2004-11-09 10:20 2.4K 
[ ]bin_fun_strext_imp_wd.con.types.xml.gz2004-11-09 10:20 2.4K 
[ ]rel_strext_imp_rhtarg.con.body.xml.gz2004-11-09 10:20 2.4K 
[ ]rel_strextarg_imp_strext.con.body.xml.gz2004-11-09 10:20 2.4K 
[ ]Crel_strext_imp_lftarg.con.body.xml.gz2004-11-09 10:20 2.4K 
[ ]rel_strext_imp_lftarg.con.body.xml.gz2004-11-09 10:20 2.5K 
[ ]Crel_strextarg_imp_strext.con.body.xml.gz2004-11-09 10:20 2.5K 
[ ]restr_f_assoc.con.body.xml.gz2004-11-09 10:20 2.5K 
[ ]rel_strext_imp_rhtarg.con.types.xml.gz2004-11-09 10:20 2.6K 
[ ]eq_symmetric.con.types.xml.gz2004-11-09 10:20 2.6K 
[ ]Crel_strext_imp_rhtarg.con.types.xml.gz2004-11-09 10:20 2.6K 
[ ]rel_strextarg_imp_strext.con.types.xml.gz2004-11-09 10:20 2.7K 
[ ]Crel_strextarg_imp_strext.con.types.xml.gz2004-11-09 10:20 2.7K 
[ ]Crel_strext_imp_lftarg.con.types.xml.gz2004-11-09 10:20 2.8K 
[ ]rel_strext_imp_lftarg.con.types.xml.gz2004-11-09 10:20 2.8K 
[ ]restr_bin_op_well_def.con.body.xml.gz2004-11-09 10:20 2.9K 
[ ]restr_bin_op_strext.con.body.xml.gz2004-11-09 10:20 3.0K 
[ ]restr_bin_op_well_def.con.types.xml.gz2004-11-09 10:20 3.0K 
[ ]subcsetoid_equiv.con.body.xml.gz2004-11-09 10:20 3.0K 
[ ]restr_bin_op_strext.con.types.xml.gz2004-11-09 10:20 3.1K 
[ ]subcsetoid_is_CSetoid.con.body.xml.gz2004-11-09 10:20 3.3K 
[ ]restr_f_assoc.con.types.xml.gz2004-11-09 10:20 3.5K 
[ ]eq_transitive.con.types.xml.gz2004-11-09 10:20 3.9K 
[ ]eq_transitive.con.body.xml.gz2004-11-09 10:20 4.2K 
[ ]subcsetoid_equiv.con.types.xml.gz2004-11-09 10:20 4.2K 
[ ]subcsetoid_is_CSetoid.con.types.xml.gz2004-11-09 10:20 4.3K 
[ ]proper_caseZ_diff_CS.con.body.xml.gz2004-11-09 10:20 5.9K 
[ ]proper_caseZ_diff_CS.con.types.xml.gz2004-11-09 10:20 7.0K 
[ ]proper_caseZ_diff_CS_subproof0.con.types.xml.gz2004-11-09 10:20 10K 
[ ]INDEX2005-07-05 08:11 11K 
[ ]proper_caseZ_diff_CS_subproof.con.types.xml.gz2004-11-09 10:20 12K 
[ ]prodcsetoid_is_CSetoid.con.body.xml.gz2004-11-09 10:20 12K 
[ ]proper_caseZ_diff_CS_subproof0.con.body.xml.gz2004-11-09 10:20 12K 
[ ]proper_caseZ_diff_CS_subproof.con.body.xml.gz2004-11-09 10:20 13K 
[ ]prodcsetoid_is_CSetoid.con.types.xml.gz2004-11-09 10:20 17K 
Apache/2.4.61 (Debian) Server at mowgli.cs.unibo.it Port 80