Index of /xml/Rocq/TreeAutomata/refcorrect

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]DTA_ref_ok.con.types.xml.gz2004-04-08 13:03 209  
[ ]state_ref_ok.con.types.xml.gz2004-04-08 13:03 211  
[ ]preDTA_ref_ok.con.types.xml.gz2004-04-08 13:03 213  
[ ]addr_in_preDTA.con.types.xml.gz2004-04-08 13:03 216  
[ ]dta_ref_ok_check.con.types.xml.gz2004-04-08 13:03 218  
[ ]prec_list_ref_ok.con.types.xml.gz2004-04-08 13:03 219  
[ ]addr_in_dta_check.con.types.xml.gz2004-04-08 13:03 221  
[ ]state_ref_ok_check.con.types.xml.gz2004-04-08 13:03 221  
[ ]predta_ref_ok_check.con.types.xml.gz2004-04-08 13:03 223  
[ ]predta_ref_ok_check_0.con.types.xml.gz2004-04-08 13:03 226  
[ ]DTA_main_state_correct.con.types.xml.gz2004-04-08 13:03 227  
[ ]preDTA_ref_ok_distinct.con.types.xml.gz2004-04-08 13:03 228  
[ ]prec_list_ref_ok_check.con.types.xml.gz2004-04-08 13:03 230  
[ ]DTA_main_state_correct_check.con.types.xml.gz2004-04-08 13:03 236  
[ ]DTA_ref_ok.con.xml.gz2004-04-08 13:03 305  
[ ]preDTA_ref_ok.con.xml.gz2004-04-08 13:03 308  
[ ]dta_ref_ok_check.con.xml.gz2004-04-08 13:03 318  
[ ]DTA_main_state_correct.con.xml.gz2004-04-08 13:03 325  
[ ]state_ref_ok.con.xml.gz2004-04-08 13:03 327  
[ ]DTA_main_state_correct_check.con.xml.gz2004-04-08 13:03 337  
[ ]preDTA_ref_ok_distinct.con.xml.gz2004-04-08 13:03 339  
[ ]predta_ref_ok_check.con.xml.gz2004-04-08 13:03 339  
[ ]prec_list_ref_ok.con.xml.gz2004-04-08 13:03 345  
[ ]addr_in_preDTA.con.xml.gz2004-04-08 13:03 347  
[ ]state_ref_ok_check.con.xml.gz2004-04-08 13:03 354  
[ ]predta_ref_ok_check_0.con.xml.gz2004-04-08 13:03 355  
[ ]addr_in_dta_check.con.xml.gz2004-04-08 13:03 357  
[ ]prec_list_ref_ok_check.con.xml.gz2004-04-08 13:03 359  
[ ]predta_ref_ok_check.con.body.xml.gz2004-04-08 13:03 389  
[ ]dta_ref_ok_check_correct.con.xml.gz2004-04-08 13:03 510  
[ ]predta_ref_ok_check_correct.con.xml.gz2004-04-08 13:03 515  
[ ]dta_ref_ok_check_complete.con.xml.gz2004-04-08 13:03 517  
[ ]predta_ref_ok_check_complete.con.xml.gz2004-04-08 13:03 517  
[ ]DTA_main_state_correct_check_correct.con.xml.gz2004-04-08 13:03 526  
[ ]DTA_main_state_correct_check_complete.con.xml.gz2004-04-08 13:03 532  
[ ]state_ref_ok_check_correct.con.xml.gz2004-04-08 13:03 549  
[ ]state_ref_ok_check_complete.con.xml.gz2004-04-08 13:03 552  
[ ]prec_list_ref_ok_check_correct.con.xml.gz2004-04-08 13:03 555  
[ ]DTA_ref_ok.con.body.xml.gz2004-04-08 13:03 559  
[ ]predta_ref_ok_check_correct_0.con.xml.gz2004-04-08 13:03 562  
[ ]prec_list_ref_ok_check_complete.con.xml.gz2004-04-08 13:03 564  
[ ]predta_ref_ok_check_complete_0.con.xml.gz2004-04-08 13:03 571  
[ ]dta_ref_ok_check.con.body.xml.gz2004-04-08 13:03 577  
[ ]DTA_main_state_correct.con.body.xml.gz2004-04-08 13:03 590  
[ ]prec_list_ref_ok_destr.con.xml.gz2004-04-08 13:03 620  
[ ]state_ref_ok_M2_destr.con.xml.gz2004-04-08 13:03 648  
[ ]preDTA_ref_ok_distinct_dest.con.xml.gz2004-04-08 13:03 652  
[ ]addr_in_preDTA.con.body.xml.gz2004-04-08 13:03 665  
[ ]addr_in_dta_check.con.body.xml.gz2004-04-08 13:03 705  
[ ]dta_ref_ok_check_complete.con.body.xml.gz2004-04-08 13:03 709  
[ ]dta_ref_ok_check_correct.con.body.xml.gz2004-04-08 13:03 712  
[ ]state_ref_ok.con.body.xml.gz2004-04-08 13:03 717  
[ ]preDTA_ref_ok_distinct.con.body.xml.gz2004-04-08 13:03 729  
[ ]preDTA_ref_ok_def.con.xml.gz2004-04-08 13:03 750  
[ ]prec_list_ref_ok.con.body.xml.gz2004-04-08 13:03 774  
[ ]DTA_main_state_correct_check.con.body.xml.gz2004-04-08 13:03 845  
[ ]prec_list_ref_ok_check.con.body.xml.gz2004-04-08 13:03 895  
[ ]dta_ref_ok_check_correct.con.types.xml.gz2004-04-08 13:03 963  
[ ]dta_ref_ok_check_complete.con.types.xml.gz2004-04-08 13:03 968  
[ ]state_ref_ok_check.con.body.xml.gz2004-04-08 13:03 1.0K 
[ ]predta_ref_ok_check_0.con.body.xml.gz2004-04-08 13:03 1.0K 
[ ]preDTA_ref_ok.con.body.xml.gz2004-04-08 13:03 1.0K 
[ ]prec_list_ref_ok_destr.con.body.xml.gz2004-04-08 13:03 1.6K 
[ ]predta_ref_ok_check_complete.con.body.xml.gz2004-04-08 13:03 1.7K 
[ ]predta_ref_ok_check_correct.con.body.xml.gz2004-04-08 13:03 1.7K 
[ ]DTA_main_state_correct_check_correct.con.body.xml.gz2004-04-08 13:03 1.8K 
[ ]predta_ref_ok_check_correct.con.types.xml.gz2004-04-08 13:03 2.2K 
[ ]predta_ref_ok_check_complete.con.types.xml.gz2004-04-08 13:03 2.2K 
[ ]INDEX2005-07-05 08:12 2.2K 
[ ]DTA_main_state_correct_check_correct.con.types.xml.gz2004-04-08 13:03 2.2K 
[ ]prec_list_ref_ok_destr.con.types.xml.gz2004-04-08 13:03 2.6K 
[ ]DTA_main_state_correct_check_complete.con.types.xml.gz2004-04-08 13:03 3.0K 
[ ]state_ref_ok_M2_destr.con.body.xml.gz2004-04-08 13:03 3.0K 
[ ]preDTA_ref_ok_distinct_dest.con.body.xml.gz2004-04-08 13:03 3.1K 
[ ]prec_list_ref_ok_check_correct.con.body.xml.gz2004-04-08 13:03 3.3K 
[ ]prec_list_ref_ok_check_correct.con.types.xml.gz2004-04-08 13:03 4.0K 
[ ]DTA_main_state_correct_check_complete.con.body.xml.gz2004-04-08 13:03 4.3K 
[ ]preDTA_ref_ok_def.con.body.xml.gz2004-04-08 13:03 4.3K 
[ ]preDTA_ref_ok_distinct_dest.con.types.xml.gz2004-04-08 13:03 5.1K 
[ ]state_ref_ok_M2_destr.con.types.xml.gz2004-04-08 13:03 5.1K 
[ ]preDTA_ref_ok_def.con.types.xml.gz2004-04-08 13:03 5.3K 
[ ]state_ref_ok_check_correct.con.body.xml.gz2004-04-08 13:03 5.4K 
[ ]predta_ref_ok_check_correct_0.con.body.xml.gz2004-04-08 13:03 5.5K 
[ ]state_ref_ok_check_correct.con.types.xml.gz2004-04-08 13:03 7.9K 
[ ]predta_ref_ok_check_correct_0.con.types.xml.gz2004-04-08 13:03 8.0K 
[ ]state_ref_ok_check_complete.con.types.xml.gz2004-04-08 13:03 15K 
[ ]state_ref_ok_check_complete.con.body.xml.gz2004-04-08 13:03 15K 
[ ]predta_ref_ok_check_complete_0.con.body.xml.gz2004-04-08 13:03 16K 
[ ]predta_ref_ok_check_complete_0.con.types.xml.gz2004-04-08 13:03 20K 
[ ]prec_list_ref_ok_check_complete.con.body.xml.gz2004-04-08 13:03 32K 
[ ]prec_list_ref_ok_check_complete.con.types.xml.gz2004-04-08 13:03 41K 
Apache/2.4.62 (Debian) Server at mowgli.cs.unibo.it Port 80