projects / helm.git / commit
| author | Ferruccio Guidi <ferruccio.guidi@unibo.it> | |
| Fri, 9 Aug 2013 16:13:09 +0000 (16:13 +0000) | ||
| committer | Ferruccio Guidi <ferruccio.guidi@unibo.it> | |
| Fri, 9 Aug 2013 16:13:09 +0000 (16:13 +0000) | ||
| commit | 260c699033d4ec65a3e4ab0f591a2109a5a831ad | |
| tree | 4e27dd0ef8e790492a2a4cd2c90f96170ce0e034 | tree | snapshot |
| parent | a8c3c72dc1776997c1ce6deae88c9aa9abbf7766 | commit | diff |
| matita/matita/contribs/lambdadelta/basic_2/grammar/test.ma | diff | blob | history |