projects / helm.git / commit
| author | Stefano Zacchiroli <zack@upsilon.cc> | |
| Mon, 26 Sep 2005 16:23:19 +0000 (16:23 +0000) | ||
| committer | Stefano Zacchiroli <zack@upsilon.cc> | |
| Mon, 26 Sep 2005 16:23:19 +0000 (16:23 +0000) | ||
| commit | b901834518d8c78b432c3c22ce40ab39722d5cae | |
| tree | 213e8929245da83b6f7559e2e0e1d86a55c6b60c | tree | snapshot |
| parent | 24320a56c9cc9e92c0a03475e529b4a54f5d4e14 | commit | diff |
| helm/matita/core_notation.moo | diff | blob | history | |
| helm/matita/library/nat/div_and_mod.ma | diff | blob | history |