projects / helm.git / commit
| author | Ferruccio Guidi <ferruccio.guidi@unibo.it> | |
| Wed, 19 Mar 2014 14:36:51 +0000 (14:36 +0000) | ||
| committer | Ferruccio Guidi <ferruccio.guidi@unibo.it> | |
| Wed, 19 Mar 2014 14:36:51 +0000 (14:36 +0000) | ||
| commit | 916c53e11fbf6dda073c8796cd97881c84ec5834 | |
| tree | e1b723c55ce1bd42b6db47a0cdcf701060636648 | tree | snapshot |
| parent | 93f99278ea89f14e36f9b55aa3e14fada40345ea | commit | diff |
| matita/matita/contribs/lambdadelta/basic_2/notation/relations/lazypredsn_5.ma | [new file with mode: 0644] | blob |
| matita/matita/contribs/lambdadelta/basic_2/reduction/llpr.ma | [new file with mode: 0644] | blob |
| matita/matita/contribs/lambdadelta/basic_2/reduction/llpr_ldrop.ma | [new file with mode: 0644] | blob |
| matita/matita/contribs/lambdadelta/basic_2/reduction/llpr_llpr.ma | [new file with mode: 0644] | blob |
| matita/matita/contribs/lambdadelta/basic_2/relocation/lift_neg.ma | [new file with mode: 0644] | blob |
| matita/matita/contribs/lambdadelta/basic_2/relocation/lleq_alt.ma | [new file with mode: 0644] | blob |
| matita/matita/contribs/lambdadelta/basic_2/relocation/llpx_sn_alt.ma | [new file with mode: 0644] | blob |
| matita/matita/contribs/lambdadelta/basic_2/relocation/llpx_sn_llpx_sn.ma | [new file with mode: 0644] | blob |
| matita/matita/contribs/lambdadelta/basic_2/web/basic_2_src.tbl | diff | blob | history |