Index of /xml/Rocq/TreeAutomata/empty_test

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]INDEX2005-07-05 08:12 3.2K 
[ ]dt_non_empty_0.con.body.xml.gz2004-04-08 12:57 6.1K 
[ ]dt_non_empty_0.con.types.xml.gz2004-04-08 12:57 8.7K 
[ ]dt_non_empty_0.con.xml.gz2004-04-08 12:57 902  
[ ]dt_non_empty_1.con.body.xml.gz2004-04-08 12:57 1.5K 
[ ]dt_non_empty_1.con.types.xml.gz2004-04-08 12:57 2.5K 
[ ]dt_non_empty_1.con.xml.gz2004-04-08 12:57 950  
[ ]dt_non_empty_2.con.body.xml.gz2004-04-08 12:57 542  
[ ]dt_non_empty_2.con.types.xml.gz2004-04-08 12:57 1.1K 
[ ]dt_non_empty_2.con.xml.gz2004-04-08 12:57 477  
[ ]dt_non_empty_3.con.body.xml.gz2004-04-08 12:57 3.7K 
[ ]dt_non_empty_3.con.types.xml.gz2004-04-08 12:57 5.5K 
[ ]dt_non_empty_3.con.xml.gz2004-04-08 12:57 900  
[ ]dt_non_empty_4.con.body.xml.gz2004-04-08 12:57 14K 
[ ]dt_non_empty_4.con.types.xml.gz2004-04-08 12:57 15K 
[ ]dt_non_empty_4.con.xml.gz2004-04-08 12:57 840  
[ ]dt_non_empty_5.con.body.xml.gz2004-04-08 12:57 368  
[ ]dt_non_empty_5.con.types.xml.gz2004-04-08 12:57 1.0K 
[ ]dt_non_empty_5.con.xml.gz2004-04-08 12:57 912  
[ ]dt_non_empty_6.con.body.xml.gz2004-04-08 12:57 361  
[ ]dt_non_empty_6.con.types.xml.gz2004-04-08 12:57 557  
[ ]dt_non_empty_6.con.xml.gz2004-04-08 12:57 539  
[ ]dt_non_empty_7.con.body.xml.gz2004-04-08 12:57 638  
[ ]dt_non_empty_7.con.types.xml.gz2004-04-08 12:57 1.0K 
[ ]dt_non_empty_7.con.xml.gz2004-04-08 12:57 779  
[ ]dt_non_empty_d.con.body.xml.gz2004-04-08 12:57 1.1K 
[ ]dt_non_empty_d.con.types.xml.gz2004-04-08 12:57 1.5K 
[ ]dt_non_empty_d.con.xml.gz2004-04-08 12:57 912  
[ ]dt_non_empty_def_0.con.body.xml.gz2004-04-08 12:57 968  
[ ]dt_non_empty_def_0.con.types.xml.gz2004-04-08 12:57 219  
[ ]dt_non_empty_def_0.con.xml.gz2004-04-08 12:57 488  
[ ]dt_non_empty_def_1.con.body.xml.gz2004-04-08 12:57 910  
[ ]dt_non_empty_def_1.con.types.xml.gz2004-04-08 12:57 219  
[ ]dt_non_empty_def_1.con.xml.gz2004-04-08 12:57 480  
[ ]dt_non_empty_def_2.con.body.xml.gz2004-04-08 12:57 893  
[ ]dt_non_empty_def_2.con.types.xml.gz2004-04-08 12:57 220  
[ ]dt_non_empty_def_2.con.xml.gz2004-04-08 12:57 483  
[ ]dt_non_empty_fix.con.body.xml.gz2004-04-08 12:57 3.1K 
[ ]dt_non_empty_fix.con.types.xml.gz2004-04-08 12:57 3.7K 
[ ]dt_non_empty_fix.con.xml.gz2004-04-08 12:57 800  
[ ]dt_non_empty_fix_0.con.body.xml.gz2004-04-08 12:57 893  
[ ]dt_non_empty_fix_0.con.types.xml.gz2004-04-08 12:57 1.3K 
[ ]dt_non_empty_fix_0.con.xml.gz2004-04-08 12:57 539  
[ ]dt_non_empty_fix_1.con.body.xml.gz2004-04-08 12:57 4.8K 
[ ]dt_non_empty_fix_1.con.types.xml.gz2004-04-08 12:57 5.1K 
[ ]dt_non_empty_fix_1.con.xml.gz2004-04-08 12:57 900  
[ ]dt_non_empty_fix_2.con.body.xml.gz2004-04-08 12:57 1.2K 
[ ]dt_non_empty_fix_2.con.types.xml.gz2004-04-08 12:57 2.1K 
[ ]dt_non_empty_fix_2.con.xml.gz2004-04-08 12:57 1.0K 
[ ]dt_non_empty_lazy_fix.con.body.xml.gz2004-04-08 12:57 2.1K 
[ ]dt_non_empty_lazy_fix.con.types.xml.gz2004-04-08 12:57 3.1K 
[ ]dt_non_empty_lazy_fix.con.xml.gz2004-04-08 12:57 808  
[ ]dt_non_empty_r.con.body.xml.gz2004-04-08 12:57 329  
[ ]dt_non_empty_r.con.types.xml.gz2004-04-08 12:57 971  
[ ]dt_non_empty_r.con.xml.gz2004-04-08 12:57 908  
[ ]dt_non_empty_r_0.con.body.xml.gz2004-04-08 12:57 44K 
[ ]dt_non_empty_r_0.con.types.xml.gz2004-04-08 12:57 60K 
[ ]dt_non_empty_r_0.con.xml.gz2004-04-08 12:57 1.1K 
[ ]dt_non_empty_r_1.con.body.xml.gz2004-04-08 12:57 20K 
[ ]dt_non_empty_r_1.con.types.xml.gz2004-04-08 12:57 26K 
[ ]dt_non_empty_r_1.con.xml.gz2004-04-08 12:57 961  
[ ]dt_non_empty_r_2.con.body.xml.gz2004-04-08 12:57 43K 
[ ]dt_non_empty_r_2.con.types.xml.gz2004-04-08 12:57 47K 
[ ]dt_non_empty_r_2.con.xml.gz2004-04-08 12:57 734  
[ ]dt_non_empty_r_3.con.body.xml.gz2004-04-08 12:57 1.9K 
[ ]dt_non_empty_r_3.con.types.xml.gz2004-04-08 12:57 2.3K 
[ ]dt_non_empty_r_3.con.xml.gz2004-04-08 12:57 325  
[ ]dt_non_empty_r_4.con.body.xml.gz2004-04-08 12:57 71K 
[ ]dt_non_empty_r_4.con.types.xml.gz2004-04-08 12:57 90K 
[ ]dt_non_empty_r_4.con.xml.gz2004-04-08 12:57 884  
[ ]dt_non_empty_r_5.con.body.xml.gz2004-04-08 12:57 9.4K 
[ ]dt_non_empty_r_5.con.types.xml.gz2004-04-08 12:57 9.8K 
[ ]dt_non_empty_r_5.con.xml.gz2004-04-08 12:57 464  
[ ]dt_non_empty_r_def_0.con.body.xml.gz2004-04-08 12:57 947  
[ ]dt_non_empty_r_def_0.con.types.xml.gz2004-04-08 12:57 223  
[ ]dt_non_empty_r_def_0.con.xml.gz2004-04-08 12:57 317  
[ ]dta_app_ne.con.body.xml.gz2004-04-08 12:57 492  
[ ]dta_app_ne.con.types.xml.gz2004-04-08 12:57 208  
[ ]dta_app_ne.con.xml.gz2004-04-08 12:57 405  
[ ]dta_app_ne_aux.con.body.xml.gz2004-04-08 12:57 1.9K 
[ ]dta_app_ne_aux.con.types.xml.gz2004-04-08 12:57 215  
[ ]dta_app_ne_aux.con.xml.gz2004-04-08 12:57 431  
[ ]dta_app_ne_aux_def_ok.con.body.xml.gz2004-04-08 12:57 8.0K 
[ ]dta_app_ne_aux_def_ok.con.types.xml.gz2004-04-08 12:57 13K 
[ ]dta_app_ne_aux_def_ok.con.xml.gz2004-04-08 12:57 588  
[ ]dta_app_ne_def_ok.con.body.xml.gz2004-04-08 12:57 609  
[ ]dta_app_ne_def_ok.con.types.xml.gz2004-04-08 12:57 894  
[ ]dta_app_ne_def_ok.con.xml.gz2004-04-08 12:57 496  
[ ]dta_app_ne_inc.con.body.xml.gz2004-04-08 12:57 795  
[ ]dta_app_ne_inc.con.types.xml.gz2004-04-08 12:57 1.2K 
[ ]dta_app_ne_inc.con.xml.gz2004-04-08 12:57 467  
[ ]dta_app_ne_inc_0.con.body.xml.gz2004-04-08 12:57 47K 
[ ]dta_app_ne_inc_0.con.types.xml.gz2004-04-08 12:57 53K 
[ ]dta_app_ne_inc_0.con.xml.gz2004-04-08 12:57 624  
[ ]dta_app_ne_inc_1.con.body.xml.gz2004-04-08 12:57 1.8K 
[ ]dta_app_ne_inc_1.con.types.xml.gz2004-04-08 12:57 2.6K 
[ ]dta_app_ne_inc_1.con.xml.gz2004-04-08 12:57 626  
[ ]dta_app_ne_inc_2.con.body.xml.gz2004-04-08 12:57 6.9K 
[ ]dta_app_ne_inc_2.con.types.xml.gz2004-04-08 12:57 12K 
[ ]dta_app_ne_inc_2.con.xml.gz2004-04-08 12:57 654  
[ ]dta_app_ne_inc_3.con.body.xml.gz2004-04-08 12:57 15K 
[ ]dta_app_ne_inc_3.con.types.xml.gz2004-04-08 12:57 23K 
[ ]dta_app_ne_inc_3.con.xml.gz2004-04-08 12:57 657  
[ ]dta_non_empty_states.con.body.xml.gz2004-04-08 12:57 640  
[ ]dta_non_empty_states.con.types.xml.gz2004-04-08 12:57 222  
[ ]dta_non_empty_states.con.xml.gz2004-04-08 12:57 397  
[ ]dta_non_empty_states_lazy.con.body.xml.gz2004-04-08 12:57 635  
[ ]dta_non_empty_states_lazy.con.types.xml.gz2004-04-08 12:57 231  
[ ]dta_non_empty_states_lazy.con.xml.gz2004-04-08 12:57 407  
[ ]dta_states_non_empty.con.body.xml.gz2004-04-08 12:57 643  
[ ]dta_states_non_empty.con.types.xml.gz2004-04-08 12:57 223  
[ ]dta_states_non_empty.con.xml.gz2004-04-08 12:57 379  
[ ]dta_states_non_empty_lazy.con.body.xml.gz2004-04-08 12:57 652  
[ ]dta_states_non_empty_lazy.con.types.xml.gz2004-04-08 12:57 232  
[ ]dta_states_non_empty_lazy.con.xml.gz2004-04-08 12:57 389  
[ ]dta_states_non_empty_lazy_eg_dta_states_non_empty.con.body.xml.gz2004-04-08 12:57 1.7K 
[ ]dta_states_non_empty_lazy_eg_dta_states_non_empty.con.types.xml.gz2004-04-08 12:57 2.2K 
[ ]dta_states_non_empty_lazy_eg_dta_states_non_empty.con.xml.gz2004-04-08 12:57 555  
[ ]pl_non_empty.con.body.xml.gz2004-04-08 12:57 1.5K 
[ ]pl_non_empty.con.types.xml.gz2004-04-08 12:57 210  
[ ]pl_non_empty.con.xml.gz2004-04-08 12:57 384  
[ ]pl_non_empty_path_true.con.body.xml.gz2004-04-08 12:57 703  
[ ]pl_non_empty_path_true.con.types.xml.gz2004-04-08 12:57 756  
[ ]pl_non_empty_path_true.con.xml.gz2004-04-08 12:57 653  
[ ]pl_non_empty_path_true_0.con.body.xml.gz2004-04-08 12:57 609  
[ ]pl_non_empty_path_true_0.con.types.xml.gz2004-04-08 12:57 799  
[ ]pl_non_empty_path_true_0.con.xml.gz2004-04-08 12:57 354  
[ ]pl_non_empty_path_true_1.con.body.xml.gz2004-04-08 12:57 13K 
[ ]pl_non_empty_path_true_1.con.types.xml.gz2004-04-08 12:57 16K 
[ ]pl_non_empty_path_true_1.con.xml.gz2004-04-08 12:57 634  
[ ]pl_non_empty_path_true_2.con.body.xml.gz2004-04-08 12:57 34K 
[ ]pl_non_empty_path_true_2.con.types.xml.gz2004-04-08 12:57 55K 
[ ]pl_non_empty_path_true_2.con.xml.gz2004-04-08 12:57 687  
[ ]pl_non_empty_path_true_def_0.con.body.xml.gz2004-04-08 12:57 699  
[ ]pl_non_empty_path_true_def_0.con.types.xml.gz2004-04-08 12:57 237  
[ ]pl_non_empty_path_true_def_0.con.xml.gz2004-04-08 12:57 359  
[ ]pl_non_empty_path_true_rev.con.body.xml.gz2004-04-08 12:57 56K 
[ ]pl_non_empty_path_true_rev.con.types.xml.gz2004-04-08 12:57 64K 
[ ]pl_non_empty_path_true_rev.con.xml.gz2004-04-08 12:57 746  
[ ]pl_path_true.ind.types.xml.gz2004-04-08 12:57 212  
[ ]pl_path_true.ind.xml.gz2004-04-08 12:57 921  
[ ]pl_path_true_ind.con.body.xml.gz2004-04-08 12:57 1.8K 
[ ]pl_path_true_ind.con.types.xml.gz2004-04-08 12:57 1.8K 
[ ]pl_path_true_ind.con.xml.gz2004-04-08 12:57 1.1K 
[ ]st_non_empty.con.body.xml.gz2004-04-08 12:57 1.0K 
[ ]st_non_empty.con.types.xml.gz2004-04-08 12:57 210  
[ ]st_non_empty.con.xml.gz2004-04-08 12:57 396  
[ ]st_non_empty_0.con.body.xml.gz2004-04-08 12:57 13K 
[ ]st_non_empty_0.con.types.xml.gz2004-04-08 12:57 15K 
[ ]st_non_empty_0.con.xml.gz2004-04-08 12:57 805  
[ ]st_non_empty_1.con.body.xml.gz2004-04-08 12:57 29K 
[ ]st_non_empty_1.con.types.xml.gz2004-04-08 12:57 42K 
[ ]st_non_empty_1.con.xml.gz2004-04-08 12:57 1.0K 
Apache/2.4.57 (Debian) Server at mowgli.cs.unibo.it Port 80