projects / helm.git / commit
| author | Enrico Tassi <enrico.tassi@inria.fr> | |
| Sat, 17 Nov 2007 18:27:15 +0000 (18:27 +0000) | ||
| committer | Enrico Tassi <enrico.tassi@inria.fr> | |
| Sat, 17 Nov 2007 18:27:15 +0000 (18:27 +0000) | ||
| commit | 6abaacea86e652ea0dc7cd2f8ab04005251532cb | |
| tree | 99e843cd0b314d36cfe6028b6cf8327ce97cc5e7 | tree | snapshot |
| parent | 66faca1dc849662e27d760b950294ef66a5741b3 | commit | diff |
| helm/software/matita/dama/excedence.ma | diff | blob | history | |
| helm/software/matita/dama/ordered_groups.ma | diff | blob | history | |
| helm/software/matita/dama/valued_lattice.ma | [new file with mode: 0644] | blob |