projects / helm.git / commit
| author | matitaweb <claudio.sacerdoticoen@unibo.it> | |
| Fri, 6 Jul 2012 14:02:50 +0000 (14:02 +0000) | ||
| committer | matitaweb <claudio.sacerdoticoen@unibo.it> | |
| Fri, 6 Jul 2012 14:02:50 +0000 (14:02 +0000) | ||
| commit | 80b2ee96ffe418af9c39d3714e2a2f1dc74dab41 | |
| tree | 0f8084eaa8569642e78f2ef03866e392a5e77bb3 | tree | snapshot |
| parent | 4386cd1be69b473dc7e12fbe96e156c8b2de7954 | commit | diff |
| weblib/arithmetics/nat.ma | diff | blob | history | |
| weblib/basics/bool.ma | diff | blob | history |