projects / helm.git / commit
| author | Ferruccio Guidi <ferruccio.guidi@unibo.it> | |
| Wed, 25 Jul 2007 19:05:34 +0000 (19:05 +0000) | ||
| committer | Ferruccio Guidi <ferruccio.guidi@unibo.it> | |
| Wed, 25 Jul 2007 19:05:34 +0000 (19:05 +0000) | ||
| commit | 53a3e38fa1647ac5c41c07648bbf5289840afc7e | |
| tree | da86a1314f632c62cd9280dd19886cf4ecaeb179 | tree | snapshot |
| parent | d610284a6341b4a7b10d8ba59fcfb00b38d402c6 | commit | diff |
| helm/software/matita/contribs/LAMBDA-TYPES/Base-2/depend | diff | blob | history | |
| helm/software/matita/contribs/LAMBDA-TYPES/Base-2/makefile | diff | blob | history |