Index of /xml/Rocq/TreeAutomata/coacc_test

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]INDEX2005-07-05 08:12 4.4K 
[ ]coacc.ind.types.xml.gz2004-04-08 13:09 199  
[ ]coacc.ind.xml.gz2004-04-08 13:09 1.3K 
[ ]coacc_ind.con.body.xml.gz2004-04-08 13:09 2.9K 
[ ]coacc_ind.con.types.xml.gz2004-04-08 13:09 2.6K 
[ ]coacc_ind.con.xml.gz2004-04-08 13:09 1.5K 
[ ]coacc_transitive.con.body.xml.gz2004-04-08 13:09 655  
[ ]coacc_transitive.con.types.xml.gz2004-04-08 13:09 615  
[ ]coacc_transitive.con.xml.gz2004-04-08 13:09 547  
[ ]coacc_transitive_0.con.body.xml.gz2004-04-08 13:09 771  
[ ]coacc_transitive_0.con.types.xml.gz2004-04-08 13:09 886  
[ ]coacc_transitive_0.con.xml.gz2004-04-08 13:09 676  
[ ]coacc_transitive_1.con.body.xml.gz2004-04-08 13:09 1.5K 
[ ]coacc_transitive_1.con.types.xml.gz2004-04-08 13:09 1.6K 
[ ]coacc_transitive_1.con.xml.gz2004-04-08 13:09 1.0K 
[ ]coacc_transitive_def.con.body.xml.gz2004-04-08 13:09 589  
[ ]coacc_transitive_def.con.types.xml.gz2004-04-08 13:09 223  
[ ]coacc_transitive_def.con.xml.gz2004-04-08 13:09 368  
[ ]lattice_bounded.con.body.xml.gz2004-04-08 13:10 662  
[ ]lattice_bounded.con.types.xml.gz2004-04-08 13:10 1.1K 
[ ]lattice_bounded.con.xml.gz2004-04-08 13:10 609  
[ ]lattice_lemd_bounded.con.body.xml.gz2004-04-08 13:10 1.3K 
[ ]lattice_lemd_bounded.con.types.xml.gz2004-04-08 13:10 1.6K 
[ ]lattice_lemd_bounded.con.xml.gz2004-04-08 13:10 616  
[ ]lattice_lemd_bounded_0.con.body.xml.gz2004-04-08 13:10 12K 
[ ]lattice_lemd_bounded_0.con.types.xml.gz2004-04-08 13:10 16K 
[ ]lattice_lemd_bounded_0.con.xml.gz2004-04-08 13:10 521  
[ ]lattice_lemd_bounded_0_def.con.body.xml.gz2004-04-08 13:10 658  
[ ]lattice_lemd_bounded_0_def.con.types.xml.gz2004-04-08 13:10 236  
[ ]lattice_lemd_bounded_0_def.con.xml.gz2004-04-08 13:10 387  
[ ]lattice_lemd_bounded_1.con.body.xml.gz2004-04-08 13:10 17K 
[ ]lattice_lemd_bounded_1.con.types.xml.gz2004-04-08 13:10 22K 
[ ]lattice_lemd_bounded_1.con.xml.gz2004-04-08 13:10 520  
[ ]lattice_lemd_bounded_1_def.con.body.xml.gz2004-04-08 13:10 636  
[ ]lattice_lemd_bounded_1_def.con.types.xml.gz2004-04-08 13:10 236  
[ ]lattice_lemd_bounded_1_def.con.xml.gz2004-04-08 13:10 386  
[ ]lattice_lemd_bounded_2.con.body.xml.gz2004-04-08 13:10 20K 
[ ]lattice_lemd_bounded_2.con.types.xml.gz2004-04-08 13:10 27K 
[ ]lattice_lemd_bounded_2.con.xml.gz2004-04-08 13:10 593  
[ ]lattice_lemd_bounded_3.con.body.xml.gz2004-04-08 13:10 428  
[ ]lattice_lemd_bounded_3.con.types.xml.gz2004-04-08 13:10 926  
[ ]lattice_lemd_bounded_3.con.xml.gz2004-04-08 13:10 609  
[ ]lemd.con.body.xml.gz2004-04-08 13:09 641  
[ ]lemd.con.types.xml.gz2004-04-08 13:09 199  
[ ]lemd.con.xml.gz2004-04-08 13:09 362  
[ ]lemd_antisymmetric.con.body.xml.gz2004-04-08 13:09 78K 
[ ]lemd_antisymmetric.con.types.xml.gz2004-04-08 13:09 74K 
[ ]lemd_antisymmetric.con.xml.gz2004-04-08 13:09 652  
[ ]lemd_reflexive.con.body.xml.gz2004-04-08 13:09 13K 
[ ]lemd_reflexive.con.types.xml.gz2004-04-08 13:09 20K 
[ ]lemd_reflexive.con.xml.gz2004-04-08 13:09 565  
[ ]lemd_transitive.con.body.xml.gz2004-04-08 13:09 75K 
[ ]lemd_transitive.con.types.xml.gz2004-04-08 13:09 96K 
[ ]lemd_transitive.con.xml.gz2004-04-08 13:09 625  
[ ]map_or.con.body.xml.gz2004-04-08 13:09 1.8K 
[ ]map_or.con.types.xml.gz2004-04-08 13:09 202  
[ ]map_or.con.xml.gz2004-04-08 13:09 366  
[ ]map_or_def_ok.con.body.xml.gz2004-04-08 13:09 7.3K 
[ ]map_or_def_ok.con.types.xml.gz2004-04-08 13:09 10K 
[ ]map_or_def_ok.con.xml.gz2004-04-08 13:09 591  
[ ]map_or_def_ok_d.con.body.xml.gz2004-04-08 13:09 912  
[ ]map_or_def_ok_d.con.types.xml.gz2004-04-08 13:09 1.3K 
[ ]map_or_def_ok_d.con.xml.gz2004-04-08 13:09 654  
[ ]map_or_inc_d.con.body.xml.gz2004-04-08 13:09 2.5K 
[ ]map_or_inc_d.con.types.xml.gz2004-04-08 13:09 2.2K 
[ ]map_or_inc_d.con.xml.gz2004-04-08 13:09 697  
[ ]map_or_inc_ld.con.body.xml.gz2004-04-08 13:09 100K 
[ ]map_or_inc_ld.con.types.xml.gz2004-04-08 13:09 120K 
[ ]map_or_inc_ld.con.xml.gz2004-04-08 13:09 715  
[ ]map_or_inc_rd.con.body.xml.gz2004-04-08 13:09 100K 
[ ]map_or_inc_rd.con.types.xml.gz2004-04-08 13:09 119K 
[ ]map_or_inc_rd.con.xml.gz2004-04-08 13:09 717  
[ ]map_or_mapget_true_inv.con.body.xml.gz2004-04-08 13:09 64K 
[ ]map_or_mapget_true_inv.con.types.xml.gz2004-04-08 13:09 105K 
[ ]map_or_mapget_true_inv.con.xml.gz2004-04-08 13:09 909  
[ ]map_or_mapget_true_l.con.body.xml.gz2004-04-08 13:09 22K 
[ ]map_or_mapget_true_l.con.types.xml.gz2004-04-08 13:09 37K 
[ ]map_or_mapget_true_l.con.xml.gz2004-04-08 13:09 851  
[ ]map_or_mapget_true_ld.con.body.xml.gz2004-04-08 13:09 1.0K 
[ ]map_or_mapget_true_ld.con.types.xml.gz2004-04-08 13:09 1.3K 
[ ]map_or_mapget_true_ld.con.xml.gz2004-04-08 13:09 918  
[ ]map_or_mapget_true_r.con.body.xml.gz2004-04-08 13:09 28K 
[ ]map_or_mapget_true_r.con.types.xml.gz2004-04-08 13:09 42K 
[ ]map_or_mapget_true_r.con.xml.gz2004-04-08 13:09 850  
[ ]map_or_mapget_true_rd.con.body.xml.gz2004-04-08 13:09 1.0K 
[ ]map_or_mapget_true_rd.con.types.xml.gz2004-04-08 13:09 1.3K 
[ ]map_or_mapget_true_rd.con.xml.gz2004-04-08 13:09 917  
[ ]map_replace.con.body.xml.gz2004-04-08 13:09 1.9K 
[ ]map_replace.con.types.xml.gz2004-04-08 13:09 211  
[ ]map_replace.con.xml.gz2004-04-08 13:09 434  
[ ]map_replace_def_ok.con.body.xml.gz2004-04-08 13:09 5.9K 
[ ]map_replace_def_ok.con.types.xml.gz2004-04-08 13:09 11K 
[ ]map_replace_def_ok.con.xml.gz2004-04-08 13:09 599  
[ ]map_replace_def_ok_d.con.body.xml.gz2004-04-08 13:09 774  
[ ]map_replace_def_ok_d.con.types.xml.gz2004-04-08 13:09 1.1K 
[ ]map_replace_def_ok_d.con.xml.gz2004-04-08 13:09 660  
[ ]map_replace_inc.con.body.xml.gz2004-04-08 13:10 21K 
[ ]map_replace_inc.con.types.xml.gz2004-04-08 13:10 35K 
[ ]map_replace_inc.con.xml.gz2004-04-08 13:10 654  
[ ]map_replace_inc_d.con.body.xml.gz2004-04-08 13:10 2.7K 
[ ]map_replace_inc_d.con.types.xml.gz2004-04-08 13:10 3.8K 
[ ]map_replace_inc_d.con.xml.gz2004-04-08 13:10 687  
[ ]map_replace_mapget_ins_true_0.con.body.xml.gz2004-04-08 13:09 14K 
[ ]map_replace_mapget_ins_true_0.con.types.xml.gz2004-04-08 13:09 24K 
[ ]map_replace_mapget_ins_true_0.con.xml.gz2004-04-08 13:09 811  
[ ]map_replace_mapget_ins_true_1.con.body.xml.gz2004-04-08 13:09 43K 
[ ]map_replace_mapget_ins_true_1.con.types.xml.gz2004-04-08 13:09 105K 
[ ]map_replace_mapget_ins_true_1.con.xml.gz2004-04-08 13:09 803  
[ ]map_replace_mapget_true_inv.con.body.xml.gz2004-04-08 13:09 75K 
[ ]map_replace_mapget_true_inv.con.types.xml.gz2004-04-08 13:09 134K 
[ ]map_replace_mapget_true_inv.con.xml.gz2004-04-08 13:09 878  
[ ]pl_coacc.con.body.xml.gz2004-04-08 13:09 1.0K 
[ ]pl_coacc.con.types.xml.gz2004-04-08 13:09 204  
[ ]pl_coacc.con.xml.gz2004-04-08 13:09 395  
[ ]pl_coacc_contain_coacc_ads.con.body.xml.gz2004-04-08 13:10 23K 
[ ]pl_coacc_contain_coacc_ads.con.types.xml.gz2004-04-08 13:10 32K 
[ ]pl_coacc_contain_coacc_ads.con.xml.gz2004-04-08 13:10 774  
[ ]pl_coacc_def_ok.con.body.xml.gz2004-04-08 13:09 1.1K 
[ ]pl_coacc_def_ok.con.types.xml.gz2004-04-08 13:09 1.3K 
[ ]pl_coacc_def_ok.con.xml.gz2004-04-08 13:09 485  
[ ]pl_coacc_rev.con.body.xml.gz2004-04-08 13:10 4.6K 
[ ]pl_coacc_rev.con.types.xml.gz2004-04-08 13:10 4.8K 
[ ]pl_coacc_rev.con.xml.gz2004-04-08 13:10 701  
[ ]predta_coacc.con.body.xml.gz2004-04-08 13:09 578  
[ ]predta_coacc.con.types.xml.gz2004-04-08 13:09 210  
[ ]predta_coacc.con.xml.gz2004-04-08 13:09 423  
[ ]predta_coacc_0.con.body.xml.gz2004-04-08 13:09 2.2K 
[ ]predta_coacc_0.con.types.xml.gz2004-04-08 13:09 214  
[ ]predta_coacc_0.con.xml.gz2004-04-08 13:09 418  
[ ]predta_coacc_0_contain_coacc_ads.con.body.xml.gz2004-04-08 13:10 47K 
[ ]predta_coacc_0_contain_coacc_ads.con.types.xml.gz2004-04-08 13:10 64K 
[ ]predta_coacc_0_contain_coacc_ads.con.xml.gz2004-04-08 13:10 1.2K 
[ ]predta_coacc_0_def_ok.con.body.xml.gz2004-04-08 13:09 6.2K 
[ ]predta_coacc_0_def_ok.con.types.xml.gz2004-04-08 13:09 11K 
[ ]predta_coacc_0_def_ok.con.xml.gz2004-04-08 13:09 584  
[ ]predta_coacc_0_fix.con.body.xml.gz2004-04-08 13:10 2.1K 
[ ]predta_coacc_0_fix.con.types.xml.gz2004-04-08 13:10 2.9K 
[ ]predta_coacc_0_fix.con.xml.gz2004-04-08 13:10 779  
[ ]predta_coacc_0_incr.con.body.xml.gz2004-04-08 13:10 102K 
[ ]predta_coacc_0_incr.con.types.xml.gz2004-04-08 13:10 144K 
[ ]predta_coacc_0_incr.con.xml.gz2004-04-08 13:10 668  
[ ]predta_coacc_0_rev.con.body.xml.gz2004-04-08 13:10 104K 
[ ]predta_coacc_0_rev.con.types.xml.gz2004-04-08 13:10 137K 
[ ]predta_coacc_0_rev.con.xml.gz2004-04-08 13:10 1.6K 
[ ]predta_coacc_contain_coacc_ads_0.con.body.xml.gz2004-04-08 13:10 2.6K 
[ ]predta_coacc_contain_coacc_ads_0.con.types.xml.gz2004-04-08 13:10 3.2K 
[ ]predta_coacc_contain_coacc_ads_0.con.xml.gz2004-04-08 13:10 1.2K 
[ ]predta_coacc_contain_coacc_ads_1.con.body.xml.gz2004-04-08 13:10 2.1K 
[ ]predta_coacc_contain_coacc_ads_1.con.types.xml.gz2004-04-08 13:10 2.8K 
[ ]predta_coacc_contain_coacc_ads_1.con.xml.gz2004-04-08 13:10 698  
[ ]predta_coacc_contain_coacc_ads_2.con.body.xml.gz2004-04-08 13:10 3.4K 
[ ]predta_coacc_contain_coacc_ads_2.con.types.xml.gz2004-04-08 13:10 4.3K 
[ ]predta_coacc_contain_coacc_ads_2.con.xml.gz2004-04-08 13:10 1.1K 
[ ]predta_coacc_contain_coacc_ads_3.con.body.xml.gz2004-04-08 13:10 673  
[ ]predta_coacc_contain_coacc_ads_3.con.types.xml.gz2004-04-08 13:10 1.2K 
[ ]predta_coacc_contain_coacc_ads_3.con.xml.gz2004-04-08 13:10 1.0K 
[ ]predta_coacc_contain_coacc_ads_def_0.con.body.xml.gz2004-04-08 13:10 1.0K 
[ ]predta_coacc_contain_coacc_ads_def_0.con.types.xml.gz2004-04-08 13:10 249  
[ ]predta_coacc_contain_coacc_ads_def_0.con.xml.gz2004-04-08 13:10 397  
[ ]predta_coacc_def_ok.con.body.xml.gz2004-04-08 13:09 636  
[ ]predta_coacc_def_ok.con.types.xml.gz2004-04-08 13:09 867  
[ ]predta_coacc_def_ok.con.xml.gz2004-04-08 13:09 583  
[ ]predta_coacc_fix.con.body.xml.gz2004-04-08 13:10 2.6K 
[ ]predta_coacc_fix.con.types.xml.gz2004-04-08 13:10 3.0K 
[ ]predta_coacc_fix.con.xml.gz2004-04-08 13:10 775  
[ ]predta_coacc_fix_0.con.body.xml.gz2004-04-08 13:10 2.4K 
[ ]predta_coacc_fix_0.con.types.xml.gz2004-04-08 13:10 3.0K 
[ ]predta_coacc_fix_0.con.xml.gz2004-04-08 13:10 581  
[ ]predta_coacc_fix_1.con.body.xml.gz2004-04-08 13:10 8.5K 
[ ]predta_coacc_fix_1.con.types.xml.gz2004-04-08 13:10 8.5K 
[ ]predta_coacc_fix_1.con.xml.gz2004-04-08 13:10 931  
[ ]predta_coacc_fix_2.con.body.xml.gz2004-04-08 13:10 1.2K 
[ ]predta_coacc_fix_2.con.types.xml.gz2004-04-08 13:10 2.0K 
[ ]predta_coacc_fix_2.con.xml.gz2004-04-08 13:10 1.0K 
[ ]predta_coacc_increasing.con.body.xml.gz2004-04-08 13:10 802  
[ ]predta_coacc_increasing.con.types.xml.gz2004-04-08 13:10 1.2K 
[ ]predta_coacc_increasing.con.xml.gz2004-04-08 13:10 525  
[ ]predta_coacc_rev.con.body.xml.gz2004-04-08 13:10 20K 
[ ]predta_coacc_rev.con.types.xml.gz2004-04-08 13:10 24K 
[ ]predta_coacc_rev.con.xml.gz2004-04-08 13:10 1.6K 
[ ]predta_coacc_reverse.con.body.xml.gz2004-04-08 13:10 15K 
[ ]predta_coacc_reverse.con.types.xml.gz2004-04-08 13:10 13K 
[ ]predta_coacc_reverse.con.xml.gz2004-04-08 13:10 857  
[ ]predta_coacc_states.con.body.xml.gz2004-04-08 13:09 664  
[ ]predta_coacc_states.con.types.xml.gz2004-04-08 13:09 221  
[ ]predta_coacc_states.con.xml.gz2004-04-08 13:09 410  
[ ]predta_coacc_states_0.con.body.xml.gz2004-04-08 13:09 663  
[ ]predta_coacc_states_0.con.types.xml.gz2004-04-08 13:09 225  
[ ]predta_coacc_states_0.con.xml.gz2004-04-08 13:09 414  
[ ]st_coacc.con.body.xml.gz2004-04-08 13:09 1.0K 
[ ]st_coacc.con.types.xml.gz2004-04-08 13:09 204  
[ ]st_coacc.con.xml.gz2004-04-08 13:09 394  
[ ]st_coacc_contain_coacc_ads.con.body.xml.gz2004-04-08 13:10 14K 
[ ]st_coacc_contain_coacc_ads.con.types.xml.gz2004-04-08 13:10 20K 
[ ]st_coacc_contain_coacc_ads.con.xml.gz2004-04-08 13:10 912  
[ ]st_coacc_def_ok.con.body.xml.gz2004-04-08 13:09 1.1K 
[ ]st_coacc_def_ok.con.types.xml.gz2004-04-08 13:09 1.5K 
[ ]st_coacc_def_ok.con.xml.gz2004-04-08 13:09 457  
[ ]st_coacc_rev.con.body.xml.gz2004-04-08 13:10 14K 
[ ]st_coacc_rev.con.types.xml.gz2004-04-08 13:10 18K 
[ ]st_coacc_rev.con.xml.gz2004-04-08 13:10 1.0K 
Apache/2.4.57 (Debian) Server at mowgli.cs.unibo.it Port 80