Index of /xml/Nancy/FOUnify/is_in_quasiterm_term_subst

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]INDEX2005-07-05 08:11 1.1K 
[   ]IS_IN.con.body.xml.gz2004-04-08 09:05 916  
[   ]IS_IN.con.types.xml.gz2004-04-08 09:05 210  
[   ]IS_IN.con.xml.gz2004-04-08 09:05 335  
[   ]IS_IN_Subst_IS_IN.con.body.xml.gz2004-04-08 09:05 2.5K 
[   ]IS_IN_Subst_IS_IN.con.types.xml.gz2004-04-08 09:05 3.9K 
[   ]IS_IN_Subst_IS_IN.con.xml.gz2004-04-08 09:05 593  
[   ]IS_IN_decP.con.body.xml.gz2004-04-08 09:05 1.0K 
[   ]IS_IN_decP.con.types.xml.gz2004-04-08 09:05 1.0K 
[   ]IS_IN_decP.con.xml.gz2004-04-08 09:05 502  
[   ]IS_IN_decS.con.body.xml.gz2004-04-08 09:05 7.0K 
[   ]IS_IN_decS.con.types.xml.gz2004-04-08 09:05 3.1K 
[   ]IS_IN_decS.con.xml.gz2004-04-08 09:05 507  
[   ]IS_IN_is_in.con.body.xml.gz2004-04-08 09:05 1.8K 
[   ]IS_IN_is_in.con.types.xml.gz2004-04-08 09:05 2.2K 
[   ]IS_IN_is_in.con.xml.gz2004-04-08 09:05 464  
[   ]L_TERM_term_subst.con.body.xml.gz2004-04-08 09:05 3.8K 
[   ]L_TERM_term_subst.con.types.xml.gz2004-04-08 09:05 4.3K 
[   ]L_TERM_term_subst.con.xml.gz2004-04-08 09:05 607  
[   ]SIMPLE_term_subst.con.body.xml.gz2004-04-08 09:05 1.6K 
[   ]SIMPLE_term_subst.con.types.xml.gz2004-04-08 09:05 2.7K 
[   ]SIMPLE_term_subst.con.xml.gz2004-04-08 09:05 550  
[   ]Subst.con.body.xml.gz2004-04-08 09:05 926  
[   ]Subst.con.types.xml.gz2004-04-08 09:05 208  
[   ]Subst.con.xml.gz2004-04-08 09:05 332  
[   ]eq_restriction_s_t.con.body.xml.gz2004-04-08 09:05 4.1K 
[   ]eq_restriction_s_t.con.types.xml.gz2004-04-08 09:05 6.9K 
[   ]eq_restriction_s_t.con.xml.gz2004-04-08 09:05 674  
[   ]eq_restriction_t_s.con.body.xml.gz2004-04-08 09:05 14K 
[   ]eq_restriction_t_s.con.types.xml.gz2004-04-08 09:05 22K 
[   ]eq_restriction_t_s.con.xml.gz2004-04-08 09:05 651  
[   ]is_in.ind.types.xml.gz2004-04-08 09:05 207  
[   ]is_in.ind.xml.gz2004-04-08 09:05 907  
[   ]is_in_IS_IN.con.body.xml.gz2004-04-08 09:05 1.1K 
[   ]is_in_IS_IN.con.types.xml.gz2004-04-08 09:05 1.4K 
[   ]is_in_IS_IN.con.xml.gz2004-04-08 09:05 468  
[   ]is_in_ind.con.body.xml.gz2004-04-08 09:05 1.8K 
[   ]is_in_ind.con.types.xml.gz2004-04-08 09:05 1.7K 
[   ]is_in_ind.con.xml.gz2004-04-08 09:05 1.0K 
[   ]n_IS_IN_Subst.con.body.xml.gz2004-04-08 09:05 2.2K 
[   ]n_IS_IN_Subst.con.types.xml.gz2004-04-08 09:05 3.0K 
[   ]n_IS_IN_Subst.con.xml.gz2004-04-08 09:05 619  
[   ]quasisubst.con.body.xml.gz2004-04-08 09:05 334  
[   ]quasisubst.con.types.xml.gz2004-04-08 09:05 213  
[   ]quasisubst.con.xml.gz2004-04-08 09:05 207  
[   ]term_subst.ind.types.xml.gz2004-04-08 09:05 212  
[   ]term_subst.ind.xml.gz2004-04-08 09:05 676  
[   ]term_subst_eq_Length.con.body.xml.gz2004-04-08 09:05 4.8K 
[   ]term_subst_eq_Length.con.types.xml.gz2004-04-08 09:05 8.2K 
[   ]term_subst_eq_Length.con.xml.gz2004-04-08 09:05 590  
[   ]term_subst_ind.con.body.xml.gz2004-04-08 09:05 478  
[   ]term_subst_ind.con.types.xml.gz2004-04-08 09:05 789  
[   ]term_subst_ind.con.xml.gz2004-04-08 09:05 647  
[   ]term_subst_rec.con.body.xml.gz2004-04-08 09:05 472  
[   ]term_subst_rec.con.types.xml.gz2004-04-08 09:05 220  
[   ]term_subst_rec.con.xml.gz2004-04-08 09:05 654  
[   ]term_subst_rect.con.body.xml.gz2004-04-08 09:05 762  
[   ]term_subst_rect.con.types.xml.gz2004-04-08 09:05 221  
[   ]term_subst_rect.con.xml.gz2004-04-08 09:05 658  
[   ]term_term_subst.con.body.xml.gz2004-04-08 09:05 1.1K 
[   ]term_term_subst.con.types.xml.gz2004-04-08 09:05 1.1K 
[   ]term_term_subst.con.xml.gz2004-04-08 09:05 600  

Apache/2.4.57 (Debian) Server at mowgli.cs.unibo.it Port 80