Index of /xml/Rocq/TreeAutomata/defs

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]DTA.ind.types.xml.gz2004-04-08 12:54 192  
[ ]term.ind.types.xml.gz2004-04-08 12:54 193  
[ ]state.con.types.xml.gz2004-04-08 12:54 196  
[ ]preDTA.con.types.xml.gz2004-04-08 12:54 198  
[ ]state.con.xml.gz2004-04-08 12:54 198  
[ ]DTA_rec.con.types.xml.gz2004-04-08 12:54 200  
[ ]preDTA.con.xml.gz2004-04-08 12:54 201  
[ ]DTA_rect.con.types.xml.gz2004-04-08 12:54 202  
[ ]taille_0.con.types.xml.gz2004-04-08 12:54 202  
[ ]taille_1.con.types.xml.gz2004-04-08 12:54 202  
[ ]term_rec.con.types.xml.gz2004-04-08 12:54 202  
[ ]prec_list.ind.types.xml.gz2004-04-08 12:54 203  
[ ]term_rect.con.types.xml.gz2004-04-08 12:54 203  
[ ]term_high.con.types.xml.gz2004-04-08 12:54 204  
[ ]term_occur.ind.types.xml.gz2004-04-08 12:54 204  
[ ]DTA_taille.con.types.xml.gz2004-04-08 12:54 205  
[ ]lst_length.con.types.xml.gz2004-04-08 12:54 205  
[ ]prec_occur.ind.types.xml.gz2004-04-08 12:54 205  
[ ]prec_in_dta.con.types.xml.gz2004-04-08 12:54 207  
[ ]taille_term.con.types.xml.gz2004-04-08 12:54 207  
[ ]term_high_0.con.types.xml.gz2004-04-08 12:54 207  
[ ]state_in_dta.con.types.xml.gz2004-04-08 12:54 208  
[ ]prec_list_rec.con.types.xml.gz2004-04-08 12:54 210  
[ ]prec_contained.ind.types.xml.gz2004-04-08 12:54 211  
[ ]prec_in_state.con.types.xml.gz2004-04-08 12:54 211  
[ ]term_list_rec.con.types.xml.gz2004-04-08 12:54 211  
[ ]prec_list_rect.con.types.xml.gz2004-04-08 12:54 212  
[ ]term_list_rect.con.types.xml.gz2004-04-08 12:54 212  
[ ]term_occur_def_0.con.types.xml.gz2004-04-08 12:54 215  
[ ]term_occur_def_1.con.types.xml.gz2004-04-08 12:54 215  
[ ]prec_in_dta_cont.con.types.xml.gz2004-04-08 12:54 216  
[ ]prec_in_dta_diff.con.types.xml.gz2004-04-08 12:54 216  
[ ]mtaille_term_list.con.types.xml.gz2004-04-08 12:54 217  
[ ]state_in_dta_diff.con.types.xml.gz2004-04-08 12:54 217  
[ ]term_list_term_rec.con.types.xml.gz2004-04-08 12:54 218  
[ ]term_term_list_rec.con.types.xml.gz2004-04-08 12:54 219  
[ ]indprinciple_3_aux.con.types.xml.gz2004-04-08 12:54 220  
[ ]prec_in_dta_diff_cont.con.types.xml.gz2004-04-08 12:54 225  
[ ]state.con.body.xml.gz2004-04-08 12:54 306  
[ ]taille_0.con.xml.gz2004-04-08 12:54 306  
[ ]term_high.con.xml.gz2004-04-08 12:54 306  
[ ]taille_term.con.xml.gz2004-04-08 12:54 308  
[ ]lst_length.con.xml.gz2004-04-08 12:54 309  
[ ]term_occur_0_1.con.xml.gz2004-04-08 12:54 309  
[ ]indprinciple_3_aux.con.xml.gz2004-04-08 12:54 312  
[ ]term_high_0.con.xml.gz2004-04-08 12:54 312  
[ ]term_occur_def_0.con.xml.gz2004-04-08 12:54 314  
[ ]term_occur_def_1.con.xml.gz2004-04-08 12:54 314  
[ ]preDTA.con.body.xml.gz2004-04-08 12:54 318  
[ ]taille_1.con.xml.gz2004-04-08 12:54 320  
[ ]mtaille_term_list.con.xml.gz2004-04-08 12:54 321  
[ ]state_in_dta.con.xml.gz2004-04-08 12:54 322  
[ ]DTA_taille.con.xml.gz2004-04-08 12:54 324  
[ ]indprinciple_3_0.con.xml.gz2004-04-08 12:54 324  
[ ]term_occur_0.con.body.xml.gz2004-04-08 12:54 327  
[ ]term_occur_1.con.body.xml.gz2004-04-08 12:54 327  
[ ]indprinciple_3_2.con.body.xml.gz2004-04-08 12:54 330  
[ ]prec_in_dta.con.xml.gz2004-04-08 12:54 340  
[ ]prec_in_state.con.xml.gz2004-04-08 12:54 340  
[ ]prec_in_dta_cont.con.xml.gz2004-04-08 12:54 346  
[ ]state_in_dta_diff.con.xml.gz2004-04-08 12:54 370  
[ ]prec_in_dta_diff.con.xml.gz2004-04-08 12:54 371  
[ ]prec_in_dta_diff_cont.con.xml.gz2004-04-08 12:54 380  
[ ]DTA.ind.xml.gz2004-04-08 12:54 395  
[ ]state_in_dta_M0_false.con.body.xml.gz2004-04-08 12:54 398  
[ ]prec_in_state_M0_false.con.body.xml.gz2004-04-08 12:54 408  
[ ]DTA_rec.con.body.xml.gz2004-04-08 12:54 409  
[ ]prec_list.ind.xml.gz2004-04-08 12:54 410  
[ ]term_rec.con.body.xml.gz2004-04-08 12:54 410  
[ ]DTA_ind.con.body.xml.gz2004-04-08 12:54 412  
[ ]term_ind.con.body.xml.gz2004-04-08 12:54 413  
[ ]term_list_rec.con.body.xml.gz2004-04-08 12:54 419  
[ ]prec_list_rec.con.body.xml.gz2004-04-08 12:54 421  
[ ]term_list_ind.con.body.xml.gz2004-04-08 12:54 423  
[ ]prec_list_ind.con.body.xml.gz2004-04-08 12:54 424  
[ ]term.ind.xml.gz2004-04-08 12:54 450  
[ ]indprinciple_3_1.con.xml.gz2004-04-08 12:54 458  
[ ]ad_double_inv_ad_z.con.xml.gz2004-04-08 12:54 473  
[ ]high_aux_4.con.xml.gz2004-04-08 12:54 482  
[ ]term_occur_0.con.xml.gz2004-04-08 12:54 482  
[ ]high_aux_3.con.xml.gz2004-04-08 12:54 488  
[ ]term_occur_1.con.xml.gz2004-04-08 12:54 488  
[ ]term_occur_0_0.con.xml.gz2004-04-08 12:54 491  
[ ]state_in_dta_M0_false.con.xml.gz2004-04-08 12:54 497  
[ ]term_occur_0_2.con.xml.gz2004-04-08 12:54 500  
[ ]high_aux_2.con.xml.gz2004-04-08 12:54 505  
[ ]prec_in_state_M0_false.con.xml.gz2004-04-08 12:54 508  
[ ]term_occur_def_0.con.body.xml.gz2004-04-08 12:54 522  
[ ]ad_double_plus_un_inv_xH.con.xml.gz2004-04-08 12:54 525  
[ ]high_aux_0.con.xml.gz2004-04-08 12:54 525  
[ ]high_aux_1.con.xml.gz2004-04-08 12:54 529  
[ ]term_rect.con.xml.gz2004-04-08 12:54 529  
[ ]taille_aux_1.con.xml.gz2004-04-08 12:54 530  
[ ]term_occur_def_1.con.body.xml.gz2004-04-08 12:54 530  
[ ]prec_contained_0.con.xml.gz2004-04-08 12:54 535  
[ ]prec_contained_1.con.xml.gz2004-04-08 12:54 535  
[ ]term_rec.con.xml.gz2004-04-08 12:54 536  
[ ]prec_occur_1.con.xml.gz2004-04-08 12:54 538  
[ ]term_ind.con.xml.gz2004-04-08 12:54 539  
[ ]DTA_rect.con.xml.gz2004-04-08 12:54 548  
[ ]taille_aux_2.con.xml.gz2004-04-08 12:54 551  
[ ]taille_aux_0.con.xml.gz2004-04-08 12:54 552  
[ ]DTA_rec.con.xml.gz2004-04-08 12:54 554  
[ ]DTA_ind.con.xml.gz2004-04-08 12:54 558  
[ ]ad_double_inv_xO.con.xml.gz2004-04-08 12:54 558  
[ ]term_occur_0.con.types.xml.gz2004-04-08 12:54 560  
[ ]term_occur_1.con.types.xml.gz2004-04-08 12:54 564  
[ ]taille_aux_0.con.body.xml.gz2004-04-08 12:54 580  
[ ]ad_double_plus_un_inv_xI.con.xml.gz2004-04-08 12:54 582  
[ ]taille_aux_2.con.body.xml.gz2004-04-08 12:54 582  
[ ]term_list_rec.con.xml.gz2004-04-08 12:54 587  
[ ]term_list_rect.con.xml.gz2004-04-08 12:54 587  
[ ]term_list_ind.con.xml.gz2004-04-08 12:54 592  
[ ]term_list_disj.con.xml.gz2004-04-08 12:54 629  
[ ]prec_list_rect.con.xml.gz2004-04-08 12:54 649  
[ ]prec_list_rec.con.xml.gz2004-04-08 12:54 651  
[ ]state_in_dta.con.body.xml.gz2004-04-08 12:54 652  
[ ]prec_in_state.con.body.xml.gz2004-04-08 12:54 653  
[ ]prec_list_ind.con.xml.gz2004-04-08 12:54 654  
[ ]term_ind.con.types.xml.gz2004-04-08 12:54 663  
[ ]indprinciple_term.con.xml.gz2004-04-08 12:54 664  
[ ]term_rect.con.body.xml.gz2004-04-08 12:54 673  
[ ]DTA_ind.con.types.xml.gz2004-04-08 12:54 682  
[ ]lst_length.con.body.xml.gz2004-04-08 12:54 688  
[ ]DTA_rect.con.body.xml.gz2004-04-08 12:54 689  
[ ]pl_sum.con.xml.gz2004-04-08 12:54 698  
[ ]term_occur_ind.con.xml.gz2004-04-08 12:54 722  
[ ]state_in_dta_diff.con.body.xml.gz2004-04-08 12:54 754  
[ ]indprinciple_3_2.con.xml.gz2004-04-08 12:54 763  
[ ]taille_0.con.body.xml.gz2004-04-08 12:54 764  
[ ]term_list_term_rec.con.xml.gz2004-04-08 12:54 768  
[ ]term_term_list_rec.con.xml.gz2004-04-08 12:54 769  
[ ]term_list_term_ind.con.xml.gz2004-04-08 12:54 772  
[ ]term_term_list_ind.con.xml.gz2004-04-08 12:54 773  
[ ]term_list_ind.con.types.xml.gz2004-04-08 12:54 779  
[ ]term_occur_ind.con.types.xml.gz2004-04-08 12:54 788  
[ ]prec_contained.ind.xml.gz2004-04-08 12:54 796  
[ ]indprinciple_term.con.types.xml.gz2004-04-08 12:54 805  
[ ]indprinciple_3_aux.con.body.xml.gz2004-04-08 12:54 808  
[ ]indprinciple_term.con.body.xml.gz2004-04-08 12:54 811  
[ ]term_list_occur_ind.con.xml.gz2004-04-08 12:54 830  
[ ]prec_occur.ind.xml.gz2004-04-08 12:54 853  
[ ]indprinciple_3_2.con.types.xml.gz2004-04-08 12:54 866  
[ ]prec_list_ind.con.types.xml.gz2004-04-08 12:54 871  
[ ]state_in_dta_M0_false.con.types.xml.gz2004-04-08 12:54 872  
[ ]taille_aux_0.con.types.xml.gz2004-04-08 12:54 874  
[ ]prec_in_state_M0_false.con.types.xml.gz2004-04-08 12:54 875  
[ ]taille_aux_2.con.types.xml.gz2004-04-08 12:54 878  
[ ]prec_in_dta.con.body.xml.gz2004-04-08 12:54 892  
[ ]term_high.con.body.xml.gz2004-04-08 12:54 906  
[ ]term_high_0.con.body.xml.gz2004-04-08 12:54 908  
[ ]DTA_taille.con.body.xml.gz2004-04-08 12:54 913  
[ ]taille_1.con.body.xml.gz2004-04-08 12:54 914  
[ ]taille_term.con.body.xml.gz2004-04-08 12:54 917  
[ ]term_occur.ind.xml.gz2004-04-08 12:54 923  
[ ]term_occur_ind.con.body.xml.gz2004-04-08 12:54 923  
[ ]mtaille_term_list.con.body.xml.gz2004-04-08 12:54 924  
[ ]term_list_rect.con.body.xml.gz2004-04-08 12:54 962  
[ ]prec_contained_ind.con.xml.gz2004-04-08 12:54 966  
[ ]prec_occur_ind.con.xml.gz2004-04-08 12:54 1.0K 
[ ]prec_in_dta_diff.con.body.xml.gz2004-04-08 12:54 1.0K 
[ ]prec_in_dta_cont.con.body.xml.gz2004-04-08 12:54 1.0K 
[ ]prec_list_rect.con.body.xml.gz2004-04-08 12:54 1.0K 
[ ]high_aux_0.con.body.xml.gz2004-04-08 12:54 1.1K 
[ ]high_aux_3.con.body.xml.gz2004-04-08 12:54 1.1K 
[ ]high_aux_1.con.body.xml.gz2004-04-08 12:54 1.1K 
[ ]high_aux_2.con.body.xml.gz2004-04-08 12:54 1.1K 
[ ]prec_in_dta_diff_cont.con.body.xml.gz2004-04-08 12:54 1.1K 
[ ]term_term_list_ind.con.types.xml.gz2004-04-08 12:54 1.2K 
[ ]term_list_term_ind.con.types.xml.gz2004-04-08 12:54 1.2K 
[ ]high_aux_2.con.types.xml.gz2004-04-08 12:54 1.3K 
[ ]term_term_list_rec.con.body.xml.gz2004-04-08 12:54 1.3K 
[ ]term_list_term_rec.con.body.xml.gz2004-04-08 12:54 1.3K 
[ ]term_list_term_ind.con.body.xml.gz2004-04-08 12:54 1.4K 
[ ]term_term_list_ind.con.body.xml.gz2004-04-08 12:54 1.4K 
[ ]term_list_occur_ind.con.body.xml.gz2004-04-08 12:54 1.5K 
[ ]term_list_occur_ind.con.types.xml.gz2004-04-08 12:54 1.5K 
[ ]high_aux_0.con.types.xml.gz2004-04-08 12:54 1.6K 
[ ]high_aux_4.con.body.xml.gz2004-04-08 12:54 1.6K 
[ ]high_aux_1.con.types.xml.gz2004-04-08 12:54 1.6K 
[ ]prec_contained_ind.con.body.xml.gz2004-04-08 12:54 1.7K 
[ ]high_aux_3.con.types.xml.gz2004-04-08 12:54 1.7K 
[ ]prec_contained_ind.con.types.xml.gz2004-04-08 12:54 1.7K 
[ ]taille_aux_1.con.body.xml.gz2004-04-08 12:54 1.8K 
[ ]term_list_disj.con.body.xml.gz2004-04-08 12:54 1.8K 
[ ]ad_double_inv_ad_z.con.body.xml.gz2004-04-08 12:54 1.8K 
[ ]prec_occur_ind.con.body.xml.gz2004-04-08 12:54 1.8K 
[ ]ad_double_inv_ad_z.con.types.xml.gz2004-04-08 12:54 1.9K 
[ ]prec_occur_ind.con.types.xml.gz2004-04-08 12:54 1.9K 
[ ]taille_aux_1.con.types.xml.gz2004-04-08 12:54 2.0K 
[ ]term_list_disj.con.types.xml.gz2004-04-08 12:54 2.0K 
[ ]ad_double_plus_un_inv_xH.con.body.xml.gz2004-04-08 12:54 2.1K 
[ ]ad_double_plus_un_inv_xH.con.types.xml.gz2004-04-08 12:54 2.2K 
[ ]high_aux_4.con.types.xml.gz2004-04-08 12:54 2.3K 
[ ]pl_sum.con.body.xml.gz2004-04-08 12:54 2.5K 
[ ]indprinciple_3_1.con.body.xml.gz2004-04-08 12:54 2.5K 
[ ]pl_sum.con.types.xml.gz2004-04-08 12:54 2.9K 
[ ]indprinciple_3_0.con.body.xml.gz2004-04-08 12:54 2.9K 
[ ]indprinciple_3_1.con.types.xml.gz2004-04-08 12:54 3.2K 
[ ]indprinciple_3_0.con.types.xml.gz2004-04-08 12:54 3.4K 
[ ]ad_double_inv_xO.con.body.xml.gz2004-04-08 12:54 3.4K 
[ ]ad_double_plus_un_inv_xI.con.body.xml.gz2004-04-08 12:54 3.6K 
[ ]ad_double_inv_xO.con.types.xml.gz2004-04-08 12:54 3.8K 
[ ]INDEX2005-07-05 08:12 4.0K 
[ ]ad_double_plus_un_inv_xI.con.types.xml.gz2004-04-08 12:54 4.1K 
[ ]term_occur_0_1.con.body.xml.gz2004-04-08 12:54 4.3K 
[ ]term_occur_0_0.con.body.xml.gz2004-04-08 12:54 5.4K 
[ ]term_occur_0_1.con.types.xml.gz2004-04-08 12:54 5.8K 
[ ]term_occur_0_0.con.types.xml.gz2004-04-08 12:54 6.3K 
[ ]term_occur_0_2.con.body.xml.gz2004-04-08 12:54 8.8K 
[ ]term_occur_0_2.con.types.xml.gz2004-04-08 12:54 11K 
[ ]prec_contained_0.con.body.xml.gz2004-04-08 12:54 18K 
[ ]prec_contained_1.con.body.xml.gz2004-04-08 12:54 18K 
[ ]prec_occur_1.con.body.xml.gz2004-04-08 12:54 18K 
[ ]prec_contained_0.con.types.xml.gz2004-04-08 12:54 20K 
[ ]prec_contained_1.con.types.xml.gz2004-04-08 12:54 20K 
[ ]prec_occur_1.con.types.xml.gz2004-04-08 12:54 20K 
Apache/2.4.62 (Debian) Server at mowgli.cs.unibo.it Port 80