Index of /xml/Nancy/FOUnify/term_unif

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]sub.ind.types.xml.gz2004-04-08 09:05 193  
[ ]SUP.con.types.xml.gz2004-04-08 09:05 194  
[ ]dom.con.types.xml.gz2004-04-08 09:05 194  
[ ]SUB.con.types.xml.gz2004-04-08 09:05 195  
[ ]clos.ind.types.xml.gz2004-04-08 09:05 195  
[ ]infv.ind.types.xml.gz2004-04-08 09:05 195  
[ ]inclv.ind.types.xml.gz2004-04-08 09:05 196  
[ ]unif.con.types.xml.gz2004-04-08 09:06 196  
[ ]over.con.types.xml.gz2004-04-08 09:05 197  
[ ]range.ind.types.xml.gz2004-04-08 09:05 197  
[ ]under.con.types.xml.gz2004-04-08 09:05 197  
[ ]UnifC2.con.types.xml.gz2004-04-08 09:06 198  
[ ]remove.ind.types.xml.gz2004-04-08 09:05 198  
[ ]UnifV2.con.types.xml.gz2004-04-08 09:06 199  
[ ]REMOVE.con.types.xml.gz2004-04-08 09:05 200  
[ ]st_inclv.ind.types.xml.gz2004-04-08 09:05 201  
[ ]diffelnb.ind.types.xml.gz2004-04-08 09:05 202  
[ ]min_unif.con.types.xml.gz2004-04-08 09:06 202  
[ ]clos_rec.con.types.xml.gz2004-04-08 09:05 203  
[ ]head_diff.ind.types.xml.gz2004-04-08 09:06 203  
[ ]list_var.con.types.xml.gz2004-04-08 09:05 203  
[ ]DIFFELNB.con.types.xml.gz2004-04-08 09:05 204  
[ ]clos_rect.con.types.xml.gz2004-04-08 09:05 204  
[ ]inclv_rec.con.types.xml.gz2004-04-08 09:05 204  
[ ]elem_subst.ind.types.xml.gz2004-04-08 09:06 205  
[ ]idempotent.con.types.xml.gz2004-04-08 09:06 205  
[ ]inclv_rect.con.types.xml.gz2004-04-08 09:05 205  
[ ]less_subst.ind.types.xml.gz2004-04-08 09:06 205  
[ ]Unification.ind.types.xml.gz2004-04-08 09:06 206  
[ ]unif_proof.con.types.xml.gz2004-04-08 09:06 206  
[ ]elem_subst_rec.con.types.xml.gz2004-04-08 09:06 213  
[ ]Unification_rec.con.types.xml.gz2004-04-08 09:06 214  
[ ]Unification_rect.con.types.xml.gz2004-04-08 09:06 215  
[ ]elem_subst_rect.con.types.xml.gz2004-04-08 09:06 215  
[ ]list_var.con.xml.gz2004-04-08 09:05 309  
[ ]SUP.con.xml.gz2004-04-08 09:05 314  
[ ]idempotent.con.xml.gz2004-04-08 09:06 314  
[ ]SUB.con.xml.gz2004-04-08 09:05 316  
[ ]dom.con.xml.gz2004-04-08 09:05 329  
[ ]DIFFELNB.con.xml.gz2004-04-08 09:05 337  
[ ]over.con.xml.gz2004-04-08 09:05 343  
[ ]under.con.xml.gz2004-04-08 09:05 345  
[ ]unif.con.xml.gz2004-04-08 09:06 353  
[ ]REMOVE.con.xml.gz2004-04-08 09:05 357  
[ ]min_unif.con.xml.gz2004-04-08 09:06 360  
[ ]unif_proof.con.xml.gz2004-04-08 09:06 399  
[ ]SUB.con.body.xml.gz2004-04-08 09:05 403  
[ ]clos_rec.con.body.xml.gz2004-04-08 09:05 417  
[ ]clos_ind.con.body.xml.gz2004-04-08 09:05 427  
[ ]sym_Unification.con.xml.gz2004-04-08 09:06 439  
[ ]sub_SUB.con.xml.gz2004-04-08 09:05 442  
[ ]UnifC1.con.xml.gz2004-04-08 09:06 444  
[ ]UnifV1.con.xml.gz2004-04-08 09:06 444  
[ ]UnifV2.con.xml.gz2004-04-08 09:06 444  
[ ]UnifC2.con.xml.gz2004-04-08 09:06 445  
[ ]inclv_rec.con.body.xml.gz2004-04-08 09:05 446  
[ ]SUB_sub.con.xml.gz2004-04-08 09:05 447  
[ ]Decomp_fail.con.xml.gz2004-04-08 09:06 448  
[ ]n_st_inclv_l_Nilv.con.xml.gz2004-04-08 09:05 450  
[ ]inclv_ind.con.body.xml.gz2004-04-08 09:05 454  
[ ]V_stab.con.xml.gz2004-04-08 09:05 456  
[ ]closConsArg1.con.xml.gz2004-04-08 09:05 468  
[ ]closConsArg2.con.xml.gz2004-04-08 09:05 469  
[ ]diffelnb_DIFFELNB.con.xml.gz2004-04-08 09:05 476  
[ ]closRoot.con.xml.gz2004-04-08 09:05 477  
[ ]DIFFELNB_diffelnb.con.xml.gz2004-04-08 09:05 478  
[ ]DIFFELNB_O.con.xml.gz2004-04-08 09:05 483  
[ ]DIFFELNBor.con.xml.gz2004-04-08 09:05 486  
[ ]n_infv_t_clos.con.xml.gz2004-04-08 09:05 486  
[ ]UnifC2.con.body.xml.gz2004-04-08 09:06 488  
[ ]trans_SUB.con.xml.gz2004-04-08 09:05 488  
[ ]SUB_diff.con.xml.gz2004-04-08 09:05 491  
[ ]UnifV2.con.body.xml.gz2004-04-08 09:06 491  
[ ]trans_SUP.con.xml.gz2004-04-08 09:05 491  
[ ]clos_DIFFELNBO.con.xml.gz2004-04-08 09:05 493  
[ ]infv_st_inclv.con.xml.gz2004-04-08 09:05 495  
[ ]st_inclv_infv.con.xml.gz2004-04-08 09:05 495  
[ ]unif.con.body.xml.gz2004-04-08 09:06 497  
[ ]DIFFELNB_O_clos.con.xml.gz2004-04-08 09:05 499  
[ ]clossubst.con.xml.gz2004-04-08 09:05 500  
[ ]REMOVE_remove.con.xml.gz2004-04-08 09:05 503  
[ ]dom_decP.con.xml.gz2004-04-08 09:05 504  
[ ]dom.con.body.xml.gz2004-04-08 09:05 507  
[ ]IS_IN_IS_IN_LV.con.xml.gz2004-04-08 09:05 510  
[ ]closConsArg.con.xml.gz2004-04-08 09:05 510  
[ ]elem_subst_rec.con.body.xml.gz2004-04-08 09:06 510  
[ ]remove_REMOVE.con.xml.gz2004-04-08 09:05 512  
[ ]IS_IN_LV_IS_IN.con.xml.gz2004-04-08 09:05 513  
[ ]sig_REMOVE.con.xml.gz2004-04-08 09:05 515  
[ ]elem_subst_ind.con.body.xml.gz2004-04-08 09:06 517  
[ ]exi_REMOVE.con.xml.gz2004-04-08 09:05 517  
[ ]SUB_subst.con.xml.gz2004-04-08 09:05 526  
[ ]V_stab.con.body.xml.gz2004-04-08 09:05 528  
[ ]sig_elem_subst.con.xml.gz2004-04-08 09:06 528  
[ ]Unification_rec.con.body.xml.gz2004-04-08 09:06 539  
[ ]idempotent.con.body.xml.gz2004-04-08 09:06 541  
[ ]idempotent_n_range.con.xml.gz2004-04-08 09:06 545  
[ ]min_unif.con.body.xml.gz2004-04-08 09:06 545  
[ ]Unification_ind.con.body.xml.gz2004-04-08 09:06 546  
[ ]UnifRoot.con.xml.gz2004-04-08 09:06 547  
[ ]n_dom.con.xml.gz2004-04-08 09:05 547  
[ ]REMOVE_Consv_eq.con.xml.gz2004-04-08 09:05 551  
[ ]Unif_DIFFELNB_O.con.xml.gz2004-04-08 09:06 558  
[ ]REMOVE_IS_IN_LV_IS_IN_LV.con.xml.gz2004-04-08 09:05 560  
[ ]trans_SUB.con.body.xml.gz2004-04-08 09:05 562  
[ ]proof_unif.con.xml.gz2004-04-08 09:06 566  
[ ]idempotent_dom_n_IS_IN.con.xml.gz2004-04-08 09:06 570  
[ ]under_IS_IN_Subst_IS_IN.con.xml.gz2004-04-08 09:05 572  
[ ]inclv_le.con.xml.gz2004-04-08 09:05 573  
[ ]clos_ind.con.xml.gz2004-04-08 09:05 575  
[ ]clos_rect.con.xml.gz2004-04-08 09:05 581  
[ ]clos_rec.con.xml.gz2004-04-08 09:05 582  
[ ]n_range_IS_IN_eq.con.xml.gz2004-04-08 09:05 588  
[ ]under.con.body.xml.gz2004-04-08 09:05 589  
[ ]DIFFELNB_Consv_n_O.con.xml.gz2004-04-08 09:05 594  
[ ]REMOVE_n_IS_IN_LV_eq.con.xml.gz2004-04-08 09:05 595  
[ ]clos.ind.xml.gz2004-04-08 09:05 597  
[ ]eq_V_stab.con.xml.gz2004-04-08 09:05 599  
[ ]n_range_IS_IN_Subst.con.xml.gz2004-04-08 09:05 602  
[ ]n_range_n_IS_IN.con.xml.gz2004-04-08 09:05 602  
[ ]inclv_ind.con.xml.gz2004-04-08 09:05 605  
[ ]over.con.body.xml.gz2004-04-08 09:05 605  
[ ]inclv_rec.con.xml.gz2004-04-08 09:05 613  
[ ]inclv_rect.con.xml.gz2004-04-08 09:05 614  
[ ]range_n_dom_idempotent.con.xml.gz2004-04-08 09:06 615  
[ ]range_ind.con.xml.gz2004-04-08 09:05 617  
[ ]DIFFELNB_st_inclv_le_S.con.xml.gz2004-04-08 09:05 621  
[ ]comp_subst.con.xml.gz2004-04-08 09:06 625  
[ ]exp_comp_subst.con.xml.gz2004-04-08 09:06 631  
[ ]inclv.ind.xml.gz2004-04-08 09:05 638  
[ ]range.ind.xml.gz2004-04-08 09:05 640  
[ ]IS_IN_SUB.con.xml.gz2004-04-08 09:06 649  
[ ]REMOVE_n_eq_IS_IN_LV_IS_IN_LV.con.xml.gz2004-04-08 09:05 649  
[ ]range_ind.con.types.xml.gz2004-04-08 09:05 657  
[ ]REMOVE_Consv_n_eq.con.xml.gz2004-04-08 09:05 661  
[ ]REMOVE_n_IS_IN_LV_DIFFELNB_pred.con.xml.gz2004-04-08 09:05 665  
[ ]Headv_REMOVE_Consv_Nilv.con.xml.gz2004-04-08 09:05 667  
[ ]clos_rect.con.body.xml.gz2004-04-08 09:05 689  
[ ]clos_ind.con.types.xml.gz2004-04-08 09:05 690  
[ ]less_subst_ind.con.xml.gz2004-04-08 09:06 691  
[ ]V_stab.con.types.xml.gz2004-04-08 09:05 697  
[ ]IS_IN_Subst_exi_IS_IN.con.xml.gz2004-04-08 09:05 699  
[ ]st_inclv_Consv_REMOVE_n_IS_IN_LV_st_inclv.con.xml.gz2004-04-08 09:05 700  
[ ]UnifConsArgfail1.con.xml.gz2004-04-08 09:06 702  
[ ]less_subst.ind.xml.gz2004-04-08 09:06 711  
[ ]idempotent_Fondamental.con.xml.gz2004-04-08 09:06 715  
[ ]inclv_rect.con.body.xml.gz2004-04-08 09:05 720  
[ ]less_subst_ind.con.types.xml.gz2004-04-08 09:06 727  
[ ]range_ind.con.body.xml.gz2004-04-08 09:05 732  
[ ]infv_ind.con.xml.gz2004-04-08 09:05 733  
[ ]st_inclv_ind.con.xml.gz2004-04-08 09:05 744  
[ ]elem_subst_conserve.con.xml.gz2004-04-08 09:06 748  
[ ]REMOVE_Consv_n_eq_Headv.con.xml.gz2004-04-08 09:05 755  
[ ]infv.ind.xml.gz2004-04-08 09:05 758  
[ ]eq_V_stab3.con.xml.gz2004-04-08 09:06 760  
[ ]inclv_ind.con.types.xml.gz2004-04-08 09:05 761  
[ ]exp_comp_subst.con.body.xml.gz2004-04-08 09:06 762  
[ ]ident_or_not.con.xml.gz2004-04-08 09:06 765  
[ ]st_inclv.ind.xml.gz2004-04-08 09:05 766  
[ ]infv_ind.con.types.xml.gz2004-04-08 09:05 775  
[ ]ident_or_notS.con.xml.gz2004-04-08 09:06 776  
[ ]sig_elem_subst0.con.xml.gz2004-04-08 09:06 780  
[ ]st_inclv_ind.con.types.xml.gz2004-04-08 09:05 785  
[ ]unif_comp.con.xml.gz2004-04-08 09:06 785  
[ ]min_unif_comp.con.xml.gz2004-04-08 09:06 793  
[ ]n_range_n_IS_IN.con.body.xml.gz2004-04-08 09:05 793  
[ ]less_subst_ind.con.body.xml.gz2004-04-08 09:06 799  
[ ]n_st_inclv_l_Nilv.con.body.xml.gz2004-04-08 09:05 823  
[ ]DIFFELNB_ConsArg_ConsArg13_le.con.xml.gz2004-04-08 09:06 826  
[ ]DIFFELNB_ConsArg_ConsArg24_le.con.xml.gz2004-04-08 09:06 826  
[ ]elem_subst_ind.con.xml.gz2004-04-08 09:06 845  
[ ]trans_SUB.con.types.xml.gz2004-04-08 09:05 847  
[ ]closRoot.con.body.xml.gz2004-04-08 09:05 848  
[ ]elem_subst_rec.con.xml.gz2004-04-08 09:06 852  
[ ]elem_subst_rect.con.xml.gz2004-04-08 09:06 853  
[ ]exi_REMOVE.con.types.xml.gz2004-04-08 09:05 853  
[ ]infv_ind.con.body.xml.gz2004-04-08 09:05 854  
[ ]list_var.con.body.xml.gz2004-04-08 09:05 857  
[ ]st_inclv_ind.con.body.xml.gz2004-04-08 09:05 863  
[ ]over_comp.con.xml.gz2004-04-08 09:06 869  
[ ]elem_subst.ind.xml.gz2004-04-08 09:06 875  
[ ]one_only_succes.con.xml.gz2004-04-08 09:06 893  
[ ]n_st_inclv_l_Nilv.con.types.xml.gz2004-04-08 09:05 918  
[ ]diffelnb.ind.xml.gz2004-04-08 09:05 924  
[ ]closRoot.con.types.xml.gz2004-04-08 09:05 931  
[ ]remove.ind.xml.gz2004-04-08 09:05 936  
[ ]exi_REMOVE.con.body.xml.gz2004-04-08 09:05 946  
[ ]under_comp.con.xml.gz2004-04-08 09:06 952  
[ ]exp_comp_subst.con.types.xml.gz2004-04-08 09:06 966  
[ ]elem_subst_rect.con.body.xml.gz2004-04-08 09:06 967  
[ ]unif_proof.con.body.xml.gz2004-04-08 09:06 1.0K 
[ ]n_infv_t_clos.con.types.xml.gz2004-04-08 09:05 1.0K 
[ ]closConsArg1.con.body.xml.gz2004-04-08 09:05 1.0K 
[ ]closConsArg2.con.body.xml.gz2004-04-08 09:05 1.0K 
[ ]sub.ind.xml.gz2004-04-08 09:05 1.0K 
[ ]remove_ind.con.xml.gz2004-04-08 09:05 1.0K 
[ ]closConsArg2.con.types.xml.gz2004-04-08 09:05 1.0K 
[ ]closConsArg1.con.types.xml.gz2004-04-08 09:05 1.0K 
[ ]head_diff.ind.xml.gz2004-04-08 09:06 1.0K 
[ ]SUP.con.body.xml.gz2004-04-08 09:05 1.1K 
[ ]diffelnb_ind.con.xml.gz2004-04-08 09:05 1.1K 
[ ]n_infv_t_clos.con.body.xml.gz2004-04-08 09:05 1.1K 
[ ]sub_ind.con.xml.gz2004-04-08 09:05 1.1K 
[ ]elem_subst_ind.con.types.xml.gz2004-04-08 09:06 1.1K 
[ ]UnifConsArgfail1.con.body.xml.gz2004-04-08 09:06 1.1K 
[ ]n_range_n_IS_IN.con.types.xml.gz2004-04-08 09:05 1.1K 
[ ]UnifConsArgfail1.con.types.xml.gz2004-04-08 09:06 1.1K 
[ ]DIFFELNB.con.body.xml.gz2004-04-08 09:05 1.1K 
[ ]f_n_id_minus.con.xml.gz2004-04-08 09:06 1.1K 
[ ]n_dom.con.body.xml.gz2004-04-08 09:05 1.2K 
[ ]head_diff_ind.con.xml.gz2004-04-08 09:06 1.2K 
[ ]dom_decP.con.body.xml.gz2004-04-08 09:05 1.2K 
[ ]DIFFELNB_O.con.body.xml.gz2004-04-08 09:05 1.2K 
[ ]sig_elem_subst.con.types.xml.gz2004-04-08 09:06 1.2K 
[ ]REMOVE.con.body.xml.gz2004-04-08 09:05 1.2K 
[ ]head_diff_ind.con.types.xml.gz2004-04-08 09:06 1.2K 
[ ]closConsArg.con.body.xml.gz2004-04-08 09:05 1.3K 
[ ]Unification.ind.xml.gz2004-04-08 09:06 1.3K 
[ ]infv_st_inclv.con.body.xml.gz2004-04-08 09:05 1.3K 
[ ]st_inclv_infv.con.body.xml.gz2004-04-08 09:05 1.4K 
[ ]DIFFELNB_O_clos.con.body.xml.gz2004-04-08 09:05 1.4K 
[ ]DIFFELNB_O.con.types.xml.gz2004-04-08 09:05 1.4K 
[ ]n_dom.con.types.xml.gz2004-04-08 09:05 1.4K 
[ ]term_subst_comp.con.xml.gz2004-04-08 09:06 1.4K 
[ ]closConsArg.con.types.xml.gz2004-04-08 09:05 1.4K 
[ ]st_inclv_infv.con.types.xml.gz2004-04-08 09:05 1.4K 
[ ]clossubst.con.body.xml.gz2004-04-08 09:05 1.5K 
[ ]head_diff_ind.con.body.xml.gz2004-04-08 09:06 1.5K 
[ ]DIFFELNB_O_clos.con.types.xml.gz2004-04-08 09:05 1.5K 
[ ]clossubst.con.types.xml.gz2004-04-08 09:05 1.5K 
[ ]idempotent_n_range.con.body.xml.gz2004-04-08 09:06 1.5K 
[ ]infv_st_inclv.con.types.xml.gz2004-04-08 09:05 1.5K 
[ ]Unification_rect.con.xml.gz2004-04-08 09:06 1.5K 
[ ]Unification_ind.con.xml.gz2004-04-08 09:06 1.5K 
[ ]Unification_rec.con.xml.gz2004-04-08 09:06 1.5K 
[ ]dom_decP.con.types.xml.gz2004-04-08 09:05 1.5K 
[ ]DIFFELNB_Consv_n_O.con.body.xml.gz2004-04-08 09:05 1.5K 
[ ]idempotent_n_range.con.types.xml.gz2004-04-08 09:06 1.6K 
[ ]idempotent_dom_n_IS_IN.con.types.xml.gz2004-04-08 09:06 1.6K 
[ ]Unification_rect.con.body.xml.gz2004-04-08 09:06 1.7K 
[ ]idempotent_dom_n_IS_IN.con.body.xml.gz2004-04-08 09:06 1.7K 
[ ]two_succes.con.xml.gz2004-04-08 09:06 1.7K 
[ ]proof_unif.con.types.xml.gz2004-04-08 09:06 1.7K 
[ ]DIFFELNB_Consv_n_O.con.types.xml.gz2004-04-08 09:05 1.8K 
[ ]n_range_IS_IN_eq.con.types.xml.gz2004-04-08 09:05 1.8K 
[ ]range_n_dom_idempotent.con.body.xml.gz2004-04-08 09:06 1.8K 
[ ]diffelnb_ind.con.types.xml.gz2004-04-08 09:05 1.8K 
[ ]IS_IN_IS_IN_LV.con.body.xml.gz2004-04-08 09:05 1.8K 
[ ]remove_ind.con.types.xml.gz2004-04-08 09:05 1.9K 
[ ]remove_ind.con.body.xml.gz2004-04-08 09:05 1.9K 
[ ]n_range_IS_IN_eq.con.body.xml.gz2004-04-08 09:05 1.9K 
[ ]diffelnb_ind.con.body.xml.gz2004-04-08 09:05 1.9K 
[ ]two_succes.con.types.xml.gz2004-04-08 09:06 1.9K 
[ ]sig_REMOVE.con.types.xml.gz2004-04-08 09:05 1.9K 
[ ]elem_subst_conserve.con.types.xml.gz2004-04-08 09:06 2.0K 
[ ]sub_ind.con.body.xml.gz2004-04-08 09:05 2.0K 
[ ]elem_subst_conserve.con.body.xml.gz2004-04-08 09:06 2.0K 
[ ]range_n_dom_idempotent.con.types.xml.gz2004-04-08 09:06 2.0K 
[ ]Decomp_fail.con.body.xml.gz2004-04-08 09:06 2.1K 
[ ]sub_ind.con.types.xml.gz2004-04-08 09:05 2.1K 
[ ]IS_IN_LV_IS_IN.con.body.xml.gz2004-04-08 09:05 2.1K 
[ ]remove_REMOVE.con.body.xml.gz2004-04-08 09:05 2.1K 
[ ]Unification_ind.con.types.xml.gz2004-04-08 09:06 2.1K 
[ ]REMOVE_IS_IN_LV_IS_IN_LV.con.body.xml.gz2004-04-08 09:05 2.2K 
[ ]sub_SUB.con.body.xml.gz2004-04-08 09:05 2.2K 
[ ]remove_REMOVE.con.types.xml.gz2004-04-08 09:05 2.3K 
[ ]under_IS_IN_Subst_IS_IN.con.types.xml.gz2004-04-08 09:05 2.3K 
[ ]REMOVE_n_IS_IN_LV_eq.con.body.xml.gz2004-04-08 09:05 2.4K 
[ ]DIFFELNB_ConsArg_ConsArg13_le.con.types.xml.gz2004-04-08 09:06 2.4K 
[ ]DIFFELNB_ConsArg_ConsArg24_le.con.types.xml.gz2004-04-08 09:06 2.4K 
[ ]sig_elem_subst.con.body.xml.gz2004-04-08 09:06 2.4K 
[ ]n_range_IS_IN_Subst.con.body.xml.gz2004-04-08 09:05 2.5K 
[ ]clos_DIFFELNBO.con.body.xml.gz2004-04-08 09:05 2.5K 
[ ]under_IS_IN_Subst_IS_IN.con.body.xml.gz2004-04-08 09:05 2.5K 
[ ]REMOVE_Consv_n_eq.con.types.xml.gz2004-04-08 09:05 2.5K 
[ ]REMOVE_Consv_eq.con.types.xml.gz2004-04-08 09:05 2.5K 
[ ]eq_V_stab.con.body.xml.gz2004-04-08 09:05 2.6K 
[ ]REMOVE_IS_IN_LV_IS_IN_LV.con.types.xml.gz2004-04-08 09:05 2.7K 
[ ]comp_subst.con.body.xml.gz2004-04-08 09:06 2.8K 
[ ]REMOVE_Consv_n_eq.con.body.xml.gz2004-04-08 09:05 2.8K 
[ ]two_succes.con.body.xml.gz2004-04-08 09:06 2.8K 
[ ]st_inclv_Consv_REMOVE_n_IS_IN_LV_st_inclv.con.body.xml.gz2004-04-08 09:05 2.9K 
[ ]REMOVE_Consv_eq.con.body.xml.gz2004-04-08 09:05 2.9K 
[ ]clos_DIFFELNBO.con.types.xml.gz2004-04-08 09:05 3.1K 
[ ]eq_V_stab.con.types.xml.gz2004-04-08 09:05 3.1K 
[ ]sub_SUB.con.types.xml.gz2004-04-08 09:05 3.2K 
[ ]Headv_REMOVE_Consv_Nilv.con.body.xml.gz2004-04-08 09:05 3.2K 
[ ]IS_IN_IS_IN_LV.con.types.xml.gz2004-04-08 09:05 3.2K 
[ ]ident_or_notS.con.types.xml.gz2004-04-08 09:06 3.2K 
[ ]IS_IN_LV_IS_IN.con.types.xml.gz2004-04-08 09:05 3.2K 
[ ]REMOVE_n_IS_IN_LV_eq.con.types.xml.gz2004-04-08 09:05 3.2K 
[ ]DIFFELNB_ConsArg_ConsArg13_le.con.body.xml.gz2004-04-08 09:06 3.2K 
[ ]DIFFELNB_ConsArg_ConsArg24_le.con.body.xml.gz2004-04-08 09:06 3.2K 
[ ]SUB_sub.con.body.xml.gz2004-04-08 09:05 3.2K 
[ ]Headv_REMOVE_Consv_Nilv.con.types.xml.gz2004-04-08 09:05 3.2K 
[ ]SUB_sub.con.types.xml.gz2004-04-08 09:05 3.3K 
[ ]UnifC1.con.body.xml.gz2004-04-08 09:06 3.3K 
[ ]REMOVE_n_eq_IS_IN_LV_IS_IN_LV.con.body.xml.gz2004-04-08 09:05 3.3K 
[ ]Decomp_fail.con.types.xml.gz2004-04-08 09:06 3.3K 
[ ]Unif_DIFFELNB_O.con.body.xml.gz2004-04-08 09:06 3.3K 
[ ]DIFFELNB_diffelnb.con.body.xml.gz2004-04-08 09:05 3.3K 
[ ]DIFFELNBor.con.types.xml.gz2004-04-08 09:05 3.3K 
[ ]Unif_DIFFELNB_O.con.types.xml.gz2004-04-08 09:06 3.4K 
[ ]diffelnb_DIFFELNB.con.body.xml.gz2004-04-08 09:05 3.4K 
[ ]unif_comp.con.body.xml.gz2004-04-08 09:06 3.6K 
[ ]n_range_IS_IN_Subst.con.types.xml.gz2004-04-08 09:05 3.6K 
[ ]sig_REMOVE.con.body.xml.gz2004-04-08 09:05 3.7K 
[ ]sym_Unification.con.types.xml.gz2004-04-08 09:06 3.8K 
[ ]st_inclv_Consv_REMOVE_n_IS_IN_LV_st_inclv.con.types.xml.gz2004-04-08 09:05 3.8K 
[ ]DIFFELNB_diffelnb.con.types.xml.gz2004-04-08 09:05 3.9K 
[ ]comp_subst.con.types.xml.gz2004-04-08 09:06 3.9K 
[ ]DIFFELNBor.con.body.xml.gz2004-04-08 09:05 4.0K 
[ ]unif_comp.con.types.xml.gz2004-04-08 09:06 4.0K 
[ ]REMOVE_n_eq_IS_IN_LV_IS_IN_LV.con.types.xml.gz2004-04-08 09:05 4.1K 
[ ]sym_Unification.con.body.xml.gz2004-04-08 09:06 4.2K 
[ ]REMOVE_Consv_n_eq_Headv.con.types.xml.gz2004-04-08 09:05 4.4K 
[ ]over_comp.con.body.xml.gz2004-04-08 09:06 4.6K 
[ ]SUB_diff.con.types.xml.gz2004-04-08 09:05 4.7K 
[ ]UnifC1.con.types.xml.gz2004-04-08 09:06 4.8K 
[ ]idempotent_Fondamental.con.body.xml.gz2004-04-08 09:06 4.8K 
[ ]min_unif_comp.con.body.xml.gz2004-04-08 09:06 4.8K 
[ ]REMOVE_Consv_n_eq_Headv.con.body.xml.gz2004-04-08 09:05 4.8K 
[ ]diffelnb_DIFFELNB.con.types.xml.gz2004-04-08 09:05 4.9K 
[ ]SUB_diff.con.body.xml.gz2004-04-08 09:05 5.1K 
[ ]REMOVE_remove.con.types.xml.gz2004-04-08 09:05 5.1K 
[ ]UnifRoot.con.types.xml.gz2004-04-08 09:06 5.4K 
[ ]IS_IN_Subst_exi_IS_IN.con.body.xml.gz2004-04-08 09:05 5.4K 
[ ]REMOVE_remove.con.body.xml.gz2004-04-08 09:05 5.6K 
[ ]one_only_succes.con.types.xml.gz2004-04-08 09:06 5.6K 
[ ]idempotent_Fondamental.con.types.xml.gz2004-04-08 09:06 5.7K 
[ ]sig_elem_subst0.con.types.xml.gz2004-04-08 09:06 5.8K 
[ ]UnifRoot.con.body.xml.gz2004-04-08 09:06 5.8K 
[ ]min_unif_comp.con.types.xml.gz2004-04-08 09:06 6.0K 
[ ]ident_or_not.con.body.xml.gz2004-04-08 09:06 6.2K 
[ ]term_subst_comp.con.body.xml.gz2004-04-08 09:06 6.3K 
[ ]inclv_le.con.body.xml.gz2004-04-08 09:05 6.4K 
[ ]INDEX2005-07-05 08:11 6.5K 
[ ]ident_or_notS.con.body.xml.gz2004-04-08 09:06 6.5K 
[ ]one_only_succes.con.body.xml.gz2004-04-08 09:06 6.9K 
[ ]inclv_le.con.types.xml.gz2004-04-08 09:05 6.9K 
[ ]sig_elem_subst0.con.body.xml.gz2004-04-08 09:06 7.1K 
[ ]IS_IN_SUB.con.body.xml.gz2004-04-08 09:06 7.3K 
[ ]SUB_subst.con.body.xml.gz2004-04-08 09:05 7.4K 
[ ]over_comp.con.types.xml.gz2004-04-08 09:06 7.8K 
[ ]IS_IN_Subst_exi_IS_IN.con.types.xml.gz2004-04-08 09:05 8.2K 
[ ]eq_V_stab3.con.body.xml.gz2004-04-08 09:06 8.2K 
[ ]DIFFELNB_st_inclv_le_S.con.body.xml.gz2004-04-08 09:05 9.1K 
[ ]DIFFELNB_st_inclv_le_S.con.types.xml.gz2004-04-08 09:05 9.6K 
[ ]IS_IN_SUB.con.types.xml.gz2004-04-08 09:06 9.7K 
[ ]term_subst_comp.con.types.xml.gz2004-04-08 09:06 9.8K 
[ ]SUB_subst.con.types.xml.gz2004-04-08 09:05 9.9K 
[ ]ident_or_not.con.types.xml.gz2004-04-08 09:06 10K 
[ ]eq_V_stab3.con.types.xml.gz2004-04-08 09:06 11K 
[ ]f_n_id_minus.con.body.xml.gz2004-04-08 09:06 11K 
[ ]UnifV1.con.body.xml.gz2004-04-08 09:06 13K 
[ ]f_n_id_minus.con.types.xml.gz2004-04-08 09:06 14K 
[ ]under_comp.con.body.xml.gz2004-04-08 09:06 16K 
[ ]UnifV1.con.types.xml.gz2004-04-08 09:06 16K 
[ ]REMOVE_n_IS_IN_LV_DIFFELNB_pred.con.body.xml.gz2004-04-08 09:05 18K 
[ ]REMOVE_n_IS_IN_LV_DIFFELNB_pred.con.types.xml.gz2004-04-08 09:05 18K 
[ ]trans_SUP.con.body.xml.gz2004-04-08 09:05 19K 
[ ]trans_SUP.con.types.xml.gz2004-04-08 09:05 20K 
[ ]under_comp.con.types.xml.gz2004-04-08 09:06 21K 
[ ]proof_unif.con.body.xml.gz2004-04-08 09:06 23K 
Apache/2.4.61 (Debian) Server at mowgli.cs.unibo.it Port 80