projects / helm.git / commit
| author | Ferruccio Guidi <ferruccio.guidi@unibo.it> | |
| Thu, 9 Nov 2017 21:59:39 +0000 (21:59 +0000) | ||
| committer | Ferruccio Guidi <ferruccio.guidi@unibo.it> | |
| Thu, 9 Nov 2017 21:59:39 +0000 (21:59 +0000) | ||
| commit | 9dd07546d24cfdcf62276ce4518a69e8bbf0f9d3 | |
| tree | 696c8bf4916644ebd38426bf2f04bbb41a22b7da | tree | snapshot |
| parent | 0e8734d3d911aea7b201fe118244901a7a5ec037 | commit | diff |
| matita/matita/contribs/lambdadelta/basic_2/rt_computation/lfsx_csx.ma | diff | blob | history |