projects / helm.git / commit
| author | Ferruccio Guidi <ferruccio.guidi@unibo.it> | |
| Thu, 18 Jan 2007 15:08:29 +0000 (15:08 +0000) | ||
| committer | Ferruccio Guidi <ferruccio.guidi@unibo.it> | |
| Thu, 18 Jan 2007 15:08:29 +0000 (15:08 +0000) | ||
| commit | e2c7f456a6d13e86c720104db16c9b28e5933e18 | |
| tree | c0f6990d147fb40ee0e5461bc19886beb85d22fe | tree | snapshot |
| parent | 803d665cbff289f5e5340b9db137f1c4685b43f9 | commit | diff |
| helm/software/matita/contribs/LAMBDA-TYPES/Unified/SUB/P/defs.ma | [deleted file] | blob | history |
| helm/software/matita/contribs/LAMBDA-TYPES/Unified/SUB/T/defs.ma | [new file with mode: 0644] | blob |