projects / helm.git / commit
| author | Ferruccio Guidi <ferruccio.guidi@unibo.it> | |
| Mon, 26 Nov 2012 14:26:20 +0000 (14:26 +0000) | ||
| committer | Ferruccio Guidi <ferruccio.guidi@unibo.it> | |
| Mon, 26 Nov 2012 14:26:20 +0000 (14:26 +0000) | ||
| commit | 0d640fb063fd7faed55d2c701a0c905bf86d4bfa | |
| tree | c6932ab11a3c8b97890a77b3906c9f47da4cbdf3 | tree | snapshot |
| parent | 05090b74e381e19a7867b12bb685cdb898c910c8 | commit | diff |
| matita/matita/contribs/lambda/lift.ma | diff | blob | history | |
| matita/matita/predefined_virtuals.ml | diff | blob | history |