projects / helm.git / commit
| author | Ferruccio Guidi <ferruccio.guidi@unibo.it> | |
| Wed, 21 Oct 2015 16:50:43 +0000 (16:50 +0000) | ||
| committer | Ferruccio Guidi <ferruccio.guidi@unibo.it> | |
| Wed, 21 Oct 2015 16:50:43 +0000 (16:50 +0000) | ||
| commit | 361a91ade954f92013da892c62d41e3a7168cfc0 | |
| tree | 4254054c1394cf972c6ef9509b28cbd7a40a75e6 | tree | snapshot |
| parent | b4dd798b3777f462802bb0937fc75c4dcdd0089a | commit | diff |
| matita/matita/contribs/lambdadelta/basic_2/basic_1.txt | diff | blob | history | |
| matita/matita/contribs/lambdadelta/basic_2/web/basic_2.ldw.xml | diff | blob | history |