projects / helm.git / commit
| author | Ferruccio Guidi <ferruccio.guidi@unibo.it> | |
| Mon, 26 Nov 2012 20:27:40 +0000 (20:27 +0000) | ||
| committer | Ferruccio Guidi <ferruccio.guidi@unibo.it> | |
| Mon, 26 Nov 2012 20:27:40 +0000 (20:27 +0000) | ||
| commit | 8a5391064ec6e84333444453f836ef9cb91fee7b | |
| tree | 881f01311a01d3674c8b316da5d3ad10195499c4 | tree | snapshot |
| parent | 99865bbdbb8b4694c85085abb0e98b4d3be7ea9f | commit | diff |
| matita/matita/contribs/lambda/dsubst.ma | [new file with mode: 0644] | blob |
| matita/matita/lib/arithmetics/nat.ma | diff | blob | history | |
| matita/matita/predefined_virtuals.ml | diff | blob | history |