projects / helm.git / commit
| author | Ferruccio Guidi <ferruccio.guidi@unibo.it> | |
| Tue, 24 May 2016 19:04:08 +0000 (19:04 +0000) | ||
| committer | Ferruccio Guidi <ferruccio.guidi@unibo.it> | |
| Tue, 24 May 2016 19:04:08 +0000 (19:04 +0000) | ||
| commit | bb4afe025454cc5a637eb48cef9d08cf25d1d0ea | |
| tree | d4d56e2b1fb2cae1e2f39c01f708c3c4b998d6ac | tree | snapshot |
| parent | 632e2b3b8444d363c5f8acb87c3695fc781fe35b | commit | diff |
| matita/matita/contribs/lambdadelta/basic_2/rt_transition/partial.txt | diff | blob | history |