Index of /xml/CoRN/ftc/RefSepRef

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]INDEX2005-07-05 08:11 2.2K 
[ ]RSR_H'.con.body.xml.gz2004-11-09 13:19 5.5K 
[ ]RSR_H'.con.types.xml.gz2004-11-09 13:19 4.2K 
[ ]RSR_H'.con.xml.gz2004-11-09 13:19 1.0K 
[ ]RSR_HP'.con.body.xml.gz2004-11-09 13:19 766  
[ ]RSR_HP'.con.types.xml.gz2004-11-09 13:19 705  
[ ]RSR_HP'.con.xml.gz2004-11-09 13:19 665  
[ ]RSR_HP.con.body.xml.gz2004-11-09 13:19 2.8K 
[ ]RSR_HP.con.types.xml.gz2004-11-09 13:19 1.3K 
[ ]RSR_HP.con.xml.gz2004-11-09 13:19 415  
[ ]RSR_HR'.con.body.xml.gz2004-11-09 13:19 766  
[ ]RSR_HR'.con.types.xml.gz2004-11-09 13:19 705  
[ ]RSR_HR'.con.xml.gz2004-11-09 13:19 665  
[ ]RSR_HR.con.body.xml.gz2004-11-09 13:19 4.6K 
[ ]RSR_HR.con.types.xml.gz2004-11-09 13:19 1.3K 
[ ]RSR_HR.con.xml.gz2004-11-09 13:19 414  
[ ]RSR_auxP.con.body.xml.gz2004-11-09 13:19 2.0K 
[ ]RSR_auxP.con.types.xml.gz2004-11-09 13:19 439  
[ ]RSR_auxP.con.xml.gz2004-11-09 13:19 349  
[ ]RSR_auxP_lemma0.con.body.xml.gz2004-11-09 13:19 4.8K 
[ ]RSR_auxP_lemma0.con.types.xml.gz2004-11-09 13:19 9.5K 
[ ]RSR_auxP_lemma0.con.xml.gz2004-11-09 13:19 420  
[ ]RSR_auxP_lemma1.con.body.xml.gz2004-11-09 13:20 324K 
[ ]RSR_auxP_lemma1.con.types.xml.gz2004-11-09 13:20 339K 
[ ]RSR_auxP_lemma1.con.xml.gz2004-11-09 13:20 547  
[ ]RSR_auxP_lemma2.con.body.xml.gz2004-11-09 13:20 68K 
[ ]RSR_auxP_lemma2.con.types.xml.gz2004-11-09 13:20 84K 
[ ]RSR_auxP_lemma2.con.xml.gz2004-11-09 13:20 1.2K 
[ ]RSR_auxP_lemmai.con.body.xml.gz2004-11-09 13:19 23K 
[ ]RSR_auxP_lemmai.con.types.xml.gz2004-11-09 13:19 37K 
[ ]RSR_auxP_lemmai.con.xml.gz2004-11-09 13:19 1.4K 
[ ]RSR_auxP_lemman.con.body.xml.gz2004-11-09 13:19 6.0K 
[ ]RSR_auxP_lemman.con.types.xml.gz2004-11-09 13:19 15K 
[ ]RSR_auxP_lemman.con.xml.gz2004-11-09 13:19 460  
[ ]RSR_auxR.con.body.xml.gz2004-11-09 13:19 2.0K 
[ ]RSR_auxR.con.types.xml.gz2004-11-09 13:19 439  
[ ]RSR_auxR.con.xml.gz2004-11-09 13:19 349  
[ ]RSR_auxR_lemma0.con.body.xml.gz2004-11-09 13:20 4.8K 
[ ]RSR_auxR_lemma0.con.types.xml.gz2004-11-09 13:20 9.5K 
[ ]RSR_auxR_lemma0.con.xml.gz2004-11-09 13:20 420  
[ ]RSR_auxR_lemma1.con.body.xml.gz2004-11-09 13:20 341K 
[ ]RSR_auxR_lemma1.con.types.xml.gz2004-11-09 13:20 352K 
[ ]RSR_auxR_lemma1.con.xml.gz2004-11-09 13:20 546  
[ ]RSR_auxR_lemma2.con.body.xml.gz2004-11-09 13:20 68K 
[ ]RSR_auxR_lemma2.con.types.xml.gz2004-11-09 13:20 85K 
[ ]RSR_auxR_lemma2.con.xml.gz2004-11-09 13:20 1.2K 
[ ]RSR_auxR_lemmai.con.body.xml.gz2004-11-09 13:20 23K 
[ ]RSR_auxR_lemmai.con.types.xml.gz2004-11-09 13:20 37K 
[ ]RSR_auxR_lemmai.con.xml.gz2004-11-09 13:20 1.4K 
[ ]RSR_auxR_lemmam.con.body.xml.gz2004-11-09 13:20 6.0K 
[ ]RSR_auxR_lemmam.con.types.xml.gz2004-11-09 13:20 15K 
[ ]RSR_auxR_lemmam.con.xml.gz2004-11-09 13:20 456  
[ ]RSR_f'_ap_g'.con.body.xml.gz2004-11-09 13:19 850  
[ ]RSR_f'_ap_g'.con.types.xml.gz2004-11-09 13:19 1.7K 
[ ]RSR_f'_ap_g'.con.xml.gz2004-11-09 13:19 845  
[ ]RSR_f'_mon.con.body.xml.gz2004-11-09 13:19 1.1K 
[ ]RSR_f'_mon.con.types.xml.gz2004-11-09 13:19 2.3K 
[ ]RSR_f'_mon.con.xml.gz2004-11-09 13:19 964  
[ ]RSR_f'_nlnf.con.body.xml.gz2004-11-09 13:19 1.0K 
[ ]RSR_f'_nlnf.con.types.xml.gz2004-11-09 13:19 1.7K 
[ ]RSR_f'_nlnf.con.xml.gz2004-11-09 13:19 575  
[ ]RSR_g'_mon.con.body.xml.gz2004-11-09 13:19 1.1K 
[ ]RSR_g'_mon.con.types.xml.gz2004-11-09 13:19 2.3K 
[ ]RSR_g'_mon.con.xml.gz2004-11-09 13:19 967  
[ ]RSR_g'_nlnf.con.body.xml.gz2004-11-09 13:19 1.0K 
[ ]RSR_g'_nlnf.con.types.xml.gz2004-11-09 13:19 1.7K 
[ ]RSR_g'_nlnf.con.xml.gz2004-11-09 13:19 575  
[ ]RSR_h_PropAll.con.body.xml.gz2004-11-09 13:19 540  
[ ]RSR_h_PropAll.con.types.xml.gz2004-11-09 13:19 2.0K 
[ ]RSR_h_PropAll.con.xml.gz2004-11-09 13:19 1.3K 
[ ]RSR_h_PropEx.con.body.xml.gz2004-11-09 13:19 1.6K 
[ ]RSR_h_PropEx.con.types.xml.gz2004-11-09 13:19 206  
[ ]RSR_h_PropEx.con.xml.gz2004-11-09 13:19 1.9K 
[ ]RSR_h_f'.con.body.xml.gz2004-11-09 13:19 544  
[ ]RSR_h_f'.con.types.xml.gz2004-11-09 13:19 200  
[ ]RSR_h_f'.con.xml.gz2004-11-09 13:19 1.2K 
[ ]RSR_h_g'.con.body.xml.gz2004-11-09 13:19 543  
[ ]RSR_h_g'.con.types.xml.gz2004-11-09 13:19 200  
[ ]RSR_h_g'.con.xml.gz2004-11-09 13:19 1.2K 
[ ]RSR_h_inj.con.body.xml.gz2004-11-09 13:19 1.1K 
[ ]RSR_h_inj.con.types.xml.gz2004-11-09 13:19 1.0K 
[ ]RSR_h_inj.con.xml.gz2004-11-09 13:19 966  
[ ]RSR_h_mon'.con.body.xml.gz2004-11-09 13:19 952  
[ ]RSR_h_mon'.con.types.xml.gz2004-11-09 13:19 884  
[ ]RSR_h_mon'.con.xml.gz2004-11-09 13:19 797  
[ ]RSR_h_mon.con.body.xml.gz2004-11-09 13:19 567  
[ ]RSR_h_mon.con.types.xml.gz2004-11-09 13:19 1.6K 
[ ]RSR_h_mon.con.xml.gz2004-11-09 13:19 1.0K 
[ ]RSR_h_nlnf.con.body.xml.gz2004-11-09 13:19 552  
[ ]RSR_h_nlnf.con.types.xml.gz2004-11-09 13:19 920  
[ ]RSR_h_nlnf.con.xml.gz2004-11-09 13:19 615  
[ ]RSR_mn0.con.body.xml.gz2004-11-09 13:19 771  
[ ]RSR_mn0.con.types.xml.gz2004-11-09 13:19 724  
[ ]RSR_mn0.con.xml.gz2004-11-09 13:19 443  
[ ]RSR_nm0.con.body.xml.gz2004-11-09 13:19 771  
[ ]RSR_nm0.con.types.xml.gz2004-11-09 13:19 724  
[ ]RSR_nm0.con.xml.gz2004-11-09 13:19 443  
[DIR]Refining_Separated/2005-07-05 08:13 -  
[ ]Separated_Refinement.con.body.xml.gz2004-11-09 13:19 524  
[ ]Separated_Refinement.con.types.xml.gz2004-11-09 13:19 217  
[ ]Separated_Refinement.con.xml.gz2004-11-09 13:19 451  
[ ]Separated_Refinement_fun.con.body.xml.gz2004-11-09 13:19 1.9K 
[ ]Separated_Refinement_fun.con.types.xml.gz2004-11-09 13:19 448  
[ ]Separated_Refinement_fun.con.xml.gz2004-11-09 13:19 736  
[ ]Separated_Refinement_lemma1.con.body.xml.gz2004-11-09 13:19 26K 
[ ]Separated_Refinement_lemma1.con.types.xml.gz2004-11-09 13:19 62K 
[ ]Separated_Refinement_lemma1.con.xml.gz2004-11-09 13:19 949  
[ ]Separated_Refinement_lemma2.con.body.xml.gz2004-11-09 13:19 29K 
[ ]Separated_Refinement_lemma2.con.types.xml.gz2004-11-09 13:19 59K 
[ ]Separated_Refinement_lemma2.con.xml.gz2004-11-09 13:19 799  
[ ]Separated_Refinement_lemma3.con.body.xml.gz2004-11-09 13:19 63K 
[ ]Separated_Refinement_lemma3.con.types.xml.gz2004-11-09 13:19 57K 
[ ]Separated_Refinement_lemma3.con.xml.gz2004-11-09 13:19 804  
[ ]Separated_Refinement_lemma4.con.body.xml.gz2004-11-09 13:19 10K 
[ ]Separated_Refinement_lemma4.con.types.xml.gz2004-11-09 13:19 24K 
[ ]Separated_Refinement_lemma4.con.xml.gz2004-11-09 13:19 850  
[ ]Separated_Refinement_lft.con.body.xml.gz2004-11-09 13:20 2.3K 
[ ]Separated_Refinement_lft.con.types.xml.gz2004-11-09 13:20 2.5K 
[ ]Separated_Refinement_lft.con.xml.gz2004-11-09 13:20 535  
[ ]Separated_Refinement_rht.con.body.xml.gz2004-11-09 13:20 2.3K 
[ ]Separated_Refinement_rht.con.types.xml.gz2004-11-09 13:20 2.5K 
[ ]Separated_Refinement_rht.con.xml.gz2004-11-09 13:20 536  
Apache/2.4.57 (Debian) Server at mowgli.cs.unibo.it Port 80