projects / helm.git / commit
| author | Ferruccio Guidi <ferruccio.guidi@unibo.it> | |
| Fri, 18 Oct 2019 14:39:15 +0000 (16:39 +0200) | ||
| committer | Ferruccio Guidi <ferruccio.guidi@unibo.it> | |
| Fri, 18 Oct 2019 14:39:15 +0000 (16:39 +0200) | ||
| commit | e3369ffc8b690703cfafc7985f69db5fc140d749 | |
| tree | 5abcb58d55745a678a05ea469e4f5c8c0c87872a | tree | snapshot |
| parent | 784f0d4d7cff3700363affe647f7b8b218726fcb | commit | diff |
| parent | f86bc763a77f75d01b7413b47bb85de9aaaa62ba | commit | diff |
| matita/matita/contribs/lambdadelta/basic_2/dynamic/cnv_cpce_etc.ma | blob1 | | blob2 | | history |
| matita/matita/contribs/lambdadelta/basic_2/dynamic/cnv_lpce.ma | | | | | blob |