projects / helm.git / commit
| author | Andrea Asperti <andrea.asperti@unibo.it> | |
| Thu, 22 Nov 2007 14:25:36 +0000 (14:25 +0000) | ||
| committer | Andrea Asperti <andrea.asperti@unibo.it> | |
| Thu, 22 Nov 2007 14:25:36 +0000 (14:25 +0000) | ||
| commit | fb3cf5acfd87741651c5e30ad1911a08e26f6c69 | |
| tree | 7b27fe3ccf6892e02c35e049322a509fa083d8fc | tree | snapshot |
| parent | 20d600f225a0994c607b23226578078eb6b79bbe | commit | diff |
| helm/software/matita/library/nat/chebyshev.ma | diff | blob | history | |
| helm/software/matita/library/nat/log.ma | diff | blob | history |