Index of /xml/Rocq/TreeAutomata/union_correct

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]INDEX2005-07-05 08:12 2.7K 
[ ]MapMerge_ref_ok_invar.con.body.xml.gz2004-04-08 13:08 18K 
[ ]MapMerge_ref_ok_invar.con.types.xml.gz2004-04-08 13:08 22K 
[ ]MapMerge_ref_ok_invar.con.xml.gz2004-04-08 13:08 549  
[ ]insert_ostate_correct_wrt_sign_invar.con.body.xml.gz2004-04-08 13:07 5.6K 
[ ]insert_ostate_correct_wrt_sign_invar.con.types.xml.gz2004-04-08 13:07 5.2K 
[ ]insert_ostate_correct_wrt_sign_invar.con.xml.gz2004-04-08 13:07 712  
[ ]u_merge_ref_ok_invar.con.body.xml.gz2004-04-08 13:08 620  
[ ]u_merge_ref_ok_invar.con.types.xml.gz2004-04-08 13:08 781  
[ ]u_merge_ref_ok_invar.con.xml.gz2004-04-08 13:08 485  
[ ]udta_conv_0_correct_wrt_sign_invar.con.body.xml.gz2004-04-08 13:07 5.6K 
[ ]udta_conv_0_correct_wrt_sign_invar.con.types.xml.gz2004-04-08 13:07 6.2K 
[ ]udta_conv_0_correct_wrt_sign_invar.con.xml.gz2004-04-08 13:07 500  
[ ]udta_conv_0_correct_wrt_sign_invar_0.con.body.xml.gz2004-04-08 13:07 18K 
[ ]udta_conv_0_correct_wrt_sign_invar_0.con.types.xml.gz2004-04-08 13:07 26K 
[ ]udta_conv_0_correct_wrt_sign_invar_0.con.xml.gz2004-04-08 13:07 512  
[ ]udta_conv_0_ref_ok_invar.con.body.xml.gz2004-04-08 13:07 13K 
[ ]udta_conv_0_ref_ok_invar.con.types.xml.gz2004-04-08 13:07 11K 
[ ]udta_conv_0_ref_ok_invar.con.xml.gz2004-04-08 13:07 445  
[ ]udta_conv_0_ref_ok_invar_0.con.body.xml.gz2004-04-08 13:07 12K 
[ ]udta_conv_0_ref_ok_invar_0.con.types.xml.gz2004-04-08 13:07 17K 
[ ]udta_conv_0_ref_ok_invar_0.con.xml.gz2004-04-08 13:07 1.6K 
[ ]udta_conv_1_correct_wrt_sign_invar.con.body.xml.gz2004-04-08 13:07 6.0K 
[ ]udta_conv_1_correct_wrt_sign_invar.con.types.xml.gz2004-04-08 13:07 6.2K 
[ ]udta_conv_1_correct_wrt_sign_invar.con.xml.gz2004-04-08 13:07 503  
[ ]udta_conv_1_correct_wrt_sign_invar_0.con.body.xml.gz2004-04-08 13:07 18K 
[ ]udta_conv_1_correct_wrt_sign_invar_0.con.types.xml.gz2004-04-08 13:07 26K 
[ ]udta_conv_1_correct_wrt_sign_invar_0.con.xml.gz2004-04-08 13:07 512  
[ ]udta_conv_1_ref_ok_invar.con.body.xml.gz2004-04-08 13:08 13K 
[ ]udta_conv_1_ref_ok_invar.con.types.xml.gz2004-04-08 13:08 11K 
[ ]udta_conv_1_ref_ok_invar.con.xml.gz2004-04-08 13:08 445  
[ ]udta_conv_1_ref_ok_invar_0.con.body.xml.gz2004-04-08 13:07 12K 
[ ]udta_conv_1_ref_ok_invar_0.con.types.xml.gz2004-04-08 13:07 17K 
[ ]udta_conv_1_ref_ok_invar_0.con.xml.gz2004-04-08 13:07 1.6K 
[ ]umerge_correct_wrt_sign_invar.con.body.xml.gz2004-04-08 13:07 4.7K 
[ ]umerge_correct_wrt_sign_invar.con.types.xml.gz2004-04-08 13:07 5.0K 
[ ]umerge_correct_wrt_sign_invar.con.xml.gz2004-04-08 13:07 551  
[ ]umpl_conv_0_correct_wrt_sign_invar.con.body.xml.gz2004-04-08 13:07 2.2K 
[ ]umpl_conv_0_correct_wrt_sign_invar.con.types.xml.gz2004-04-08 13:07 3.3K 
[ ]umpl_conv_0_correct_wrt_sign_invar.con.xml.gz2004-04-08 13:07 497  
[ ]umpl_conv_0_correct_wrt_sign_invar_0.con.body.xml.gz2004-04-08 13:07 33K 
[ ]umpl_conv_0_correct_wrt_sign_invar_0.con.types.xml.gz2004-04-08 13:07 53K 
[ ]umpl_conv_0_correct_wrt_sign_invar_0.con.xml.gz2004-04-08 13:07 567  
[ ]umpl_conv_1_correct_wrt_sign_invar.con.body.xml.gz2004-04-08 13:07 2.2K 
[ ]umpl_conv_1_correct_wrt_sign_invar.con.types.xml.gz2004-04-08 13:07 3.3K 
[ ]umpl_conv_1_correct_wrt_sign_invar.con.xml.gz2004-04-08 13:07 497  
[ ]umpl_conv_1_correct_wrt_sign_invar_0.con.body.xml.gz2004-04-08 13:07 33K 
[ ]umpl_conv_1_correct_wrt_sign_invar_0.con.types.xml.gz2004-04-08 13:07 53K 
[ ]umpl_conv_1_correct_wrt_sign_invar_0.con.xml.gz2004-04-08 13:07 568  
[ ]union_0_correct_wrt_sign_invar.con.body.xml.gz2004-04-08 13:07 22K 
[ ]union_0_correct_wrt_sign_invar.con.types.xml.gz2004-04-08 13:07 18K 
[ ]union_0_correct_wrt_sign_invar.con.xml.gz2004-04-08 13:07 763  
[ ]union_DTA_main_state_correct_invar.con.body.xml.gz2004-04-08 13:08 9.3K 
[ ]union_DTA_main_state_correct_invar.con.types.xml.gz2004-04-08 13:08 11K 
[ ]union_DTA_main_state_correct_invar.con.xml.gz2004-04-08 13:08 509  
[ ]union_correct_wrt_sign_invar.con.body.xml.gz2004-04-08 13:07 4.9K 
[ ]union_correct_wrt_sign_invar.con.types.xml.gz2004-04-08 13:07 5.9K 
[ ]union_correct_wrt_sign_invar.con.xml.gz2004-04-08 13:07 564  
[ ]union_mpl_0_ref_ok_invar.con.body.xml.gz2004-04-08 13:08 59K 
[ ]union_mpl_0_ref_ok_invar.con.types.xml.gz2004-04-08 13:08 74K 
[ ]union_mpl_0_ref_ok_invar.con.xml.gz2004-04-08 13:08 692  
[ ]union_mpl_correct_ref_ok_invar.con.body.xml.gz2004-04-08 13:08 11K 
[ ]union_mpl_correct_ref_ok_invar.con.types.xml.gz2004-04-08 13:08 17K 
[ ]union_mpl_correct_ref_ok_invar.con.xml.gz2004-04-08 13:08 540  
[ ]union_mpl_correct_wrt_sign_invar.con.body.xml.gz2004-04-08 13:07 1.0K 
[ ]union_mpl_correct_wrt_sign_invar.con.types.xml.gz2004-04-08 13:07 1.0K 
[ ]union_mpl_correct_wrt_sign_invar.con.xml.gz2004-04-08 13:07 550  
[ ]union_mpl_correct_wrt_sign_invar_0.con.body.xml.gz2004-04-08 13:07 134K 
[ ]union_mpl_correct_wrt_sign_invar_0.con.types.xml.gz2004-04-08 13:07 198K 
[ ]union_mpl_correct_wrt_sign_invar_0.con.xml.gz2004-04-08 13:07 771  
[ ]union_mpl_correct_wrt_sign_invar_1.con.body.xml.gz2004-04-08 13:07 92K 
[ ]union_mpl_correct_wrt_sign_invar_1.con.types.xml.gz2004-04-08 13:07 143K 
[ ]union_mpl_correct_wrt_sign_invar_1.con.xml.gz2004-04-08 13:07 627  
[ ]union_pl_correct_wrt_sign_invar.con.body.xml.gz2004-04-08 13:07 19K 
[ ]union_pl_correct_wrt_sign_invar.con.types.xml.gz2004-04-08 13:07 25K 
[ ]union_pl_correct_wrt_sign_invar.con.xml.gz2004-04-08 13:07 578  
[ ]union_pl_ref_ok_invar.con.body.xml.gz2004-04-08 13:08 18K 
[ ]union_pl_ref_ok_invar.con.types.xml.gz2004-04-08 13:08 24K 
[ ]union_pl_ref_ok_invar.con.xml.gz2004-04-08 13:08 546  
[ ]union_ref_ok.con.body.xml.gz2004-04-08 13:08 84K 
[ ]union_ref_ok.con.types.xml.gz2004-04-08 13:08 122K 
[ ]union_ref_ok.con.xml.gz2004-04-08 13:08 478  
[ ]upl_conv_0_correct_wrt_sign_invar.con.body.xml.gz2004-04-08 13:07 14K 
[ ]upl_conv_0_correct_wrt_sign_invar.con.types.xml.gz2004-04-08 13:07 19K 
[ ]upl_conv_0_correct_wrt_sign_invar.con.xml.gz2004-04-08 13:07 525  
[ ]upl_conv_0_ref_ok_invar.con.body.xml.gz2004-04-08 13:07 23K 
[ ]upl_conv_0_ref_ok_invar.con.types.xml.gz2004-04-08 13:07 32K 
[ ]upl_conv_0_ref_ok_invar.con.xml.gz2004-04-08 13:07 668  
[ ]upl_conv_1_correct_wrt_sign_invar.con.body.xml.gz2004-04-08 13:07 14K 
[ ]upl_conv_1_correct_wrt_sign_invar.con.types.xml.gz2004-04-08 13:07 19K 
[ ]upl_conv_1_correct_wrt_sign_invar.con.xml.gz2004-04-08 13:07 525  
[ ]upl_conv_1_ref_ok_invar.con.body.xml.gz2004-04-08 13:07 23K 
[ ]upl_conv_1_ref_ok_invar.con.types.xml.gz2004-04-08 13:07 32K 
[ ]upl_conv_1_ref_ok_invar.con.xml.gz2004-04-08 13:07 668  
Apache/2.4.57 (Debian) Server at mowgli.cs.unibo.it Port 80