Index of /xml/Nancy/FOUnify/is_in_quasiterm_term_subst

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