Index of /xml/Lyon/AUTOMATA/Rat

	Name	Last modified	Size	Description
	Parent Directory		-
	isrationnal_ind.con.body.xml.gz	2004-04-08 18:39	2.0K
	isrationnal_ind.con.types.xml.gz	2004-04-08 18:39	1.9K
	lw_imp_lstarlw.con.body.xml.gz	2004-04-08 18:39	1.6K
	lw_imp_lstarlw.con.types.xml.gz	2004-04-08 18:39	1.6K
	isrationnal_ind.con.xml.gz	2004-04-08 18:39	1.0K
	induction_star.con.types.xml.gz	2004-04-08 18:39	1.0K
	induction_star.con.body.xml.gz	2004-04-08 18:39	945
	isrationnal.ind.xml.gz	2004-04-08 18:39	885
	lpuiss.con.body.xml.gz	2004-04-08 18:39	761
	lconc.con.body.xml.gz	2004-04-08 18:39	684
	induction_star.con.xml.gz	2004-04-08 18:39	634
	lstar.con.body.xml.gz	2004-04-08 18:39	501
	linter.con.body.xml.gz	2004-04-08 18:39	469
	lunion.con.body.xml.gz	2004-04-08 18:39	468
	INDEX	2005-07-05 08:11	459
	lw_imp_lstarlw.con.xml.gz	2004-04-08 18:39	449
	lword.con.body.xml.gz	2004-04-08 18:39	401
	lpuiss.con.xml.gz	2004-04-08 18:39	327
	lword.con.xml.gz	2004-04-08 18:39	308
	lunion.con.xml.gz	2004-04-08 18:39	294
	linter.con.xml.gz	2004-04-08 18:39	294
	lconc.con.xml.gz	2004-04-08 18:39	292
	lstar.con.xml.gz	2004-04-08 18:39	283
	isrationnal.ind.types.xml.gz	2004-04-08 18:39	204
	lunion.con.types.xml.gz	2004-04-08 18:39	195
	lpuiss.con.types.xml.gz	2004-04-08 18:39	195
	linter.con.types.xml.gz	2004-04-08 18:39	195
	lword.con.types.xml.gz	2004-04-08 18:39	194
	lstar.con.types.xml.gz	2004-04-08 18:39	194
	lconc.con.types.xml.gz	2004-04-08 18:39	194