Index of /xml/CoRN/tactics/AlgReflection

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]eq_expr_corr.con.types.xml.gz2004-11-09 10:27 229K 
[ ]eq_expr_corr.con.body.xml.gz2004-11-09 10:27 104K 
[ ]eq_int_corr.con.types.xml.gz2004-11-09 10:27 11K 
[ ]eq_int_corr.con.body.xml.gz2004-11-09 10:27 7.8K 
[ ]lt_monom.con.body.xml.gz2004-11-09 10:27 7.3K 
[ ]MM_plus.con.body.xml.gz2004-11-09 10:27 5.3K 
[ ]eq_nat_corr.con.types.xml.gz2004-11-09 10:27 5.2K 
[ ]eq_monom.con.body.xml.gz2004-11-09 10:27 4.6K 
[ ]MI_mult.con.body.xml.gz2004-11-09 10:27 4.5K 
[ ]MV_mult.con.body.xml.gz2004-11-09 10:27 4.0K 
[ ]lt_expr.con.body.xml.gz2004-11-09 10:27 3.9K 
[ ]PM_plus.con.body.xml.gz2004-11-09 10:27 3.7K 
[ ]eq_nat_corr.con.body.xml.gz2004-11-09 10:27 3.5K 
[ ]eq_expr.con.body.xml.gz2004-11-09 10:27 3.5K 
[ ]expr_rect.con.body.xml.gz2004-11-09 10:27 2.3K 
[ ]expr_ind.con.types.xml.gz2004-11-09 10:27 2.0K 
[ ]INDEX2005-07-05 08:11 1.9K 
[ ]NormF.con.body.xml.gz2004-11-09 10:27 1.4K 
[ ]FF_plus.con.body.xml.gz2004-11-09 10:27 1.4K 
[ ]NormR.con.body.xml.gz2004-11-09 10:27 1.3K 
[ ]FF_div.con.body.xml.gz2004-11-09 10:27 1.3K 
[ ]FF_mult.con.body.xml.gz2004-11-09 10:27 1.3K 
[ ]expr_is_zero.con.body.xml.gz2004-11-09 10:27 1.3K 
[ ]expr_ind.con.xml.gz2004-11-09 10:27 1.3K 
[ ]expr_rect.con.xml.gz2004-11-09 10:27 1.3K 
[ ]expr_rec.con.xml.gz2004-11-09 10:27 1.3K 
[ ]PM_mult.con.body.xml.gz2004-11-09 10:27 1.1K 
[ ]PP_mult.con.body.xml.gz2004-11-09 10:27 1.1K 
[ ]MM_mult.con.body.xml.gz2004-11-09 10:27 1.1K 
[ ]PP_plus.con.body.xml.gz2004-11-09 10:27 1.1K 
[ ]lt_int.con.body.xml.gz2004-11-09 10:27 1.1K 
[ ]eq_int.con.body.xml.gz2004-11-09 10:27 1.1K 
[ ]lt_nat.con.body.xml.gz2004-11-09 10:27 940  
[ ]eq_nat.con.body.xml.gz2004-11-09 10:27 940  
[ ]expr_power.con.body.xml.gz2004-11-09 10:27 716  
[ ]expr.ind.xml.gz2004-11-09 10:27 603  
[ ]eq_int_corr.con.xml.gz2004-11-09 10:27 524  
[ ]eq_expr_corr.con.xml.gz2004-11-09 10:27 521  
[ ]eq_nat_corr.con.xml.gz2004-11-09 10:27 514  
[ ]le_int.con.body.xml.gz2004-11-09 10:27 457  
[ ]le_nat.con.body.xml.gz2004-11-09 10:27 451  
[ ]expr_inv.con.body.xml.gz2004-11-09 10:27 443  
[ ]le_expr.con.body.xml.gz2004-11-09 10:27 442  
[ ]expr_minus.con.body.xml.gz2004-11-09 10:27 427  
[ ]expr_nat.con.body.xml.gz2004-11-09 10:27 421  
[ ]expr_ind.con.body.xml.gz2004-11-09 10:27 416  
[ ]expr_rec.con.body.xml.gz2004-11-09 10:27 414  
[ ]expr_one.con.body.xml.gz2004-11-09 10:27 337  
[ ]eq_monom.con.xml.gz2004-11-09 10:27 321  
[ ]expr_power.con.xml.gz2004-11-09 10:27 318  
[ ]lt_monom.con.xml.gz2004-11-09 10:27 317  
[ ]lt_expr.con.xml.gz2004-11-09 10:27 317  
[ ]le_expr.con.xml.gz2004-11-09 10:27 316  
[ ]expr_is_zero.con.xml.gz2004-11-09 10:27 315  
[ ]eq_expr.con.xml.gz2004-11-09 10:27 315  
[ ]expr_zero.con.body.xml.gz2004-11-09 10:27 313  
[ ]eq_int.con.xml.gz2004-11-09 10:27 306  
[ ]lt_int.con.xml.gz2004-11-09 10:27 305  
[ ]le_int.con.xml.gz2004-11-09 10:27 305  
[ ]expr_minus.con.xml.gz2004-11-09 10:27 304  
[ ]expr_nat.con.xml.gz2004-11-09 10:27 303  
[ ]MV_mult.con.xml.gz2004-11-09 10:27 302  
[ ]FF_plus.con.xml.gz2004-11-09 10:27 302  
[ ]FF_mult.con.xml.gz2004-11-09 10:27 302  
[ ]PM_plus.con.xml.gz2004-11-09 10:27 301  
[ ]PM_mult.con.xml.gz2004-11-09 10:27 301  
[ ]MM_plus.con.xml.gz2004-11-09 10:27 301  
[ ]MI_mult.con.xml.gz2004-11-09 10:27 301  
[ ]PP_plus.con.xml.gz2004-11-09 10:27 300  
[ ]PP_mult.con.xml.gz2004-11-09 10:27 300  
[ ]FF_div.con.xml.gz2004-11-09 10:27 300  
[ ]MM_mult.con.xml.gz2004-11-09 10:27 299  
[ ]le_nat.con.xml.gz2004-11-09 10:27 296  
[ ]eq_nat.con.xml.gz2004-11-09 10:27 296  
[ ]lt_nat.con.xml.gz2004-11-09 10:27 295  
[ ]expr_inv.con.xml.gz2004-11-09 10:27 289  
[ ]NormF.con.xml.gz2004-11-09 10:27 287  
[ ]NormR.con.xml.gz2004-11-09 10:27 285  
[ ]NormG.con.xml.gz2004-11-09 10:27 284  
[ ]binopindex.con.body.xml.gz2004-11-09 10:27 263  
[ ]unopindex.con.body.xml.gz2004-11-09 10:27 262  
[ ]pfunindex.con.body.xml.gz2004-11-09 10:27 262  
[ ]varindex.con.body.xml.gz2004-11-09 10:27 260  
[ ]expr_zero.con.xml.gz2004-11-09 10:27 243  
[ ]NormG.con.body.xml.gz2004-11-09 10:27 243  
[ ]expr_one.con.xml.gz2004-11-09 10:27 242  
[ ]expr_is_zero.con.types.xml.gz2004-11-09 10:27 211  
[ ]expr_power.con.types.xml.gz2004-11-09 10:27 208  
[ ]expr_minus.con.types.xml.gz2004-11-09 10:27 207  
[ ]binopindex.con.xml.gz2004-11-09 10:27 207  
[ ]unopindex.con.xml.gz2004-11-09 10:27 206  
[ ]expr_zero.con.types.xml.gz2004-11-09 10:27 206  
[ ]binopindex.con.types.xml.gz2004-11-09 10:27 206  
[ ]pfunindex.con.xml.gz2004-11-09 10:27 205  
[ ]expr_rect.con.types.xml.gz2004-11-09 10:27 205  
[ ]unopindex.con.types.xml.gz2004-11-09 10:27 204  
[ ]pfunindex.con.types.xml.gz2004-11-09 10:27 204  
[ ]expr_nat.con.types.xml.gz2004-11-09 10:27 204  
[ ]expr_inv.con.types.xml.gz2004-11-09 10:27 204  
[ ]varindex.con.xml.gz2004-11-09 10:27 203  
[ ]varindex.con.types.xml.gz2004-11-09 10:27 203  
[ ]lt_monom.con.types.xml.gz2004-11-09 10:27 203  
[ ]expr_rec.con.types.xml.gz2004-11-09 10:27 203  
[ ]expr_one.con.types.xml.gz2004-11-09 10:27 203  
[ ]eq_monom.con.types.xml.gz2004-11-09 10:27 203  
[ ]MV_mult.con.types.xml.gz2004-11-09 10:27 203  
[ ]FF_plus.con.types.xml.gz2004-11-09 10:27 203  
[ ]FF_mult.con.types.xml.gz2004-11-09 10:27 203  
[ ]lt_expr.con.types.xml.gz2004-11-09 10:27 202  
[ ]le_expr.con.types.xml.gz2004-11-09 10:27 202  
[ ]eq_expr.con.types.xml.gz2004-11-09 10:27 202  
[ ]PP_plus.con.types.xml.gz2004-11-09 10:27 202  
[ ]PP_mult.con.types.xml.gz2004-11-09 10:27 202  
[ ]PM_plus.con.types.xml.gz2004-11-09 10:27 202  
[ ]PM_mult.con.types.xml.gz2004-11-09 10:27 202  
[ ]MM_plus.con.types.xml.gz2004-11-09 10:27 202  
[ ]MM_mult.con.types.xml.gz2004-11-09 10:27 202  
[ ]MI_mult.con.types.xml.gz2004-11-09 10:27 202  
[ ]FF_div.con.types.xml.gz2004-11-09 10:27 201  
[ ]lt_nat.con.types.xml.gz2004-11-09 10:27 200  
[ ]lt_int.con.types.xml.gz2004-11-09 10:27 200  
[ ]le_nat.con.types.xml.gz2004-11-09 10:27 200  
[ ]le_int.con.types.xml.gz2004-11-09 10:27 200  
[ ]eq_nat.con.types.xml.gz2004-11-09 10:27 200  
[ ]eq_int.con.types.xml.gz2004-11-09 10:27 200  
[ ]NormR.con.types.xml.gz2004-11-09 10:27 198  
[ ]NormG.con.types.xml.gz2004-11-09 10:27 198  
[ ]NormF.con.types.xml.gz2004-11-09 10:27 198  
[ ]expr.ind.types.xml.gz2004-11-09 10:27 195  
Apache/2.4.61 (Debian) Server at mowgli.cs.unibo.it Port 80