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 | cb18dbb4e91bd392afa8552bf5f56b7a38dc669a | |
| tree | 0a14dd3266b9cd7fa5d6b997d2df78018944ba17 | tree | snapshot |
| parent | 06a302b1d22d033d50f06109b31c2f503cdf2638 | commit | diff |
| matita/contribs/LAMBDA-TYPES/Unified/SUB/P/defs.ma | [deleted file] | blob | history |
| matita/contribs/LAMBDA-TYPES/Unified/SUB/T/defs.ma | [new file with mode: 0644] | blob |