]>
author | Ferruccio Guidi <ferruccio.guidi@unibo.it> | |
Fri, 19 Aug 2011 13:57:35 +0000 (13:57 +0000) | ||
committer | Ferruccio Guidi <ferruccio.guidi@unibo.it> | |
Fri, 19 Aug 2011 13:57:35 +0000 (13:57 +0000) | ||
commit | 808b11cfb97f83f75c30ba016f4e457ee4816eb3 | |
tree | 4cfcf75c0ef49b25ff952969a03da73049244895 | tree | snapshot |
parent | 0b8b1d3ab4182f3843d860df0feba96afa1d9165 | commit | diff |
matita/matita/contribs/lambda-delta/Basic-2/notation.ma | diff | blob | history | |
matita/matita/contribs/lambda-delta/Basic-2/reduction/lcpr.ma | [new file with mode: 0644] | blob |
matita/matita/contribs/lambda-delta/Basic-2/reduction/lpr.ma | [deleted file] | blob | history |
matita/matita/contribs/lambda-delta/Basic-2/reduction/ltpr.ma | [new file with mode: 0644] | blob |
matita/matita/contribs/lambda-delta/Basic-2/reduction/tpr_tps.ma | diff | blob | history |