Index of /xml/Rocq/TreeAutomata/signature

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]st_compatible_compat_2.con.types.xml.gz2004-04-08 12:57 104K 
[ ]st_compatible_compat_2.con.body.xml.gz2004-04-08 12:56 86K 
[ ]pl_compat_check_correct.con.types.xml.gz2004-04-08 12:57 74K 
[ ]st_compat_check_0_complete.con.types.xml.gz2004-04-08 12:57 60K 
[ ]pl_compat_check_complete.con.body.xml.gz2004-04-08 12:57 43K 
[ ]st_compat_check_0_complete.con.body.xml.gz2004-04-08 12:57 42K 
[ ]pl_compat_check_complete.con.types.xml.gz2004-04-08 12:57 41K 
[ ]pl_compat_check_correct.con.body.xml.gz2004-04-08 12:57 40K 
[ ]pl_tl_length_pl_compat.con.body.xml.gz2004-04-08 12:56 32K 
[ ]pl_tl_length_pl_compat.con.types.xml.gz2004-04-08 12:56 31K 
[ ]pl_compatible_cons_r.con.types.xml.gz2004-04-08 12:56 31K 
[ ]pl_tl_length_rec_3.con.types.xml.gz2004-04-08 12:56 23K 
[ ]pl_compatible_cons_r.con.body.xml.gz2004-04-08 12:56 20K 
[ ]pl_tl_length_rec_3.con.body.xml.gz2004-04-08 12:56 19K 
[ ]st_compat_check_0_correct.con.types.xml.gz2004-04-08 12:57 16K 
[ ]predta_compat_check_complete.con.body.xml.gz2004-04-08 12:57 15K 
[ ]predta_compat_check_complete.con.types.xml.gz2004-04-08 12:57 15K 
[ ]state_correct_wrt_sign_with_offset_M2.con.types.xml.gz2004-04-08 12:57 14K 
[ ]pl_tl_length_rec_2.con.types.xml.gz2004-04-08 12:56 14K 
[ ]predta_compatible_compat_2.con.types.xml.gz2004-04-08 12:57 13K 
[ ]pl_tl_length_rec_0.con.types.xml.gz2004-04-08 12:56 12K 
[ ]st_compat_check_0_correct.con.body.xml.gz2004-04-08 12:57 12K 
[ ]pl_tl_length_rec_2.con.body.xml.gz2004-04-08 12:56 12K 
[ ]pl_tl_length_rec_0.con.body.xml.gz2004-04-08 12:56 10K 
[ ]predta_compatible_compat_2.con.body.xml.gz2004-04-08 12:57 9.1K 
[ ]pl_compatible_empt_r.con.types.xml.gz2004-04-08 12:56 9.1K 
[ ]state_correct_wrt_sign_with_offset_M2.con.body.xml.gz2004-04-08 12:57 8.9K 
[ ]pl_compatible_compat.con.body.xml.gz2004-04-08 12:56 8.8K 
[ ]mpl_compat_5.con.types.xml.gz2004-04-08 12:56 8.6K 
[ ]mpl_compat_6.con.types.xml.gz2004-04-08 12:56 8.6K 
[ ]mpl_compat_6.con.body.xml.gz2004-04-08 12:56 8.3K 
[ ]mpl_compat_5.con.body.xml.gz2004-04-08 12:56 8.3K 
[ ]pl_compatible_compat.con.types.xml.gz2004-04-08 12:56 8.2K 
[ ]pl_compatible_empt_r.con.body.xml.gz2004-04-08 12:56 7.9K 
[ ]mpl_compat_4.con.types.xml.gz2004-04-08 12:56 7.5K 
[ ]predta_compat_check_correct.con.types.xml.gz2004-04-08 12:57 7.5K 
[ ]mpl_compat_4.con.body.xml.gz2004-04-08 12:56 7.3K 
[ ]mpl_compat_3.con.types.xml.gz2004-04-08 12:56 6.5K 
[ ]mpl_compat_3.con.body.xml.gz2004-04-08 12:56 6.2K 
[ ]predta_compatible_compat_1.con.types.xml.gz2004-04-08 12:57 6.0K 
[ ]predta_compatible_compat_1.con.body.xml.gz2004-04-08 12:57 6.0K 
[ ]states_correct_wrt_sign_compatibles.con.body.xml.gz2004-04-08 12:57 5.7K 
[ ]states_correct_wrt_sign_compatibles.con.types.xml.gz2004-04-08 12:57 5.3K 
[ ]predta_correct_wrt_sign_M2.con.types.xml.gz2004-04-08 12:57 5.1K 
[ ]pl_tl_length_rec_1.con.types.xml.gz2004-04-08 12:56 5.1K 
[ ]INDEX2005-07-05 08:12 5.0K 
[ ]st_compatible_compat_1.con.types.xml.gz2004-04-08 12:56 4.8K 
[ ]predta_compat_check_correct.con.body.xml.gz2004-04-08 12:57 4.6K 
[ ]st_compatible_compat_1.con.body.xml.gz2004-04-08 12:56 4.3K 
[ ]dtas_correct_wrt_sign_compatibles.con.types.xml.gz2004-04-08 12:57 4.2K 
[ ]pl_tl_length_rec_1.con.body.xml.gz2004-04-08 12:56 3.9K 
[ ]mpl_compat_1.con.types.xml.gz2004-04-08 12:56 3.7K 
[ ]mpl_compat_2.con.types.xml.gz2004-04-08 12:56 3.7K 
[ ]st_compat_check_complete.con.types.xml.gz2004-04-08 12:57 3.5K 
[ ]predta_correct_wrt_sign_M2.con.body.xml.gz2004-04-08 12:57 3.1K 
[ ]pl_compat_sym.con.types.xml.gz2004-04-08 12:56 3.0K 
[ ]pl_compat_sym.con.body.xml.gz2004-04-08 12:56 2.7K 
[ ]predtas_correct_wrt_sign_compatibles.con.types.xml.gz2004-04-08 12:57 2.5K 
[ ]mpl_compat_0.con.types.xml.gz2004-04-08 12:56 2.5K 
[ ]predta_compatible_compat_0.con.body.xml.gz2004-04-08 12:57 2.3K 
[ ]st_compatible_compat_0.con.body.xml.gz2004-04-08 12:56 2.2K 
[ ]mpl_compat_2.con.body.xml.gz2004-04-08 12:56 2.1K 
[ ]mpl_compat_1.con.body.xml.gz2004-04-08 12:56 2.1K 
[ ]st_compatible_compat_0.con.types.xml.gz2004-04-08 12:56 2.1K 
[ ]st_compat_check_complete.con.body.xml.gz2004-04-08 12:57 2.1K 
[ ]predtas_correct_wrt_sign_compatibles.con.body.xml.gz2004-04-08 12:57 2.1K 
[ ]predta_compatible_compat_0.con.types.xml.gz2004-04-08 12:57 2.0K 
[ ]dtas_correct_wrt_sign_compatibles.con.body.xml.gz2004-04-08 12:57 2.0K 
[ ]pl_tl_length_ind.con.body.xml.gz2004-04-08 12:56 1.9K 
[ ]pl_compat_check.con.body.xml.gz2004-04-08 12:57 1.9K 
[ ]pl_tl_length_ind.con.types.xml.gz2004-04-08 12:56 1.9K 
[ ]mpl_compat_0.con.body.xml.gz2004-04-08 12:56 1.6K 
[ ]st_compat_check_0.con.body.xml.gz2004-04-08 12:57 1.5K 
[ ]pl_compatible_sym.con.body.xml.gz2004-04-08 12:56 1.5K 
[ ]pl_compatible_sym.con.types.xml.gz2004-04-08 12:56 1.5K 
[ ]mpl_compat_sym.con.types.xml.gz2004-04-08 12:56 1.4K 
[ ]mpl_compat_sym.con.body.xml.gz2004-04-08 12:56 1.2K 
[ ]dta_compatible_compat.con.types.xml.gz2004-04-08 12:57 1.1K 
[ ]pl_compatible_cons_l.con.types.xml.gz2004-04-08 12:56 1.1K 
[ ]dta_compat_check_complete.con.types.xml.gz2004-04-08 12:57 1.1K 
[ ]dta_compat_check_correct.con.types.xml.gz2004-04-08 12:57 1.1K 
[ ]pl_tl_length_ind.con.xml.gz2004-04-08 12:56 1.1K 
[ ]state_correct_wrt_sign_with_offset.con.body.xml.gz2004-04-08 12:57 1.0K 
[ ]pre_ad_rect.con.body.xml.gz2004-04-08 12:57 1.0K 
[ ]predta_compat_check.con.body.xml.gz2004-04-08 12:57 1.0K 
[ ]state_correct_wrt_sign.con.body.xml.gz2004-04-08 12:57 1.0K 
[ ]dta_compatible_compat.con.body.xml.gz2004-04-08 12:57 968  
[ ]pl_tl_length.ind.xml.gz2004-04-08 12:56 907  
[ ]pl_tl_length_rec_5.con.types.xml.gz2004-04-08 12:56 893  
[ ]dta_compat.con.body.xml.gz2004-04-08 12:56 834  
[ ]st_compatible.con.body.xml.gz2004-04-08 12:56 828  
[ ]dta_correct.con.body.xml.gz2004-04-08 12:56 825  
[ ]mpl_compat.con.body.xml.gz2004-04-08 12:56 821  
[ ]pre_ad_ind.con.types.xml.gz2004-04-08 12:57 820  
[ ]pl_compatible_cons_r.con.xml.gz2004-04-08 12:56 809  
[ ]pl_compatible_cons_l.con.xml.gz2004-04-08 12:56 809  
[ ]st_compat_check_correct.con.types.xml.gz2004-04-08 12:57 799  
[ ]dta_compat_check_complete.con.body.xml.gz2004-04-08 12:57 773  
[ ]pre_ad_concat.con.body.xml.gz2004-04-08 12:57 770  
[ ]dta_compat_check_correct.con.body.xml.gz2004-04-08 12:57 770  
[ ]state_correct_wrt_sign_with_offset_M2.con.xml.gz2004-04-08 12:57 769  
[ ]pl_tl_length_rec_2.con.xml.gz2004-04-08 12:56 752  
[ ]pl_tl_length_rec_5.con.body.xml.gz2004-04-08 12:56 749  
[ ]pl_tl_length_rec_3.con.xml.gz2004-04-08 12:56 742  
[ ]predta_correct_wrt_sign.con.body.xml.gz2004-04-08 12:57 737  
[ ]pl_tl_length_rec_def_1.con.body.xml.gz2004-04-08 12:56 733  
[ ]mpl_compat_6.con.xml.gz2004-04-08 12:56 726  
[ ]mpl_compat_5.con.xml.gz2004-04-08 12:56 725  
[ ]dta_compatible.con.body.xml.gz2004-04-08 12:56 722  
[ ]DTA_compat.con.body.xml.gz2004-04-08 12:56 714  
[ ]pl_tl_length_rec_6.con.types.xml.gz2004-04-08 12:56 702  
[ ]pl_compatible_cons_l.con.body.xml.gz2004-04-08 12:56 692  
[ ]pl_tl_length_rec_6.con.body.xml.gz2004-04-08 12:56 689  
[ ]mpl_compat_4.con.xml.gz2004-04-08 12:56 673  
[ ]predta_correct_wrt_sign_M2.con.xml.gz2004-04-08 12:57 658  
[ ]pl_tl_length_rec_def_0.con.body.xml.gz2004-04-08 12:56 658  
[ ]pl_compat_check_complete.con.xml.gz2004-04-08 12:57 638  
[ ]pl_compat_check_correct.con.xml.gz2004-04-08 12:57 634  
[ ]mpl_compat_3.con.xml.gz2004-04-08 12:56 633  
[ ]pre_ad_ind.con.xml.gz2004-04-08 12:57 625  
[ ]pre_ad_rec.con.xml.gz2004-04-08 12:57 618  
[ ]pre_ad_rect.con.xml.gz2004-04-08 12:57 617  
[ ]pl_tl_length_rec_6.con.xml.gz2004-04-08 12:56 616  
[ ]dta_compat_check.con.body.xml.gz2004-04-08 12:57 616  
[ ]mpl_compat_2.con.xml.gz2004-04-08 12:56 615  
[ ]mpl_compat_1.con.xml.gz2004-04-08 12:56 615  
[ ]predta_compatible_compat.con.types.xml.gz2004-04-08 12:57 613  
[ ]predta_compatible_compat_2.con.xml.gz2004-04-08 12:57 612  
[ ]st_compatible_compat.con.types.xml.gz2004-04-08 12:57 611  
[ ]pl_compat.con.body.xml.gz2004-04-08 12:56 611  
[ ]dta_correct_wrt_sign.con.body.xml.gz2004-04-08 12:57 611  
[ ]st_compat_check_0_complete.con.xml.gz2004-04-08 12:57 609  
[ ]st_compat_check_0_correct.con.xml.gz2004-04-08 12:57 606  
[ ]st_compatible_compat_2.con.xml.gz2004-04-08 12:56 605  
[ ]mpl_compat_0.con.xml.gz2004-04-08 12:56 600  
[ ]pl_compatible_empt_l.con.types.xml.gz2004-04-08 12:56 582  
[ ]predta_compat_check_correct.con.xml.gz2004-04-08 12:57 564  
[ ]predta_compat_check_complete.con.xml.gz2004-04-08 12:57 563  
[ ]st_compat_check_complete.con.xml.gz2004-04-08 12:57 558  
[ ]dta_compat_check_complete.con.xml.gz2004-04-08 12:57 557  
[ ]dta_compat_check_correct.con.xml.gz2004-04-08 12:57 554  
[ ]st_compat_check_correct.con.xml.gz2004-04-08 12:57 549  
[ ]pl_tl_length_rec_4.con.types.xml.gz2004-04-08 12:56 548  
[ ]predta_compatible.con.body.xml.gz2004-04-08 12:56 544  
[ ]pl_compatible.con.body.xml.gz2004-04-08 12:56 543  
[ ]dtas_correct_wrt_sign_compatibles.con.xml.gz2004-04-08 12:57 539  
[ ]st_compat_check_correct.con.body.xml.gz2004-04-08 12:57 537  
[ ]predta_compatible_compat_1.con.xml.gz2004-04-08 12:57 537  
[ ]st_compatible_compat_1.con.xml.gz2004-04-08 12:56 531  
[ ]predtas_correct_wrt_sign_compatibles.con.xml.gz2004-04-08 12:57 528  
[ ]pl_tl_length_rec_4.con.xml.gz2004-04-08 12:56 526  
[ ]pl_tl_length_pl_compat.con.xml.gz2004-04-08 12:56 526  
[ ]states_correct_wrt_sign_compatibles.con.xml.gz2004-04-08 12:57 522  
[ ]pl_compatible_empt_l.con.body.xml.gz2004-04-08 12:56 522  
[ ]predta_compatible_compat_def.con.body.xml.gz2004-04-08 12:57 488  
[ ]pl_compatible_empt_l.con.xml.gz2004-04-08 12:56 486  
[ ]st_compatible_compat_def.con.body.xml.gz2004-04-08 12:56 484  
[ ]pl_compatible_empt_r.con.xml.gz2004-04-08 12:56 482  
[ ]pl_tl_length_rec_5.con.xml.gz2004-04-08 12:56 468  
[ ]pl_compatible_sym.con.xml.gz2004-04-08 12:56 458  
[ ]dta_compatible_compat.con.xml.gz2004-04-08 12:57 458  
[ ]pl_compatible_compat.con.xml.gz2004-04-08 12:56 455  
[ ]pl_compat_sym.con.xml.gz2004-04-08 12:56 450  
[ ]predta_compatible_compat.con.xml.gz2004-04-08 12:57 445  
[ ]st_compat_check.con.body.xml.gz2004-04-08 12:57 442  
[ ]pl_tl_length_rec_1.con.xml.gz2004-04-08 12:56 438  
[ ]st_compatible_compat.con.xml.gz2004-04-08 12:57 437  
[ ]mpl_compat_sym.con.xml.gz2004-04-08 12:56 431  
[ ]pre_ad_ind.con.body.xml.gz2004-04-08 12:57 421  
[ ]st_compatible_compat.con.body.xml.gz2004-04-08 12:57 418  
[ ]pre_ad_rec.con.body.xml.gz2004-04-08 12:57 418  
[ ]predta_compatible_compat.con.body.xml.gz2004-04-08 12:57 407  
[ ]predta_compatible_compat_0.con.xml.gz2004-04-08 12:57 400  
[ ]st_compatible_compat_0.con.xml.gz2004-04-08 12:56 398  
[ ]state_correct_wrt_sign_with_offset.con.xml.gz2004-04-08 12:57 396  
[ ]pre_ad.ind.xml.gz2004-04-08 12:57 390  
[ ]pl_compat_check.con.xml.gz2004-04-08 12:57 378  
[ ]st_compat_check_0.con.xml.gz2004-04-08 12:57 374  
[ ]pl_tl_length_rec_def_1.con.xml.gz2004-04-08 12:56 374  
[ ]predta_compat_check.con.xml.gz2004-04-08 12:57 360  
[ ]dta_correct_wrt_sign.con.xml.gz2004-04-08 12:57 356  
[ ]dta_compat_check.con.xml.gz2004-04-08 12:57 354  
[ ]st_compat_check.con.xml.gz2004-04-08 12:57 351  
[ ]predta_correct_wrt_sign.con.xml.gz2004-04-08 12:57 351  
[ ]pl_tl_length_rec_4.con.body.xml.gz2004-04-08 12:56 345  
[ ]state_correct_wrt_sign.con.xml.gz2004-04-08 12:57 344  
[ ]pl_tl_length_rec_0.con.xml.gz2004-04-08 12:56 334  
[ ]predta_compatible_compat_def.con.xml.gz2004-04-08 12:57 332  
[ ]predta_compatible.con.xml.gz2004-04-08 12:56 327  
[ ]st_compatible_compat_def.con.xml.gz2004-04-08 12:56 324  
[ ]pre_ad_concat.con.xml.gz2004-04-08 12:57 324  
[ ]pl_compatible.con.xml.gz2004-04-08 12:56 324  
[ ]dta_compatible.con.xml.gz2004-04-08 12:56 321  
[ ]st_compatible.con.xml.gz2004-04-08 12:56 320  
[ ]pl_tl_length_rec_def_0.con.xml.gz2004-04-08 12:56 320  
[ ]pl_compat.con.xml.gz2004-04-08 12:56 318  
[ ]dta_compat.con.xml.gz2004-04-08 12:56 317  
[ ]mpl_compat.con.xml.gz2004-04-08 12:56 315  
[ ]DTA_compat.con.xml.gz2004-04-08 12:56 315  
[ ]signature.con.body.xml.gz2004-04-08 12:57 313  
[ ]dta_correct.con.xml.gz2004-04-08 12:56 305  
[ ]state_correct_wrt_sign_with_offset.con.types.xml.gz2004-04-08 12:57 247  
[ ]predta_compatible_compat_def.con.types.xml.gz2004-04-08 12:57 237  
[ ]st_compatible_compat_def.con.types.xml.gz2004-04-08 12:56 231  
[ ]pl_tl_length_rec_def_0.con.types.xml.gz2004-04-08 12:56 230  
[ ]pl_tl_length_rec_def_1.con.types.xml.gz2004-04-08 12:56 229  
[ ]predta_correct_wrt_sign.con.types.xml.gz2004-04-08 12:57 228  
[ ]state_correct_wrt_sign.con.types.xml.gz2004-04-08 12:57 227  
[ ]predta_compat_check.con.types.xml.gz2004-04-08 12:57 224  
[ ]dta_correct_wrt_sign.con.types.xml.gz2004-04-08 12:57 223  
[ ]st_compat_check_0.con.types.xml.gz2004-04-08 12:57 222  
[ ]predta_compatible.con.types.xml.gz2004-04-08 12:56 221  
[ ]dta_compat_check.con.types.xml.gz2004-04-08 12:57 219  
[ ]pl_compat_check.con.types.xml.gz2004-04-08 12:57 218  
[ ]st_compat_check.con.types.xml.gz2004-04-08 12:57 217  
[ ]dta_compatible.con.types.xml.gz2004-04-08 12:56 215  
[ ]st_compatible.con.types.xml.gz2004-04-08 12:56 214  
[ ]pre_ad_concat.con.types.xml.gz2004-04-08 12:57 214  
[ ]pl_compatible.con.types.xml.gz2004-04-08 12:56 214  
[ ]pl_tl_length.ind.types.xml.gz2004-04-08 12:56 212  
[ ]pre_ad_rect.con.types.xml.gz2004-04-08 12:57 211  
[ ]dta_correct.con.types.xml.gz2004-04-08 12:56 210  
[ ]pre_ad_rec.con.types.xml.gz2004-04-08 12:57 209  
[ ]mpl_compat.con.types.xml.gz2004-04-08 12:56 209  
[ ]DTA_compat.con.types.xml.gz2004-04-08 12:56 209  
[ ]dta_compat.con.types.xml.gz2004-04-08 12:56 208  
[ ]pl_compat.con.types.xml.gz2004-04-08 12:56 207  
[ ]signature.con.xml.gz2004-04-08 12:57 205  
[ ]signature.con.types.xml.gz2004-04-08 12:57 202  
[ ]pre_ad.ind.types.xml.gz2004-04-08 12:57 201  
Apache/2.4.62 (Debian) Server at mowgli.cs.unibo.it Port 80