projects / helm.git / commit
| author | Enrico Tassi <enrico.tassi@inria.fr> | |
| Thu, 22 Nov 2007 16:20:50 +0000 (16:20 +0000) | ||
| committer | Enrico Tassi <enrico.tassi@inria.fr> | |
| Thu, 22 Nov 2007 16:20:50 +0000 (16:20 +0000) | ||
| commit | cf87ddb43e5b0a60096d0f2f4e6320245def78d9 | |
| tree | c92985274455b5e945682cde5308334e7f3760aa | tree | snapshot |
| parent | 15368215d6fc6131d2d291e4ca744ea7ac523340 | commit | diff |
| matita/dama/valued_lattice.ma | diff | blob | history |