projects / helm.git / commit
| author | Enrico Tassi <enrico.tassi@inria.fr> | |
| Tue, 4 Dec 2007 00:05:46 +0000 (00:05 +0000) | ||
| committer | Enrico Tassi <enrico.tassi@inria.fr> | |
| Tue, 4 Dec 2007 00:05:46 +0000 (00:05 +0000) | ||
| commit | 5995a1924405fbc2f22d6ac154217b2548878be5 | |
| tree | 52b118c1f8b7b6b33231847e8095c45b250675b5 | tree | snapshot |
| parent | 855b41852b429f211c579b3a4b2095d370a3c983 | commit | diff |
| helm/software/matita/dama/excedence.ma | diff | blob | history | |
| helm/software/matita/dama/metric_lattice.ma | diff | blob | history |