projects / helm.git / commit
| author | Ferruccio Guidi <ferruccio.guidi@unibo.it> | |
| Tue, 6 Nov 2018 10:52:03 +0000 (11:52 +0100) | ||
| committer | Ferruccio Guidi <ferruccio.guidi@unibo.it> | |
| Tue, 6 Nov 2018 10:52:03 +0000 (11:52 +0100) | ||
| commit | 13b3c950f6714032a3c027b7b6ebbd2e3065cbfe | |
| tree | b51960a8d994280dc4b22f9aff06f55dc5f2a990 | tree | snapshot |
| parent | bbb6dd07ecb430bf06bb52c2506626106449a5af | commit | diff |
| matita/matita/contribs/lambdadelta/basic_2/dynamic/cnv_lpce.ma | [new file with mode: 0644] | blob |