projects / helm.git / commit
| author | Andrea Asperti <andrea.asperti@unibo.it> | |
| Fri, 12 Oct 2007 11:13:57 +0000 (11:13 +0000) | ||
| committer | Andrea Asperti <andrea.asperti@unibo.it> | |
| Fri, 12 Oct 2007 11:13:57 +0000 (11:13 +0000) | ||
| commit | d8b17e4c77989c669c9db3847bd6b9e7c236e2c3 | |
| tree | 8bf5a46f12dc33908f98df204cc40b671a9c94d9 | tree | snapshot |
| parent | 5f6a2cf7134fda213ffc721ee7eebf5be30d7800 | commit | diff |
| helm/software/matita/library/Z/moebius.ma | diff | blob | history | |
| helm/software/matita/library/nat/factorization.ma | diff | blob | history | |
| helm/software/matita/library/nat/ord.ma | diff | blob | history |