Index of /xml/Rocq/TreeAutomata/pl_path

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]pl_path_rec_equiv_1_2.con.types.xml.gz2004-04-08 12:57 51K 
[ ]pl_path_rec_equiv_1_2.con.body.xml.gz2004-04-08 12:57 41K 
[ ]liste_rec_length_2.con.types.xml.gz2004-04-08 12:57 39K 
[ ]pl_path_rec_equiv_1_1.con.types.xml.gz2004-04-08 12:57 34K 
[ ]liste_rec_length_2.con.body.xml.gz2004-04-08 12:57 31K 
[ ]liste_rec_length_1.con.types.xml.gz2004-04-08 12:57 31K 
[ ]pl_path_rec_equiv_1_1.con.body.xml.gz2004-04-08 12:57 30K 
[ ]forall_incl_length.con.types.xml.gz2004-04-08 12:57 25K 
[ ]forall_incl_length.con.body.xml.gz2004-04-08 12:57 25K 
[ ]liste_rec_length_1.con.body.xml.gz2004-04-08 12:57 24K 
[ ]pl_path_incl_length_2.con.types.xml.gz2004-04-08 12:57 19K 
[ ]pl_path_incl_length_2.con.body.xml.gz2004-04-08 12:57 16K 
[ ]pl_path_rec_length.con.types.xml.gz2004-04-08 12:57 15K 
[ ]pl_path_incl_length_1.con.types.xml.gz2004-04-08 12:57 14K 
[ ]pl_path_rec_length.con.body.xml.gz2004-04-08 12:57 12K 
[ ]pl_path_incl_length_1.con.body.xml.gz2004-04-08 12:57 11K 
[ ]pl_path_rec_equiv_0_0.con.types.xml.gz2004-04-08 12:57 9.8K 
[ ]pl_path_rec_equiv_0_2.con.types.xml.gz2004-04-08 12:57 9.6K 
[ ]pl_path_rec_equiv_0_2.con.body.xml.gz2004-04-08 12:57 8.8K 
[ ]pl_path_rec_equiv_0_0.con.body.xml.gz2004-04-08 12:57 6.2K 
[ ]pl_path_rec_equiv_1_0.con.types.xml.gz2004-04-08 12:57 4.9K 
[ ]liste_rec_length_0.con.types.xml.gz2004-04-08 12:57 4.6K 
[ ]pl_path_rec_equiv_1_0.con.body.xml.gz2004-04-08 12:57 4.6K 
[ ]pl_path_incl_length_0.con.types.xml.gz2004-04-08 12:57 4.5K 
[ ]liste_rec_length_0.con.body.xml.gz2004-04-08 12:57 3.5K 
[ ]pl_path_incl_length_0.con.body.xml.gz2004-04-08 12:57 3.4K 
[ ]pl_path_rec_equiv_0_1.con.types.xml.gz2004-04-08 12:57 3.2K 
[ ]non_empty_pl_path_exists.con.types.xml.gz2004-04-08 12:57 3.0K 
[ ]pl_path_rec_equiv_0_1.con.body.xml.gz2004-04-08 12:57 2.5K 
[ ]non_empty_pl_path_exists.con.body.xml.gz2004-04-08 12:57 2.5K 
[ ]INDEX2005-07-05 08:12 2.3K 
[ ]pl_path_incl_ind.con.body.xml.gz2004-04-08 12:57 1.9K 
[ ]pl_path_incl_ind.con.types.xml.gz2004-04-08 12:57 1.9K 
[ ]pl_path_recon_ind.con.types.xml.gz2004-04-08 12:57 1.7K 
[ ]pl_path_recon_ind.con.body.xml.gz2004-04-08 12:57 1.7K 
[ ]pl_path_exists.con.types.xml.gz2004-04-08 12:57 1.4K 
[ ]pl_path_exists.con.body.xml.gz2004-04-08 12:57 1.4K 
[ ]pl_path_rec_equiv_0.con.types.xml.gz2004-04-08 12:57 1.3K 
[ ]pl_path_rec_equiv_0.con.body.xml.gz2004-04-08 12:57 1.2K 
[ ]pl_path_incl_ind.con.xml.gz2004-04-08 12:57 1.1K 
[ ]pl_path_recon_ind.con.xml.gz2004-04-08 12:57 1.0K 
[ ]pl_path_rect.con.body.xml.gz2004-04-08 12:57 1.0K 
[ ]pl_path_incl.ind.xml.gz2004-04-08 12:57 922  
[ ]pl_path_recon.ind.xml.gz2004-04-08 12:57 827  
[ ]pl_path_ind.con.types.xml.gz2004-04-08 12:57 790  
[ ]pl_path_rec_equiv_0_1.con.xml.gz2004-04-08 12:57 752  
[ ]pl_path_rec_equiv_0_2.con.xml.gz2004-04-08 12:57 746  
[ ]liste_rec_length_1.con.xml.gz2004-04-08 12:57 745  
[ ]liste_rec_length_2.con.xml.gz2004-04-08 12:57 741  
[ ]pl_path_rec_equiv_1.con.body.xml.gz2004-04-08 12:57 735  
[ ]pl_path_rec_equiv_1.con.types.xml.gz2004-04-08 12:57 717  
[ ]liste_rec_length.con.types.xml.gz2004-04-08 12:57 702  
[ ]pl_path_rec_equiv_0_def.con.body.xml.gz2004-04-08 12:57 699  
[ ]pl_path_length.con.body.xml.gz2004-04-08 12:57 698  
[ ]non_empty_pl_path_exists.con.xml.gz2004-04-08 12:57 697  
[ ]pl_path_rec_equiv_1_def.con.body.xml.gz2004-04-08 12:57 691  
[ ]pl_path_rec_equiv_1_2.con.xml.gz2004-04-08 12:57 672  
[ ]pl_path_incl_length_2.con.xml.gz2004-04-08 12:57 672  
[ ]pl_path_rec_equiv_0.con.xml.gz2004-04-08 12:57 661  
[ ]liste_rec_length_def.con.body.xml.gz2004-04-08 12:57 660  
[ ]liste_rec_length.con.body.xml.gz2004-04-08 12:57 659  
[ ]pl_path_rec_equiv_1.con.xml.gz2004-04-08 12:57 649  
[ ]pl_path_incl_length.con.types.xml.gz2004-04-08 12:57 648  
[ ]pl_path_incl_length.con.body.xml.gz2004-04-08 12:57 641  
[ ]pl_path_rec_equiv_1_1.con.xml.gz2004-04-08 12:57 621  
[ ]pl_path_incl_length_1.con.xml.gz2004-04-08 12:57 620  
[ ]liste_rec_length.con.xml.gz2004-04-08 12:57 609  
[ ]pl_path_incl_length_def.con.body.xml.gz2004-04-08 12:57 605  
[ ]forall_incl_length.con.xml.gz2004-04-08 12:57 603  
[ ]pl_path_ind.con.xml.gz2004-04-08 12:57 602  
[ ]pl_path_rect.con.xml.gz2004-04-08 12:57 596  
[ ]pl_path_rec.con.xml.gz2004-04-08 12:57 596  
[ ]pl_path_rec_length.con.xml.gz2004-04-08 12:57 561  
[ ]pl_path_incl_length.con.xml.gz2004-04-08 12:57 560  
[ ]pl_path_rec_equiv_0_3.con.types.xml.gz2004-04-08 12:57 548  
[ ]liste_rec_length_3.con.types.xml.gz2004-04-08 12:57 545  
[ ]pl_path_rec_equiv_0_3.con.xml.gz2004-04-08 12:57 527  
[ ]liste_rec_length_3.con.xml.gz2004-04-08 12:57 522  
[ ]pl_path_rec_equiv_1_3.con.types.xml.gz2004-04-08 12:57 487  
[ ]pl_path_incl_length_3.con.types.xml.gz2004-04-08 12:57 485  
[ ]pl_path_exists.con.xml.gz2004-04-08 12:57 469  
[ ]pl_path_incl_length_3.con.xml.gz2004-04-08 12:57 466  
[ ]pl_path_rec_equiv_1_3.con.xml.gz2004-04-08 12:57 465  
[ ]pl_path_rec_equiv_0_0.con.xml.gz2004-04-08 12:57 435  
[ ]liste_rec_length_0.con.xml.gz2004-04-08 12:57 431  
[ ]pl_path_ind.con.body.xml.gz2004-04-08 12:57 417  
[ ]pl_path_rec.con.body.xml.gz2004-04-08 12:57 414  
[ ]pl_path.ind.xml.gz2004-04-08 12:57 394  
[ ]pl_path_rec_equiv_0_def.con.xml.gz2004-04-08 12:57 379  
[ ]liste_rec_length_def.con.xml.gz2004-04-08 12:57 369  
[ ]pl_path_rec_equiv_1_def.con.xml.gz2004-04-08 12:57 348  
[ ]pl_path_incl_length_def.con.xml.gz2004-04-08 12:57 348  
[ ]pl_path_rec_equiv_0_3.con.body.xml.gz2004-04-08 12:57 346  
[ ]liste_rec_length_3.con.body.xml.gz2004-04-08 12:57 341  
[ ]pl_path_rec_equiv_1_0.con.xml.gz2004-04-08 12:57 339  
[ ]pl_path_incl_length_0.con.xml.gz2004-04-08 12:57 339  
[ ]pl_path_rec_equiv_1_3.con.body.xml.gz2004-04-08 12:57 332  
[ ]pl_path_incl_length_3.con.body.xml.gz2004-04-08 12:57 327  
[ ]pl_path_length.con.xml.gz2004-04-08 12:57 312  
[ ]pl_path_rec_equiv_1_def.con.types.xml.gz2004-04-08 12:57 228  
[ ]pl_path_rec_equiv_0_def.con.types.xml.gz2004-04-08 12:57 228  
[ ]pl_path_incl_length_def.con.types.xml.gz2004-04-08 12:57 227  
[ ]liste_rec_length_def.con.types.xml.gz2004-04-08 12:57 225  
[ ]pl_path_length.con.types.xml.gz2004-04-08 12:57 212  
[ ]pl_path_recon.ind.types.xml.gz2004-04-08 12:57 210  
[ ]pl_path_rect.con.types.xml.gz2004-04-08 12:57 209  
[ ]pl_path_incl.ind.types.xml.gz2004-04-08 12:57 208  
[ ]pl_path_rec.con.types.xml.gz2004-04-08 12:57 207  
[ ]pl_path.ind.types.xml.gz2004-04-08 12:57 200  
Apache/2.4.62 (Debian) Server at mowgli.cs.unibo.it Port 80