]>
author | Ferruccio Guidi <ferruccio.guidi@unibo.it> | |
Mon, 26 May 2014 17:08:40 +0000 (17:08 +0000) | ||
committer | Ferruccio Guidi <ferruccio.guidi@unibo.it> | |
Mon, 26 May 2014 17:08:40 +0000 (17:08 +0000) | ||
commit | 44927f6b05adef73df12ff1b85f79f99698709d3 | |
tree | c7e3038e1398f14c8a07db0de3b48b04f9d105ea | tree | snapshot |
parent | 1e53aeb898bfb82f230590278aa7841cb3d616c7 | commit | diff |
matita/matita/contribs/lambdadelta/basic_2/etc/llor/lleq_llor.etc | [deleted file] | blob | history |
matita/matita/contribs/lambdadelta/basic_2/etc/llor/llor.etc | [new file with mode: 0644] | blob |
matita/matita/contribs/lambdadelta/basic_2/etc/llor/llor_alt.etc | [new file with mode: 0644] | blob |
matita/matita/contribs/lambdadelta/basic_2/substitution/lleq_llor.ma | [new file with mode: 0644] | blob |
matita/matita/contribs/lambdadelta/basic_2/substitution/llor.ma | [deleted file] | blob | history |
matita/matita/contribs/lambdadelta/basic_2/substitution/llor_alt.ma | [deleted file] | blob | history |
matita/matita/contribs/lambdadelta/basic_2/substitution/llpx_sn_llor.ma | [new file with mode: 0644] | blob |
matita/matita/contribs/lambdadelta/basic_2/web/basic_2_src.tbl | diff | blob | history |