projects / helm.git / commit
| author | Stefano Zacchiroli <zack@upsilon.cc> | |
| Thu, 7 Dec 2006 18:19:57 +0000 (18:19 +0000) | ||
| committer | Stefano Zacchiroli <zack@upsilon.cc> | |
| Thu, 7 Dec 2006 18:19:57 +0000 (18:19 +0000) | ||
| commit | 7fed865c7cd7ea742a360158a931a3fa734ee446 | |
| tree | 4deb337261a617fe489783eccbb6e920dc9e8046 | tree | snapshot |
| parent | 9c4d497ef24a58d1a9ff907e1484e9b5093b726b | commit | diff |
| matita/dama/integration_algebras.ma | diff | blob | history | |
| matita/matitaGui.ml | diff | blob | history |