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 | 6b682b780787cd29b03993240cc31ec80e5105a6 | |
| tree | f3894aa5cd71a979464a7c86a3bee3e43d9d1fdd | tree | snapshot |
| parent | ffe3843a38d4d40f9426381bf379f4be524cada0 | commit | diff |
| matita/contribs/LAMBDA-TYPES/Base-2/depend | diff | blob | history | |
| matita/contribs/LAMBDA-TYPES/Base-2/makefile | diff | blob | history |