Index of /xml/Rocq/TreeAutomata/inter_correct

	Name	Last modified	Size	Description
	Parent Directory		-
	st_produit_l_correct_wrt_sign_invar_with_offset.con.types.xml.gz	2004-04-08 13:08	215K
	st_produit_r_correct_wrt_sign_invar_with_offset.con.types.xml.gz	2004-04-08 13:08	188K
	preDTA_produit_r_ref_ok.con.types.xml.gz	2004-04-08 13:08	155K
	preDTA_produit_r_ref_ok.con.body.xml.gz	2004-04-08 13:08	152K
	st_produit_l_correct_wrt_sign_invar_with_offset.con.body.xml.gz	2004-04-08 13:08	151K
	st_produit_r_correct_wrt_sign_invar_with_offset.con.body.xml.gz	2004-04-08 13:08	129K
	preDTA_produit_r_correct_wrt_sign_invar.con.body.xml.gz	2004-04-08 13:08	113K
	preDTA_produit_r_correct_wrt_sign_invar.con.types.xml.gz	2004-04-08 13:08	112K
	preDTA_produit_l_ref_ok.con.types.xml.gz	2004-04-08 13:08	99K
	pl_produit_ref_ok_lem_3.con.types.xml.gz	2004-04-08 13:08	91K
	preDTA_produit_l_correct_wrt_sign_invar.con.types.xml.gz	2004-04-08 13:08	86K
	preDTA_produit_l_ref_ok.con.body.xml.gz	2004-04-08 13:08	82K
	s_produit_r_ref_ok.con.types.xml.gz	2004-04-08 13:08	80K
	preDTA_produit_l_correct_wrt_sign_invar.con.body.xml.gz	2004-04-08 13:08	79K
	s_produit_l_ref_ok.con.types.xml.gz	2004-04-08 13:08	77K
	s_produit_r_ref_ok.con.body.xml.gz	2004-04-08 13:08	67K
	s_produit_l_ref_ok.con.body.xml.gz	2004-04-08 13:08	65K
	pl_produit_ref_ok_lem_3.con.body.xml.gz	2004-04-08 13:08	54K
	pl_produit_ref_ok_lem_4.con.types.xml.gz	2004-04-08 13:08	47K
	pl_produit_ref_ok_lem_0.con.types.xml.gz	2004-04-08 13:08	45K
	st_produit_correct_wrt_sign_invar_with_offset.con.types.xml.gz	2004-04-08 13:08	44K
	preDTA_produit_ref_okd.con.types.xml.gz	2004-04-08 13:08	37K
	pl_produit_ref_ok_lem_2.con.types.xml.gz	2004-04-08 13:08	35K
	pl_produit_ref_ok_lem_1.con.types.xml.gz	2004-04-08 13:08	34K
	pl_produit_ref_ok_lem_4.con.body.xml.gz	2004-04-08 13:08	32K
	preDTA_produit_correct_wrt_sign_invar.con.types.xml.gz	2004-04-08 13:08	30K
	preDTA_produit_ref_okd.con.body.xml.gz	2004-04-08 13:08	29K
	preDTA_produit_correct_wrt_sign_invar.con.body.xml.gz	2004-04-08 13:08	28K
	st_produit_correct_wrt_sign_invar_with_offset.con.body.xml.gz	2004-04-08 13:08	22K
	pl_produit_ref_ok_lem_0.con.body.xml.gz	2004-04-08 13:08	21K
	pl_produit_ref_ok_lem_2.con.body.xml.gz	2004-04-08 13:08	19K
	pl_produit_ref_ok_lem_1.con.body.xml.gz	2004-04-08 13:08	17K
	s_produit_ref_ok.con.types.xml.gz	2004-04-08 13:08	15K
	s_produit_ref_ok.con.body.xml.gz	2004-04-08 13:08	12K
	pl_produit_ref_ok.con.types.xml.gz	2004-04-08 13:08	5.9K
	pl_produit_ref_ok.con.body.xml.gz	2004-04-08 13:08	5.7K
	preDTA_produit_ref_ok.con.types.xml.gz	2004-04-08 13:08	5.4K
	preDTA_produit_ref_ok.con.body.xml.gz	2004-04-08 13:08	4.5K
	inter_DTA_main_state_correct_invar.con.types.xml.gz	2004-04-08 13:09	3.6K
	positive_sum.con.types.xml.gz	2004-04-08 13:08	3.3K
	inter_DTA_main_state_correct_invar.con.body.xml.gz	2004-04-08 13:09	3.0K
	positive_sum.con.body.xml.gz	2004-04-08 13:08	2.5K
	pl_produit_ref_ok_lem_6.con.types.xml.gz	2004-04-08 13:08	2.4K
	INDEX	2005-07-05 08:12	2.4K
	st_M0_ref_ok.con.body.xml.gz	2004-04-08 13:08	2.0K
	inter_correct_wrt_sign_invar.con.types.xml.gz	2004-04-08 13:08	2.0K
	st_M0_ref_ok.con.types.xml.gz	2004-04-08 13:08	1.8K
	DTA_inter_ref_ok_invar.con.types.xml.gz	2004-04-08 13:09	1.4K
	pl_produit_ref_ok_lem_6.con.body.xml.gz	2004-04-08 13:08	1.3K
	inter_correct_wrt_sign_invar.con.body.xml.gz	2004-04-08 13:08	1.3K
	DTA_inter_ref_ok_invar.con.body.xml.gz	2004-04-08 13:09	1.2K
	pl_produit_ref_ok_0.con.body.xml.gz	2004-04-08 13:08	1.1K
	st_produit_correct_wrt_sign_invar.con.types.xml.gz	2004-04-08 13:08	1.0K
	st_produit_correct_wrt_sign_invar.con.body.xml.gz	2004-04-08 13:08	1.0K
	pl_produit_ref_ok_1.con.body.xml.gz	2004-04-08 13:08	873
	pl_produit_ref_ok_lem_6.con.xml.gz	2004-04-08 13:08	805
	st_produit_r_correct_wrt_sign_invar_with_offset.con.xml.gz	2004-04-08 13:08	788
	st_produit_l_correct_wrt_sign_invar_with_offset.con.xml.gz	2004-04-08 13:08	784
	s_produit_l_ref_ok.con.xml.gz	2004-04-08 13:08	732
	s_produit_r_ref_ok.con.xml.gz	2004-04-08 13:08	731
	preDTA_produit_l_ref_ok.con.xml.gz	2004-04-08 13:08	730
	preDTA_produit_r_ref_ok.con.xml.gz	2004-04-08 13:08	729
	preDTA_produit_l_correct_wrt_sign_invar.con.xml.gz	2004-04-08 13:08	717
	preDTA_produit_r_correct_wrt_sign_invar.con.xml.gz	2004-04-08 13:08	713
	positive_sum.con.xml.gz	2004-04-08 13:08	647
	st_produit_correct_wrt_sign_invar_with_offset.con.xml.gz	2004-04-08 13:08	633
	pl_produit_ref_ok_lem_3.con.xml.gz	2004-04-08 13:08	600
	pl_produit_ref_ok_lem_4.con.xml.gz	2004-04-08 13:08	599
	pl_produit_ref_ok.con.xml.gz	2004-04-08 13:08	584
	pl_produit_correct_wrt_sign_invar.con.xml.gz	2004-04-08 13:08	576
	preDTA_produit_ref_okd.con.xml.gz	2004-04-08 13:08	569
	s_produit_ref_ok.con.xml.gz	2004-04-08 13:08	562
	preDTA_produit_correct_wrt_sign_invar.con.xml.gz	2004-04-08 13:08	562
	inter_correct_wrt_sign_invar.con.xml.gz	2004-04-08 13:08	557
	st_produit_correct_wrt_sign_invar.con.xml.gz	2004-04-08 13:08	553
	pl_produit_ref_ok_lem_5.con.types.xml.gz	2004-04-08 13:08	514
	inter_DTA_main_state_correct_invar.con.xml.gz	2004-04-08 13:09	510
	DTA_inter_ref_ok_invar.con.xml.gz	2004-04-08 13:09	496
	pl_produit_ref_ok_lem_5.con.xml.gz	2004-04-08 13:08	490
	preDTA_produit_ref_ok.con.xml.gz	2004-04-08 13:08	483
	st_M0_ref_ok.con.xml.gz	2004-04-08 13:08	479
	pl_produit_ref_ok_lem_2.con.xml.gz	2004-04-08 13:08	433
	pl_produit_ref_ok_lem_1.con.xml.gz	2004-04-08 13:08	433
	pl_produit_ref_ok_lem_0.con.xml.gz	2004-04-08 13:08	431
	pl_produit_ref_ok_lem_5.con.body.xml.gz	2004-04-08 13:08	374
	pl_produit_ref_ok_1.con.xml.gz	2004-04-08 13:08	337
	pl_produit_ref_ok_0.con.xml.gz	2004-04-08 13:08	337
	pl_produit_correct_wrt_sign_invar.con.body.xml.gz	2004-04-08 13:08	301
	pl_produit_correct_wrt_sign_invar.con.types.xml.gz	2004-04-08 13:08	249
	pl_produit_ref_ok_1.con.types.xml.gz	2004-04-08 13:08	227
	pl_produit_ref_ok_0.con.types.xml.gz	2004-04-08 13:08	227