projects / helm.git / commit
| author | Ferruccio Guidi <ferruccio.guidi@unibo.it> | |
| Thu, 8 Feb 2007 15:39:43 +0000 (15:39 +0000) | ||
| committer | Ferruccio Guidi <ferruccio.guidi@unibo.it> | |
| Thu, 8 Feb 2007 15:39:43 +0000 (15:39 +0000) | ||
| commit | 2a8919be0dddc9e97584d4e7823da021eac60870 | |
| tree | b8fb5fb195310a0d646252668fec3a6fd16b1acb | tree | snapshot |
| parent | 428ab5496e9c6d4d95642963df08952722b9cf0e | commit | diff |
| matita/contribs/LAMBDA-TYPES/Makefile | diff | blob | history | |
| matita/contribs/developments.txt | diff | blob | history | |
| matita/contribs/prova.ma | diff | blob | history |