Index of /xml/CoRN/tactics/RingReflection

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]MM_plus_corr_R.con.types.xml.gz2004-11-09 10:52 1.7M 
[ ]MI_mult_corr_R.con.types.xml.gz2004-11-09 10:49 924K 
[ ]MM_plus_corr_R.con.body.xml.gz2004-11-09 10:52 833K 
[ ]MV_mult_corr_R.con.types.xml.gz2004-11-09 10:50 830K 
[ ]refl_interpR.con.types.xml.gz2004-11-09 10:48 606K 
[ ]PM_plus_corr_R.con.types.xml.gz2004-11-09 10:53 442K 
[ ]MI_mult_corr_R.con.body.xml.gz2004-11-09 10:49 363K 
[ ]refl_interpR.con.body.xml.gz2004-11-09 10:48 362K 
[ ]MV_mult_corr_R.con.body.xml.gz2004-11-09 10:50 362K 
[ ]NormR_corr.con.types.xml.gz2004-11-09 10:53 250K 
[ ]PM_plus_corr_R.con.body.xml.gz2004-11-09 10:53 211K 
[ ]PM_mult_corr_R.con.types.xml.gz2004-11-09 10:53 129K 
[ ]NormR_corr.con.body.xml.gz2004-11-09 10:53 129K 
[ ]PP_plus_corr_R.con.types.xml.gz2004-11-09 10:53 125K 
[ ]PP_mult_corr_R.con.types.xml.gz2004-11-09 10:53 124K 
[ ]MM_mult_corr_R.con.types.xml.gz2004-11-09 10:50 117K 
[ ]PM_mult_corr_R.con.body.xml.gz2004-11-09 10:53 59K 
[ ]PP_mult_corr_R.con.body.xml.gz2004-11-09 10:53 57K 
[ ]PP_plus_corr_R.con.body.xml.gz2004-11-09 10:53 54K 
[ ]MM_mult_corr_R.con.body.xml.gz2004-11-09 10:50 51K 
[ ]xexprR2interpR.con.types.xml.gz2004-11-09 10:48 29K 
[ ]interpR_wd.con.types.xml.gz2004-11-09 10:48 24K 
[ ]interpR_wd.con.body.xml.gz2004-11-09 10:48 23K 
[ ]xexprR2interpR.con.body.xml.gz2004-11-09 10:48 15K 
[ ]interpR_rect.con.body.xml.gz2004-11-09 10:48 11K 
[ ]interpR_ind.con.types.xml.gz2004-11-09 10:48 11K 
[ ]xexprR_ind.con.types.xml.gz2004-11-09 10:48 9.8K 
[ ]xexprR_rect.con.body.xml.gz2004-11-09 10:48 8.7K 
[ ]interpR_rect.con.xml.gz2004-11-09 10:48 5.9K 
[ ]interpR_ind.con.xml.gz2004-11-09 10:48 5.9K 
[ ]interpR_rec.con.xml.gz2004-11-09 10:48 5.8K 
[ ]xexprR_rect.con.xml.gz2004-11-09 10:48 5.4K 
[ ]xexprR_ind.con.xml.gz2004-11-09 10:48 5.4K 
[ ]xexprR_rec.con.xml.gz2004-11-09 10:48 5.4K 
[ ]interpR.ind.xml.gz2004-11-09 10:47 4.6K 
[ ]xexprR.ind.xml.gz2004-11-09 10:48 4.3K 
[ ]xforgetR.con.body.xml.gz2004-11-09 10:48 3.3K 
[ ]Tactic_lemmaR.con.body.xml.gz2004-11-09 10:54 2.3K 
[ ]Tactic_lemmaR.con.types.xml.gz2004-11-09 10:54 2.2K 
[ ]INDEX2005-07-05 08:11 2.0K 
[ ]MM_plus_corr_R.con.xml.gz2004-11-09 10:52 1.3K 
[ ]PM_plus_corr_R.con.xml.gz2004-11-09 10:53 1.3K 
[ ]PP_plus_corr_R.con.xml.gz2004-11-09 10:53 1.3K 
[ ]Tactic_lemmaR.con.xml.gz2004-11-09 10:54 1.3K 
[ ]MM_mult_corr_R.con.xml.gz2004-11-09 10:50 1.2K 
[ ]MV_mult_corr_R.con.xml.gz2004-11-09 10:50 1.2K 
[ ]PP_mult_corr_R.con.xml.gz2004-11-09 10:53 1.2K 
[ ]MI_mult_corr_R.con.xml.gz2004-11-09 10:49 1.2K 
[ ]PM_mult_corr_R.con.xml.gz2004-11-09 10:53 1.2K 
[ ]interpR_rect.con.types.xml.gz2004-11-09 10:48 1.1K 
[ ]fexprR_plus.con.body.xml.gz2004-11-09 10:48 1.0K 
[ ]fexprR2interp.con.types.xml.gz2004-11-09 10:48 1.0K 
[ ]fexprR_mult.con.body.xml.gz2004-11-09 10:48 961  
[ ]fexprR_ind.con.types.xml.gz2004-11-09 10:48 960  
[ ]fexprR_rect.con.body.xml.gz2004-11-09 10:48 898  
[ ]xexprR_diagram_commutes.con.types.xml.gz2004-11-09 10:48 838  
[ ]interpR_wd.con.xml.gz2004-11-09 10:48 830  
[ ]refl_interpR.con.xml.gz2004-11-09 10:48 826  
[ ]NormR_corr.con.xml.gz2004-11-09 10:53 825  
[ ]xexprR2wfR.con.body.xml.gz2004-11-09 10:48 824  
[ ]fexprR2interp.con.body.xml.gz2004-11-09 10:48 806  
[ ]finterpR.con.body.xml.gz2004-11-09 10:48 784  
[ ]fexprR2xexprR.con.body.xml.gz2004-11-09 10:48 771  
[ ]interpR_rec.con.types.xml.gz2004-11-09 10:48 765  
[ ]fexprR_ind.con.xml.gz2004-11-09 10:48 758  
[ ]fexprR_rect.con.xml.gz2004-11-09 10:48 755  
[ ]fexprR_rec.con.xml.gz2004-11-09 10:48 753  
[ ]interpR_ind.con.body.xml.gz2004-11-09 10:48 708  
[ ]interpR_rec.con.body.xml.gz2004-11-09 10:48 705  
[ ]xexprR_diagram_commutes.con.xml.gz2004-11-09 10:48 688  
[ ]xexprR_ind.con.body.xml.gz2004-11-09 10:48 662  
[ ]xexprR_rec.con.body.xml.gz2004-11-09 10:48 661  
[ ]fexprR.ind.xml.gz2004-11-09 10:48 652  
[ ]xexprR2interpR.con.xml.gz2004-11-09 10:48 649  
[ ]xinterpR.con.xml.gz2004-11-09 10:48 642  
[ ]xexprR2wfR.con.xml.gz2004-11-09 10:48 627  
[ ]wfR.con.body.xml.gz2004-11-09 10:48 602  
[ ]xinterpR.con.body.xml.gz2004-11-09 10:48 579  
[ ]xforgetR.con.xml.gz2004-11-09 10:48 579  
[ ]fexprR_int.con.body.xml.gz2004-11-09 10:48 562  
[ ]finterpR.con.xml.gz2004-11-09 10:48 512  
[ ]fexprR_var.con.body.xml.gz2004-11-09 10:48 484  
[ ]fexprR2interp.con.xml.gz2004-11-09 10:48 469  
[ ]fforgetR.con.body.xml.gz2004-11-09 10:48 464  
[ ]fexprR_ind.con.body.xml.gz2004-11-09 10:48 464  
[ ]fexprR_rec.con.body.xml.gz2004-11-09 10:48 463  
[ ]fexprR2wf.con.body.xml.gz2004-11-09 10:48 462  
[ ]fexprR2xexprR.con.xml.gz2004-11-09 10:48 436  
[ ]fexprR2wf.con.xml.gz2004-11-09 10:48 433  
[ ]xexprR2wfR.con.types.xml.gz2004-11-09 10:48 388  
[ ]fexprR_var.con.xml.gz2004-11-09 10:48 369  
[ ]fexprR_int.con.xml.gz2004-11-09 10:48 358  
[ ]fexprR_plus.con.xml.gz2004-11-09 10:48 350  
[ ]fexprR_mult.con.xml.gz2004-11-09 10:48 350  
[ ]fforgetR.con.xml.gz2004-11-09 10:48 346  
[ ]wfR.con.xml.gz2004-11-09 10:48 345  
[ ]xexprR_diagram_commutes.con.body.xml.gz2004-11-09 10:48 326  
[ ]fexprR2xexprR.con.types.xml.gz2004-11-09 10:48 212  
[ ]fexprR_plus.con.types.xml.gz2004-11-09 10:48 210  
[ ]fexprR_mult.con.types.xml.gz2004-11-09 10:48 210  
[ ]xexprR_rect.con.types.xml.gz2004-11-09 10:48 209  
[ ]fexprR_rect.con.types.xml.gz2004-11-09 10:48 209  
[ ]xexprR_rec.con.types.xml.gz2004-11-09 10:48 208  
[ ]fexprR_var.con.types.xml.gz2004-11-09 10:48 208  
[ ]fexprR_rec.con.types.xml.gz2004-11-09 10:48 208  
[ ]fexprR_int.con.types.xml.gz2004-11-09 10:48 208  
[ ]fexprR2wf.con.types.xml.gz2004-11-09 10:48 206  
[ ]xforgetR.con.types.xml.gz2004-11-09 10:48 204  
[ ]fforgetR.con.types.xml.gz2004-11-09 10:48 204  
[ ]xinterpR.con.types.xml.gz2004-11-09 10:48 203  
[ ]finterpR.con.types.xml.gz2004-11-09 10:48 203  
[ ]interpR.ind.types.xml.gz2004-11-09 10:47 201  
[ ]xexprR.ind.types.xml.gz2004-11-09 10:48 200  
[ ]fexprR.ind.types.xml.gz2004-11-09 10:48 200  
[ ]wfR.con.types.xml.gz2004-11-09 10:48 195  
[DIR]Ring_NormCorrect/2005-07-05 08:13 -  
[DIR]Ring_Interpretation_Function/2005-07-05 08:13 -  
Apache/2.4.62 (Debian) Server at mowgli.cs.unibo.it Port 80