Index of /xml/Rocq/TreeAutomata/states_kill_correct

	Name	Last modified	Size	Description
	Parent Directory		-
	inter_DTA_main_state_correct_invar_lazy.con.xml.gz	2004-04-08 13:09	494
	kill_empty_correct_wrt_sign_invar.con.xml.gz	2004-04-08 13:09	519
	inter_DTA_main_state_correct_invar.con.xml.gz	2004-04-08 13:09	521
	kill_empty_lazy_correct_wrt_sign_invar.con.xml.gz	2004-04-08 13:09	536
	DTA_kill_empty_states_lazy_correct_wrt_sign_invar.con.xml.gz	2004-04-08 13:09	542
	DTA_kill_ref_ok_invar_lazy.con.xml.gz	2004-04-08 13:09	554
	preDTA_kill_ref_ok_invar.con.xml.gz	2004-04-08 13:09	564
	DTA_kill_ref_ok_invar.con.xml.gz	2004-04-08 13:09	574
	DTA_kill_correct_wrt_sign_invar.con.xml.gz	2004-04-08 13:09	617
	preDTA_kill_correct_wrt_sign_invar.con.xml.gz	2004-04-08 13:09	621
	preDTA_kill_ref_ok_distinct_invar.con.xml.gz	2004-04-08 13:09	624
	states_kill_aux_correct_wrt_sign_invar.con.xml.gz	2004-04-08 13:09	624
	states_kill_aux_ref_ok_invar.con.xml.gz	2004-04-08 13:09	646
	inter_DTA_main_state_correct_invar_lazy.con.body.xml.gz	2004-04-08 13:09	686
	kill_empty_lazy_correct_wrt_sign_invar.con.body.xml.gz	2004-04-08 13:09	744
	DTA_kill_ref_ok_invar_lazy.con.body.xml.gz	2004-04-08 13:09	754
	states_kill_correct_wrt_sign_invar.con.xml.gz	2004-04-08 13:09	764
	prec_list_kill_correct_wrt_sign_invar.con.xml.gz	2004-04-08 13:09	770
	DTA_kill_empty_states_lazy_correct_wrt_sign_invar.con.body.xml.gz	2004-04-08 13:09	793
	inter_DTA_main_state_correct_invar_lazy.con.types.xml.gz	2004-04-08 13:09	798
	kill_empty_lazy_correct_wrt_sign_invar.con.types.xml.gz	2004-04-08 13:09	811
	prec_list_kill_occur.con.xml.gz	2004-04-08 13:09	811
	states_kill_ref_ok_invar.con.xml.gz	2004-04-08 13:09	842
	prec_list_kill_ref_ok_invar.con.xml.gz	2004-04-08 13:09	849
	DTA_kill_empty_states_lazy_correct_wrt_sign_invar.con.types.xml.gz	2004-04-08 13:09	949
	DTA_kill_ref_ok_invar_lazy.con.types.xml.gz	2004-04-08 13:09	1.0K
	prec_list_kill_correct_wrt_sign_invar.con.types.xml.gz	2004-04-08 13:09	1.3K
	prec_list_kill_correct_wrt_sign_invar.con.body.xml.gz	2004-04-08 13:09	1.3K
	INDEX	2005-07-05 08:12	1.6K
	preDTA_kill_correct_wrt_sign_invar.con.types.xml.gz	2004-04-08 13:09	2.3K
	preDTA_kill_correct_wrt_sign_invar.con.body.xml.gz	2004-04-08 13:09	2.3K
	preDTA_kill_ref_ok_distinct_invar.con.body.xml.gz	2004-04-08 13:09	2.5K
	states_kill_aux_ref_ok_invar.con.body.xml.gz	2004-04-08 13:09	2.5K
	preDTA_kill_ref_ok_distinct_invar.con.types.xml.gz	2004-04-08 13:09	2.7K
	states_kill_aux_ref_ok_invar.con.types.xml.gz	2004-04-08 13:09	2.8K
	preDTA_kill_ref_ok_invar.con.body.xml.gz	2004-04-08 13:09	3.6K
	preDTA_kill_ref_ok_invar.con.types.xml.gz	2004-04-08 13:09	4.5K
	prec_list_kill_ref_ok_invar.con.body.xml.gz	2004-04-08 13:09	4.6K
	states_kill_aux_correct_wrt_sign_invar.con.body.xml.gz	2004-04-08 13:09	4.7K
	states_kill_aux_correct_wrt_sign_invar.con.types.xml.gz	2004-04-08 13:09	4.8K
	inter_DTA_main_state_correct_invar.con.body.xml.gz	2004-04-08 13:09	5.2K
	inter_DTA_main_state_correct_invar.con.types.xml.gz	2004-04-08 13:09	5.2K
	prec_list_kill_ref_ok_invar.con.types.xml.gz	2004-04-08 13:09	5.4K
	states_kill_correct_wrt_sign_invar.con.types.xml.gz	2004-04-08 13:09	10K
	DTA_kill_correct_wrt_sign_invar.con.body.xml.gz	2004-04-08 13:09	13K
	DTA_kill_correct_wrt_sign_invar.con.types.xml.gz	2004-04-08 13:09	13K
	kill_empty_correct_wrt_sign_invar.con.body.xml.gz	2004-04-08 13:09	13K
	kill_empty_correct_wrt_sign_invar.con.types.xml.gz	2004-04-08 13:09	13K
	states_kill_ref_ok_invar.con.types.xml.gz	2004-04-08 13:09	13K
	states_kill_correct_wrt_sign_invar.con.body.xml.gz	2004-04-08 13:09	14K
	states_kill_ref_ok_invar.con.body.xml.gz	2004-04-08 13:09	14K
	DTA_kill_ref_ok_invar.con.body.xml.gz	2004-04-08 13:09	15K
	DTA_kill_ref_ok_invar.con.types.xml.gz	2004-04-08 13:09	20K
	prec_list_kill_occur.con.body.xml.gz	2004-04-08 13:09	127K
	prec_list_kill_occur.con.types.xml.gz	2004-04-08 13:09	140K