Index of /xml/Rocq/TreeAutomata/non_coacc_kill_correct

	Name	Last modified	Size	Description
	Parent Directory		-
	INDEX	2005-07-05 08:12	830
	dta_kill_non_coacc_correct_main_state.con.body.xml.gz	2004-04-08 13:10	3.6K
	dta_kill_non_coacc_correct_main_state.con.types.xml.gz	2004-04-08 13:10	4.4K
	dta_kill_non_coacc_correct_main_state.con.xml.gz	2004-04-08 13:10	506
	dta_kill_non_coacc_correct_ref_ok.con.body.xml.gz	2004-04-08 13:10	589
	dta_kill_non_coacc_correct_ref_ok.con.types.xml.gz	2004-04-08 13:10	837
	dta_kill_non_coacc_correct_ref_ok.con.xml.gz	2004-04-08 13:10	470
	dta_kill_non_coacc_correct_wrt_sign.con.body.xml.gz	2004-04-08 13:10	687
	dta_kill_non_coacc_correct_wrt_sign.con.types.xml.gz	2004-04-08 13:10	1.0K
	dta_kill_non_coacc_correct_wrt_sign.con.xml.gz	2004-04-08 13:10	560
	dta_kill_non_coacc_lazy_correct_main_state.con.body.xml.gz	2004-04-08 13:10	741
	dta_kill_non_coacc_lazy_correct_main_state.con.types.xml.gz	2004-04-08 13:10	691
	dta_kill_non_coacc_lazy_correct_main_state.con.xml.gz	2004-04-08 13:10	519
	dta_kill_non_coacc_lazy_correct_ref_ok.con.body.xml.gz	2004-04-08 13:10	684
	dta_kill_non_coacc_lazy_correct_ref_ok.con.types.xml.gz	2004-04-08 13:10	646
	dta_kill_non_coacc_lazy_correct_ref_ok.con.xml.gz	2004-04-08 13:10	481
	dta_kill_non_coacc_lazy_correct_wrt_sign.con.body.xml.gz	2004-04-08 13:10	799
	dta_kill_non_coacc_lazy_correct_wrt_sign.con.types.xml.gz	2004-04-08 13:10	755
	dta_kill_non_coacc_lazy_correct_wrt_sign.con.xml.gz	2004-04-08 13:10	564
	predta_kill_non_coacc_correct_ref_ok.con.body.xml.gz	2004-04-08 13:10	6.6K
	predta_kill_non_coacc_correct_ref_ok.con.types.xml.gz	2004-04-08 13:10	8.2K
	predta_kill_non_coacc_correct_ref_ok.con.xml.gz	2004-04-08 13:10	521
	predta_kill_non_coacc_correct_wrt_sign.con.body.xml.gz	2004-04-08 13:10	2.9K
	predta_kill_non_coacc_correct_wrt_sign.con.types.xml.gz	2004-04-08 13:10	3.3K
	predta_kill_non_coacc_correct_wrt_sign.con.xml.gz	2004-04-08 13:10	603