projects / helm.git / commit
| author | Ferruccio Guidi <ferruccio.guidi@unibo.it> | |
| Fri, 2 Jun 2017 19:35:13 +0000 (19:35 +0000) | ||
| committer | Ferruccio Guidi <ferruccio.guidi@unibo.it> | |
| Fri, 2 Jun 2017 19:35:13 +0000 (19:35 +0000) | ||
| commit | 524a9a12b08421b602fb1ff175521ce6c3e70acb | |
| tree | 6ac452dff760ae5d7217b8dd71987d2c385d9b7f | tree | snapshot |
| parent | 8eae36a5d21821a23f287798e5e2a3ab37255b25 | commit | diff |
| matita/matita/contribs/lambdadelta/basic_2/syntax/bind.ma | diff | blob | history | |
| matita/matita/contribs/lambdadelta/basic_2/syntax/bind_ext2.ma | diff | blob | history |