projects / helm.git / commit
| author | Ferruccio Guidi <ferruccio.guidi@unibo.it> | |
| Thu, 28 Jul 2011 14:21:12 +0000 (14:21 +0000) | ||
| committer | Ferruccio Guidi <ferruccio.guidi@unibo.it> | |
| Thu, 28 Jul 2011 14:21:12 +0000 (14:21 +0000) | ||
| commit | 9c68185de7bf0b31fcf8b1f74a021735c93eb76a | |
| tree | 0a27e0e57626c376248638f69b7c45277a5d1939 | tree | snapshot |
| parent | 4de2411d2cecf21630f6675f58e64f8ec6de9b60 | commit | diff |
| matita/matita/lib/lambda-delta/reduction/tpr_tpr.ma | diff | blob | history |