projects / helm.git / commit
| author | Ferruccio Guidi <ferruccio.guidi@unibo.it> | |
| Sat, 26 Aug 2006 11:29:30 +0000 (11:29 +0000) | ||
| committer | Ferruccio Guidi <ferruccio.guidi@unibo.it> | |
| Sat, 26 Aug 2006 11:29:30 +0000 (11:29 +0000) | ||
| commit | b9471b7f9f7a6bd1f3d4f1a41b34994ef68856fd | |
| tree | 6e7e4763f1ebeb497c0db1445824457a2b17d70c | tree | snapshot |
| parent | 0de8fd08ab3f27ea5f3c3bf5b584104e634234c5 | commit | diff |
| matita/contribs/LAMBDA-TYPES/level-1/Base.ma | [deleted file] | blob | history |
| matita/contribs/LAMBDA-TYPES/level-1/LambdaDelta.ma | [deleted file] | blob | history |
| matita/contribs/LAMBDA-TYPES/level-1/problems.ma | [deleted file] | blob | history |