projects / helm.git / commit
| author | Wilmer Ricciotti <ricciott@cs.unibo.it> | |
| Mon, 17 Dec 2007 21:31:35 +0000 (21:31 +0000) | ||
| committer | Wilmer Ricciotti <ricciott@cs.unibo.it> | |
| Mon, 17 Dec 2007 21:31:35 +0000 (21:31 +0000) | ||
| commit | 7180662b4d33015e3cbc12a381f0cfc8839de697 | |
| tree | f57ad8378a7a7d96d1d310a44b38fd5d169a0b4d | tree | snapshot |
| parent | 9edc9828ff3c3d074ccc5547a53eadf092c186d8 | commit | diff |
| helm/software/matita/library/nat/exp.ma | diff | blob | history | |
| helm/software/matita/library/nat/neper.ma | diff | blob | history |