projects / helm.git / commit
| author | Ferruccio Guidi <ferruccio.guidi@unibo.it> | |
| Wed, 12 Oct 2005 11:28:23 +0000 (11:28 +0000) | ||
| committer | Ferruccio Guidi <ferruccio.guidi@unibo.it> | |
| Wed, 12 Oct 2005 11:28:23 +0000 (11:28 +0000) | ||
| commit | 01856fd0fbc93c845b2f8fb3cec1e7a966f23210 | |
| tree | a0d8f9e667c2445f4d5ea66ab5ad8e417e86c878 | tree | snapshot |
| parent | 2e3a8fc2aa3f5f1ddcf185459963caeff64d7a00 | commit | diff |
| helm/matita/contribs/LAMBDA-TYPES/tlt_defs.ma | diff | blob | history | |
| helm/matita/contribs/PREDICATIVE-TOPOLOGY/ac_defs.ma | [new file with mode: 0644] | blob |