projects / helm.git / commit
| author | Enrico Tassi <enrico.tassi@inria.fr> | |
| Mon, 4 Feb 2008 15:13:59 +0000 (15:13 +0000) | ||
| committer | Enrico Tassi <enrico.tassi@inria.fr> | |
| Mon, 4 Feb 2008 15:13:59 +0000 (15:13 +0000) | ||
| commit | 087ece87a4dc39b2e1d2350ed7472fe370e4e6b7 | |
| tree | fb6986f3a91c10d9b804c093f34e849ecff3e1d6 | tree | snapshot |
| parent | 473f04c051fae559d1598e8e1a3f3bf5e43cbe64 | commit | diff |
| helm/software/matita/dama/lattice.ma | diff | blob | history | |
| helm/software/matita/dama/metric_lattice.ma | diff | blob | history |