projects / helm.git / commit
| author | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Wed, 14 Apr 2010 15:47:51 +0000 (15:47 +0000) | ||
| committer | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Wed, 14 Apr 2010 15:47:51 +0000 (15:47 +0000) | ||
| commit | 2e6ab93a8f10937942177133d2873efd4cf8562f | |
| tree | be2ea885d1ce69f001efeb22dca720782b19deb9 | tree | snapshot |
| parent | dc677ddf8e3cf907479264060565aa3e04f65d59 | commit | diff |
| helm/software/matita/nlibrary/arithmetics/R.ma | diff | blob | history |