projects / helm.git / commit
| author | Wilmer Ricciotti <ricciott@cs.unibo.it> | |
| Wed, 12 Dec 2007 18:26:29 +0000 (18:26 +0000) | ||
| committer | Wilmer Ricciotti <ricciott@cs.unibo.it> | |
| Wed, 12 Dec 2007 18:26:29 +0000 (18:26 +0000) | ||
| commit | 1f136ddf1cf133efbf10b72b8800e0f8a93b6f68 | |
| tree | 2dff7d6e7f4f4ffb7ea82a4d1dc01f5c6d0b407f | tree | snapshot |
| parent | c340ab85b58833bfe5cba251b6df93e674d1cde6 | commit | diff |
| helm/software/matita/library/nat/log.ma | diff | blob | history | |
| helm/software/matita/library/nat/neper.ma | diff | blob | history |