projects / helm.git / commit
| author | Andrea Asperti <andrea.asperti@unibo.it> | |
| Fri, 8 May 2009 14:40:41 +0000 (14:40 +0000) | ||
| committer | Andrea Asperti <andrea.asperti@unibo.it> | |
| Fri, 8 May 2009 14:40:41 +0000 (14:40 +0000) | ||
| commit | 2b2bc388ba8bff4fff4f3ae30814a09ee5c6d289 | |
| tree | d2c7203a2d4b1692970908c937ada2fbcd99ed6c | tree | snapshot |
| parent | 8229ea52c14c52122d92b0aad30131152745552b | commit | diff |
| helm/software/matita/library/nat/minus.ma | diff | blob | history |