Index of /xml/Sophia-Antipolis/RecursiveDefinition/data1

	Name	Last modified	Size	Description
	Parent Directory		-
	sqrt_equation.con.types.xml.gz	2004-04-08 09:52	160K
	sqrt_equation.con.body.xml.gz	2004-04-08 09:52	97K
	sqrt_terminate.con.body.xml.gz	2004-04-08 09:52	26K
	sqrt_terminate.con.types.xml.gz	2004-04-08 09:52	25K
	sqrt4_aux.con.body.xml.gz	2004-04-08 09:52	2.3K
	le_gt_dec.con.body.xml.gz	2004-04-08 09:52	2.1K
	sqrt.con.body.xml.gz	2004-04-08 09:52	1.5K
	sqrt_equation.con.xml.gz	2004-04-08 09:52	1.4K
	sqrt_F.con.body.xml.gz	2004-04-08 09:52	1.4K
	mod4.con.body.xml.gz	2004-04-08 09:52	1.1K
	div4.con.body.xml.gz	2004-04-08 09:52	1.0K
	sqrt_terminate.con.xml.gz	2004-04-08 09:52	969
	le_gt_dec.con.types.xml.gz	2004-04-08 09:52	868
	le_lt_div4.con.xml.gz	2004-04-08 09:52	536
	le_gt_dec.con.xml.gz	2004-04-08 09:52	441
	sqrt_F.con.xml.gz	2004-04-08 09:52	384
	INDEX	2005-07-05 08:12	383
	sqrt4_aux.con.xml.gz	2004-04-08 09:52	355
	sqrt.con.xml.gz	2004-04-08 09:52	324
	mod4.con.xml.gz	2004-04-08 09:52	276
	div4.con.xml.gz	2004-04-08 09:52	275
	sqrt4_aux.con.types.xml.gz	2004-04-08 09:52	219
	le_lt_div4.con.types.xml.gz	2004-04-08 09:52	219
	sqrt_F.con.types.xml.gz	2004-04-08 09:52	214
	div4.con.types.xml.gz	2004-04-08 09:52	209
	sqrt.con.types.xml.gz	2004-04-08 09:52	208
	mod4.con.types.xml.gz	2004-04-08 09:52	208