projects / helm.git / commit
| author | Andrea Asperti <andrea.asperti@unibo.it> | |
| Fri, 7 Dec 2007 11:41:49 +0000 (11:41 +0000) | ||
| committer | Andrea Asperti <andrea.asperti@unibo.it> | |
| Fri, 7 Dec 2007 11:41:49 +0000 (11:41 +0000) | ||
| commit | a91366d1db62090a7b665f99aa5abdd5d2449799 | |
| tree | 97d964c0a09e4dc02df720715a6e9621eb8848ab | tree | snapshot |
| parent | 947ee89dec9e60561dfac3ce7e1842f35f178cb8 | commit | diff |
| helm/software/matita/library/nat/binomial.ma | [new file with mode: 0644] | blob |
| helm/software/matita/library/nat/neper.ma | [new file with mode: 0644] | blob |