projects / helm.git / commit
| author | Andrea Asperti <andrea.asperti@unibo.it> | |
| Wed, 27 Jan 2010 10:29:07 +0000 (10:29 +0000) | ||
| committer | Andrea Asperti <andrea.asperti@unibo.it> | |
| Wed, 27 Jan 2010 10:29:07 +0000 (10:29 +0000) | ||
| commit | a581a54f6118908a21ed3f960c70a0a2c863ca89 | |
| tree | 90e25770db1122f29bd93050b06b653282e4e192 | tree | snapshot |
| parent | 42e022596d00f85eebb19b8f7c9029273ad15db1 | commit | diff |
| helm/software/matita/nlibrary/arithmetics/nat.ma | diff | blob | history |