projects / helm.git / commit
| author | Ferruccio Guidi <ferruccio.guidi@unibo.it> | |
| Thu, 10 Feb 2011 15:41:24 +0000 (15:41 +0000) | ||
| committer | Ferruccio Guidi <ferruccio.guidi@unibo.it> | |
| Thu, 10 Feb 2011 15:41:24 +0000 (15:41 +0000) | ||
| commit | f04a064bb34aabaf91dc0c48e3b08b37ecd7b0a2 | |
| tree | bcdf58b541c7b40a44410c73e2c0739ea09d5006 | tree | snapshot |
| parent | 45c95bf073c4f4b422fbf9ca9497d03a17e3746e | commit | diff |
| matita/matita/lib/lambda/subst.ma | diff | blob | history | |
| matita/matita/lib/lambda/types.ma | diff | blob | history |