Index of /xml/Nancy/FOUnify/nat_term_eq_quasiterm

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[DIR]terms/2005-07-05 08:13 -  
[ ]var.con.xml.gz2004-04-08 09:05 195  
[ ]fun_.con.xml.gz2004-04-08 09:05 198  
[ ]BC.con.types.xml.gz2004-04-08 09:05 201  
[ ]BV.con.types.xml.gz2004-04-08 09:05 202  
[ ]var.con.types.xml.gz2004-04-08 09:05 202  
[ ]term.ind.types.xml.gz2004-04-08 09:05 203  
[ ]fun_.con.types.xml.gz2004-04-08 09:05 204  
[ ]l_term.ind.types.xml.gz2004-04-08 09:05 205  
[ ]BRoot.con.types.xml.gz2004-04-08 09:05 206  
[ ]arity.con.types.xml.gz2004-04-08 09:05 206  
[ ]Destr1.con.types.xml.gz2004-04-08 09:05 208  
[ ]Destr2.con.types.xml.gz2004-04-08 09:05 208  
[ ]L_TERM.con.types.xml.gz2004-04-08 09:05 208  
[ ]Length.con.types.xml.gz2004-04-08 09:05 208  
[ ]quasiterm.ind.types.xml.gz2004-04-08 09:05 208  
[ ]term_rec.con.types.xml.gz2004-04-08 09:05 208  
[ ]SIMPLE.con.types.xml.gz2004-04-08 09:05 209  
[ ]At_last.con.types.xml.gz2004-04-08 09:05 210  
[ ]list_nat.ind.types.xml.gz2004-04-08 09:05 210  
[ ]term_rect.con.types.xml.gz2004-04-08 09:05 210  
[ ]Constr_f.con.types.xml.gz2004-04-08 09:05 211  
[ ]Destrfun.con.types.xml.gz2004-04-08 09:05 211  
[ ]Destrvar.con.types.xml.gz2004-04-08 09:05 211  
[ ]BConsArg.con.types.xml.gz2004-04-08 09:05 212  
[ ]OK_At_last.ind.types.xml.gz2004-04-08 09:05 215  
[ ]quasiterm_rec.con.types.xml.gz2004-04-08 09:05 215  
[ ]OK_Constr_f.ind.types.xml.gz2004-04-08 09:05 216  
[ ]list_nat_rec.con.types.xml.gz2004-04-08 09:05 216  
[ ]list_nat_rect.con.types.xml.gz2004-04-08 09:05 217  
[ ]quasiterm_rect.con.types.xml.gz2004-04-08 09:05 217  
[ ]List_queue_nat.con.types.xml.gz2004-04-08 09:05 219  
[ ]OK_At_last_rec.con.types.xml.gz2004-04-08 09:05 222  
[ ]OK_Constr_f_rec.con.types.xml.gz2004-04-08 09:05 223  
[ ]OK_At_last_rect.con.types.xml.gz2004-04-08 09:05 224  
[ ]OK_Constr_f_rect.con.types.xml.gz2004-04-08 09:05 225  
[ ]OK_List_queue_nat.ind.types.xml.gz2004-04-08 09:05 225  
[ ]OK_List_queue_nat_rec.con.types.xml.gz2004-04-08 09:05 232  
[ ]OK_List_queue_nat_rect.con.types.xml.gz2004-04-08 09:05 236  
[ ]var.con.body.xml.gz2004-04-08 09:05 260  
[ ]fun_.con.body.xml.gz2004-04-08 09:05 261  
[ ]Destr1.con.xml.gz2004-04-08 09:05 293  
[ ]Destr2.con.xml.gz2004-04-08 09:05 293  
[ ]BC.con.xml.gz2004-04-08 09:05 302  
[ ]BV.con.xml.gz2004-04-08 09:05 302  
[ ]Constr_f_OK.con.xml.gz2004-04-08 09:05 302  
[ ]At_last_OK.con.xml.gz2004-04-08 09:05 303  
[ ]BRoot.con.xml.gz2004-04-08 09:05 307  
[ ]List_queue_nat.con.xml.gz2004-04-08 09:05 307  
[ ]Length.con.xml.gz2004-04-08 09:05 309  
[ ]SIMPLE.con.xml.gz2004-04-08 09:05 309  
[ ]BConsArg.con.xml.gz2004-04-08 09:05 311  
[ ]List_queue_nat_OK.con.xml.gz2004-04-08 09:05 314  
[ ]At_last.con.xml.gz2004-04-08 09:05 322  
[ ]Constr_f.con.xml.gz2004-04-08 09:05 323  
[ ]L_TERM.con.xml.gz2004-04-08 09:05 323  
[ ]arity.con.body.xml.gz2004-04-08 09:05 324  
[ ]Destrvar.con.xml.gz2004-04-08 09:05 328  
[ ]Destrfun.con.xml.gz2004-04-08 09:05 329  
[ ]arity.con.xml.gz2004-04-08 09:05 334  
[ ]SIMPLE_decS.con.types.xml.gz2004-04-08 09:05 403  
[ ]list_nat.ind.xml.gz2004-04-08 09:05 409  
[ ]list_nat_rec.con.body.xml.gz2004-04-08 09:05 424  
[ ]quasiterm_rec.con.body.xml.gz2004-04-08 09:05 424  
[ ]l_term_L_TERM.con.xml.gz2004-04-08 09:05 426  
[ ]term_rec.con.body.xml.gz2004-04-08 09:05 427  
[ ]quasiterm_ind.con.body.xml.gz2004-04-08 09:05 428  
[ ]list_nat_ind.con.body.xml.gz2004-04-08 09:05 429  
[ ]L_TERM_l_term.con.xml.gz2004-04-08 09:05 432  
[ ]term_ind.con.body.xml.gz2004-04-08 09:05 433  
[ ]SIMPLE_decS.con.xml.gz2004-04-08 09:05 463  
[ ]term_decS.con.xml.gz2004-04-08 09:05 469  
[ ]L_TERM_decS.con.xml.gz2004-04-08 09:05 474  
[ ]quasiterm.ind.xml.gz2004-04-08 09:05 474  
[ ]OK_List_queue_nat_rec.con.body.xml.gz2004-04-08 09:05 478  
[ ]OK_List_queue_nat_ind.con.body.xml.gz2004-04-08 09:05 489  
[ ]OK_Constr_f_rec.con.body.xml.gz2004-04-08 09:05 496  
[ ]OK_At_last_rec.con.body.xml.gz2004-04-08 09:05 498  
[ ]fun_eq_decP.con.xml.gz2004-04-08 09:05 503  
[ ]quasiterm_eq_decP.con.xml.gz2004-04-08 09:05 503  
[ ]var_eq_decP.con.xml.gz2004-04-08 09:05 504  
[ ]var_eq_decS.con.xml.gz2004-04-08 09:05 506  
[ ]OK_Constr_f_ind.con.body.xml.gz2004-04-08 09:05 507  
[ ]OK_At_last_ind.con.body.xml.gz2004-04-08 09:05 508  
[ ]fun_eq_decS.con.xml.gz2004-04-08 09:05 508  
[ ]quasiterm_eq_decS.con.xml.gz2004-04-08 09:05 508  
[ ]SIMPLE_SO.con.xml.gz2004-04-08 09:05 510  
[ ]proj_C.con.xml.gz2004-04-08 09:05 520  
[ ]proj_V.con.xml.gz2004-04-08 09:05 520  
[ ]term_ind.con.xml.gz2004-04-08 09:05 523  
[ ]term_rect.con.xml.gz2004-04-08 09:05 523  
[ ]term_rec.con.xml.gz2004-04-08 09:05 526  
[ ]fun_eq_decS.con.types.xml.gz2004-04-08 09:05 532  
[ ]var_eq_decS.con.types.xml.gz2004-04-08 09:05 532  
[ ]Length_n_O.con.xml.gz2004-04-08 09:05 536  
[ ]term.ind.xml.gz2004-04-08 09:05 536  
[ ]C_diff_C.con.xml.gz2004-04-08 09:05 553  
[ ]V_diff_V.con.xml.gz2004-04-08 09:05 553  
[ ]Length_SO_term.con.xml.gz2004-04-08 09:05 554  
[ ]n_SO_Length_ConsArg.con.xml.gz2004-04-08 09:05 555  
[ ]proj_ConsArg2.con.xml.gz2004-04-08 09:05 556  
[ ]proj_ConsArg1.con.xml.gz2004-04-08 09:05 557  
[ ]proj_Root1.con.xml.gz2004-04-08 09:05 569  
[ ]proj_Root2.con.xml.gz2004-04-08 09:05 569  
[ ]term_L_TERM_Length.con.xml.gz2004-04-08 09:05 574  
[ ]List_queue_nat_OK.con.body.xml.gz2004-04-08 09:05 578  
[ ]BC.con.body.xml.gz2004-04-08 09:05 580  
[ ]BV.con.body.xml.gz2004-04-08 09:05 581  
[ ]BRoot.con.body.xml.gz2004-04-08 09:05 586  
[ ]BConsArg.con.body.xml.gz2004-04-08 09:05 590  
[ ]SIMPLE.con.body.xml.gz2004-04-08 09:05 593  
[ ]Destrvar.con.body.xml.gz2004-04-08 09:05 598  
[ ]list_nat_rec.con.xml.gz2004-04-08 09:05 606  
[ ]list_nat_rect.con.xml.gz2004-04-08 09:05 606  
[ ]Destrfun.con.body.xml.gz2004-04-08 09:05 612  
[ ]list_nat_ind.con.xml.gz2004-04-08 09:05 612  
[ ]At_last_OK.con.body.xml.gz2004-04-08 09:05 618  
[ ]term_ind.con.types.xml.gz2004-04-08 09:05 622  
[ ]Constr_f_OK.con.body.xml.gz2004-04-08 09:05 626  
[ ]term_rect.con.body.xml.gz2004-04-08 09:05 626  
[ ]Destr1.con.body.xml.gz2004-04-08 09:05 642  
[ ]Destr2.con.body.xml.gz2004-04-08 09:05 646  
[ ]ConsArg_diff_ConsArg.con.xml.gz2004-04-08 09:05 665  
[ ]Root_diff_Root.con.xml.gz2004-04-08 09:05 670  
[ ]C_diff_C.con.body.xml.gz2004-04-08 09:05 705  
[ ]V_diff_V.con.body.xml.gz2004-04-08 09:05 707  
[ ]List_queue_nat.con.body.xml.gz2004-04-08 09:05 733  
[ ]At_last.con.body.xml.gz2004-04-08 09:05 777  
[ ]OK_List_queue_nat_ind.con.xml.gz2004-04-08 09:05 795  
[ ]OK_List_queue_nat_rec.con.xml.gz2004-04-08 09:05 796  
[ ]OK_List_queue_nat_rect.con.xml.gz2004-04-08 09:05 803  
[ ]list_nat_ind.con.types.xml.gz2004-04-08 09:05 804  
[ ]quasiterm_rect.con.xml.gz2004-04-08 09:05 805  
[ ]OK_List_queue_nat.ind.xml.gz2004-04-08 09:05 806  
[ ]quasiterm_rec.con.xml.gz2004-04-08 09:05 806  
[ ]quasiterm_ind.con.xml.gz2004-04-08 09:05 808  
[ ]OK_At_last_ind.con.xml.gz2004-04-08 09:05 810  
[ ]OK_At_last_rec.con.xml.gz2004-04-08 09:05 813  
[ ]OK_At_last_rect.con.xml.gz2004-04-08 09:05 818  
[ ]OK_At_last.ind.xml.gz2004-04-08 09:05 828  
[ ]Length.con.body.xml.gz2004-04-08 09:05 840  
[ ]Constr_f.con.body.xml.gz2004-04-08 09:05 857  
[ ]List_queue_nat_OK.con.types.xml.gz2004-04-08 09:05 868  
[ ]OK_List_queue_nat_rect.con.body.xml.gz2004-04-08 09:05 898  
[ ]OK_Constr_f_ind.con.xml.gz2004-04-08 09:05 927  
[ ]OK_Constr_f_rec.con.xml.gz2004-04-08 09:05 930  
[ ]OK_At_last_rect.con.body.xml.gz2004-04-08 09:05 932  
[ ]OK_Constr_f_rect.con.xml.gz2004-04-08 09:05 937  
[ ]OK_Constr_f.ind.xml.gz2004-04-08 09:05 947  
[ ]proj_V.con.types.xml.gz2004-04-08 09:05 1.0K 
[ ]proj_C.con.types.xml.gz2004-04-08 09:05 1.0K 
[ ]l_term.ind.xml.gz2004-04-08 09:05 1.0K 
[ ]list_nat_rect.con.body.xml.gz2004-04-08 09:05 1.0K 
[ ]proj_ConsArg1.con.types.xml.gz2004-04-08 09:05 1.0K 
[ ]proj_ConsArg2.con.types.xml.gz2004-04-08 09:05 1.0K 
[ ]fun_eq_decP.con.body.xml.gz2004-04-08 09:05 1.0K 
[ ]var_eq_decP.con.body.xml.gz2004-04-08 09:05 1.0K 
[ ]At_last_OK.con.types.xml.gz2004-04-08 09:05 1.0K 
[ ]L_TERM.con.body.xml.gz2004-04-08 09:05 1.0K 
[ ]OK_Constr_f_rect.con.body.xml.gz2004-04-08 09:05 1.0K 
[ ]OK_List_queue_nat_ind.con.types.xml.gz2004-04-08 09:05 1.0K 
[ ]C_diff_C.con.types.xml.gz2004-04-08 09:05 1.0K 
[ ]V_diff_V.con.types.xml.gz2004-04-08 09:05 1.0K 
[ ]quasiterm_eq_decP.con.types.xml.gz2004-04-08 09:05 1.0K 
[ ]proj_Root1.con.types.xml.gz2004-04-08 09:05 1.0K 
[ ]quasiterm_eq_decP.con.body.xml.gz2004-04-08 09:05 1.1K 
[ ]OK_At_last_ind.con.types.xml.gz2004-04-08 09:05 1.1K 
[ ]SIMPLE_decS.con.body.xml.gz2004-04-08 09:05 1.1K 
[ ]l_term_ind.con.xml.gz2004-04-08 09:05 1.1K 
[ ]proj_Root2.con.types.xml.gz2004-04-08 09:05 1.1K 
[ ]var_eq_decS.con.body.xml.gz2004-04-08 09:05 1.1K 
[ ]fun_eq_decS.con.body.xml.gz2004-04-08 09:05 1.1K 
[ ]term_decS.con.types.xml.gz2004-04-08 09:05 1.1K 
[ ]Constr_f_OK.con.types.xml.gz2004-04-08 09:05 1.1K 
[ ]quasiterm_ind.con.types.xml.gz2004-04-08 09:05 1.2K 
[ ]Length_n_O.con.types.xml.gz2004-04-08 09:05 1.2K 
[ ]ConsArg_diff_ConsArg.con.body.xml.gz2004-04-08 09:05 1.2K 
[ ]OK_Constr_f_ind.con.types.xml.gz2004-04-08 09:05 1.2K 
[ ]Root_diff_Root.con.body.xml.gz2004-04-08 09:05 1.2K 
[ ]fun_eq_decP.con.types.xml.gz2004-04-08 09:05 1.3K 
[ ]var_eq_decP.con.types.xml.gz2004-04-08 09:05 1.3K 
[ ]proj_V.con.body.xml.gz2004-04-08 09:05 1.3K 
[ ]proj_C.con.body.xml.gz2004-04-08 09:05 1.3K 
[ ]l_term_L_TERM.con.body.xml.gz2004-04-08 09:05 1.3K 
[ ]quasiterm_rect.con.body.xml.gz2004-04-08 09:05 1.4K 
[ ]proj_ConsArg1.con.body.xml.gz2004-04-08 09:05 1.4K 
[ ]proj_ConsArg2.con.body.xml.gz2004-04-08 09:05 1.4K 
[ ]proj_Root2.con.body.xml.gz2004-04-08 09:05 1.4K 
[ ]proj_Root1.con.body.xml.gz2004-04-08 09:05 1.4K 
[ ]ConsArg_diff_ConsArg.con.types.xml.gz2004-04-08 09:05 1.5K 
[ ]l_term_L_TERM.con.types.xml.gz2004-04-08 09:05 1.5K 
[ ]Root_diff_Root.con.types.xml.gz2004-04-08 09:05 1.5K 
[ ]SIMPLE_SO.con.body.xml.gz2004-04-08 09:05 1.6K 
[ ]Length_SO_term.con.body.xml.gz2004-04-08 09:05 1.9K 
[ ]l_term_ind.con.types.xml.gz2004-04-08 09:05 2.0K 
[ ]l_term_ind.con.body.xml.gz2004-04-08 09:05 2.1K 
[ ]Length_SO_term.con.types.xml.gz2004-04-08 09:05 2.1K 
[ ]term_decS.con.body.xml.gz2004-04-08 09:05 2.3K 
[ ]L_TERM_l_term.con.body.xml.gz2004-04-08 09:05 2.9K 
[ ]SIMPLE_SO.con.types.xml.gz2004-04-08 09:05 3.0K 
[ ]L_TERM_l_term.con.types.xml.gz2004-04-08 09:05 3.0K 
[ ]Length_n_O.con.body.xml.gz2004-04-08 09:05 3.2K 
[ ]INDEX2005-07-05 08:11 3.5K 
[ ]n_SO_Length_ConsArg.con.types.xml.gz2004-04-08 09:05 3.6K 
[ ]n_SO_Length_ConsArg.con.body.xml.gz2004-04-08 09:05 3.9K 
[ ]term_L_TERM_Length.con.body.xml.gz2004-04-08 09:05 4.2K 
[ ]L_TERM_decS.con.types.xml.gz2004-04-08 09:05 6.0K 
[ ]term_L_TERM_Length.con.types.xml.gz2004-04-08 09:05 6.2K 
[ ]quasiterm_eq_decS.con.types.xml.gz2004-04-08 09:05 12K 
[ ]L_TERM_decS.con.body.xml.gz2004-04-08 09:05 14K 
[ ]quasiterm_eq_decS.con.body.xml.gz2004-04-08 09:05 24K 
Apache/2.4.61 (Debian) Server at mowgli.cs.unibo.it Port 80