Index of /xml/Rocq/TreeAutomata/bases

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]max_le_Sr_0.con.types.xml.gz2004-04-08 12:54 11K 
[ ]aux_ad_eq_1_1.con.types.xml.gz2004-04-08 12:54 10K 
[ ]max_le_Sr_0.con.body.xml.gz2004-04-08 12:54 9.1K 
[ ]in_M2_disj.con.types.xml.gz2004-04-08 12:54 8.8K 
[ ]in_M1_id.con.body.xml.gz2004-04-08 12:54 8.7K 
[ ]aux_ad_eq_1_1.con.body.xml.gz2004-04-08 12:54 8.2K 
[ ]le_mult_l.con.types.xml.gz2004-04-08 12:54 7.1K 
[ ]in_M1_id.con.types.xml.gz2004-04-08 12:54 7.0K 
[ ]in_M2_disj.con.body.xml.gz2004-04-08 12:54 6.0K 
[ ]Sn_eq_Sm_n_eq_m.con.types.xml.gz2004-04-08 12:54 5.8K 
[ ]le_mult_l.con.body.xml.gz2004-04-08 12:54 5.6K 
[ ]Sn_eq_Sm_n_eq_m.con.body.xml.gz2004-04-08 12:54 5.2K 
[ ]beq_nat_complete.con.types.xml.gz2004-04-08 12:54 3.9K 
[ ]beq_nat_complete.con.body.xml.gz2004-04-08 12:54 3.7K 
[ ]in_M0_false.con.body.xml.gz2004-04-08 12:54 2.3K 
[ ]in_M0_false.con.types.xml.gz2004-04-08 12:54 2.1K 
[ ]le_mult_lS.con.types.xml.gz2004-04-08 12:54 2.1K 
[ ]le_mult_rS.con.types.xml.gz2004-04-08 12:54 2.0K 
[ ]indprinciple_nat_gen.con.body.xml.gz2004-04-08 12:54 2.0K 
[ ]indprinciple_nat_gen.con.types.xml.gz2004-04-08 12:54 1.7K 
[ ]le_mult_r.con.types.xml.gz2004-04-08 12:54 1.7K 
[ ]le_disj.con.types.xml.gz2004-04-08 12:54 1.5K 
[ ]INDEX2005-07-05 08:12 1.5K 
[ ]nat_sum.con.types.xml.gz2004-04-08 12:54 1.4K 
[ ]bool_dec_eq.con.body.xml.gz2004-04-08 12:54 1.4K 
[ ]le_mult_r.con.body.xml.gz2004-04-08 12:54 1.4K 
[ ]le_mult_rS.con.body.xml.gz2004-04-08 12:54 1.3K 
[ ]le_disj.con.body.xml.gz2004-04-08 12:54 1.3K 
[ ]nat_sum.con.body.xml.gz2004-04-08 12:54 1.3K 
[ ]le_mult_mult.con.types.xml.gz2004-04-08 12:54 1.2K 
[ ]le_mult_lS.con.body.xml.gz2004-04-08 12:54 1.2K 
[ ]le_l_or_r.con.types.xml.gz2004-04-08 12:54 1.1K 
[ ]aux_ad_eq_1_0.con.types.xml.gz2004-04-08 12:54 1.1K 
[ ]le_mult_mult.con.body.xml.gz2004-04-08 12:54 1.1K 
[ ]in_M2_disj.con.xml.gz2004-04-08 12:54 1.1K 
[ ]le_l_or_r.con.body.xml.gz2004-04-08 12:54 1.1K 
[ ]max_le_Sr.con.types.xml.gz2004-04-08 12:54 1.0K 
[ ]S_plus_r.con.types.xml.gz2004-04-08 12:54 1.0K 
[ ]S_plus_r.con.body.xml.gz2004-04-08 12:54 1.0K 
[ ]plus_n_O.con.types.xml.gz2004-04-08 12:54 1.0K 
[ ]plus_O_r.con.types.xml.gz2004-04-08 12:54 1.0K 
[ ]plus_O_l.con.types.xml.gz2004-04-08 12:54 1.0K 
[ ]max_le_Sr.con.body.xml.gz2004-04-08 12:54 962  
[ ]beq_nat_correct.con.types.xml.gz2004-04-08 12:54 916  
[ ]plus_O_r.con.body.xml.gz2004-04-08 12:54 886  
[ ]plus_n_O.con.body.xml.gz2004-04-08 12:54 885  
[ ]plus_O_l.con.body.xml.gz2004-04-08 12:54 885  
[ ]aux_ad_eq_trans.con.body.xml.gz2004-04-08 12:54 812  
[ ]bool_is_true_or_false.con.types.xml.gz2004-04-08 12:54 786  
[ ]bool_is_false_or_true.con.types.xml.gz2004-04-08 12:54 784  
[ ]in_M1_id.con.xml.gz2004-04-08 12:54 770  
[ ]bool_is_true_or_false.con.body.xml.gz2004-04-08 12:54 769  
[ ]bool_is_false_or_true.con.body.xml.gz2004-04-08 12:54 769  
[ ]aux_ad_eq_1_0.con.body.xml.gz2004-04-08 12:54 752  
[ ]S_plus_l.con.types.xml.gz2004-04-08 12:54 733  
[ ]aux_ad_eq_trans.con.types.xml.gz2004-04-08 12:54 731  
[ ]in_M0_false.con.xml.gz2004-04-08 12:54 679  
[ ]beq_nat_correct.con.body.xml.gz2004-04-08 12:54 676  
[ ]le_n_n.con.types.xml.gz2004-04-08 12:54 650  
[ ]indprinciple_nat_gen.con.xml.gz2004-04-08 12:54 645  
[ ]le_n_n.con.body.xml.gz2004-04-08 12:54 616  
[ ]max_le_Sr_0.con.xml.gz2004-04-08 12:54 602  
[ ]aux_ad_eq_trans.con.xml.gz2004-04-08 12:54 576  
[ ]le_mult_mult.con.xml.gz2004-04-08 12:54 538  
[ ]nat_sum.con.xml.gz2004-04-08 12:54 524  
[ ]aux_ad_eq_1_1.con.xml.gz2004-04-08 12:54 519  
[ ]beq_nat_complete.con.xml.gz2004-04-08 12:54 517  
[ ]le_disj.con.xml.gz2004-04-08 12:54 516  
[ ]le_mult_l.con.xml.gz2004-04-08 12:54 495  
[ ]Sn_eq_Sm_n_eq_m.con.xml.gz2004-04-08 12:54 494  
[ ]S_plus_r.con.xml.gz2004-04-08 12:54 493  
[ ]le_mult_r.con.xml.gz2004-04-08 12:54 490  
[ ]S_plus_l.con.xml.gz2004-04-08 12:54 490  
[ ]S_plus_l.con.body.xml.gz2004-04-08 12:54 489  
[ ]bool_dec_eq.con.xml.gz2004-04-08 12:54 484  
[ ]max_le_Sr.con.xml.gz2004-04-08 12:54 477  
[ ]le_mult_lS.con.xml.gz2004-04-08 12:54 472  
[ ]le_mult_rS.con.xml.gz2004-04-08 12:54 466  
[ ]bool_is_true_or_false.con.xml.gz2004-04-08 12:54 458  
[ ]bool_is_false_or_true.con.xml.gz2004-04-08 12:54 458  
[ ]aux_ad_eq_1_0.con.xml.gz2004-04-08 12:54 455  
[ ]beq_nat_correct.con.xml.gz2004-04-08 12:54 444  
[ ]le_l_or_r.con.xml.gz2004-04-08 12:54 430  
[ ]plus_n_O.con.xml.gz2004-04-08 12:54 425  
[ ]plus_O_r.con.xml.gz2004-04-08 12:54 425  
[ ]plus_O_l.con.xml.gz2004-04-08 12:54 425  
[ ]bool_dec_eq.con.types.xml.gz2004-04-08 12:54 392  
[ ]le_n_n.con.xml.gz2004-04-08 12:54 358  
Apache/2.4.62 (Debian) Server at mowgli.cs.unibo.it Port 80