projects / helm.git / commit
| author | Andrea Asperti <andrea.asperti@unibo.it> | |
| Mon, 6 Dec 2010 10:45:07 +0000 (10:45 +0000) | ||
| committer | Andrea Asperti <andrea.asperti@unibo.it> | |
| Mon, 6 Dec 2010 10:45:07 +0000 (10:45 +0000) | ||
| commit | ba7ab956f87c7d483df0dc622f256c6c9d475c7d | |
| tree | 328ebd32ac48158747f65db7fc69240cdb55c170 | tree | snapshot |
| parent | 1b1224fb776aaccb9935e61db36fed1160317621 | commit | diff |
| matita/matita/lib/arithmetics/exp.ma | [new file with mode: 0644] | blob |
| matita/matita/lib/arithmetics/factorial.ma | [new file with mode: 0644] | blob |