projects / helm.git / commit
| author | Enrico Tassi <enrico.tassi@inria.fr> | |
| Fri, 7 Jan 2011 14:00:29 +0000 (14:00 +0000) | ||
| committer | Enrico Tassi <enrico.tassi@inria.fr> | |
| Fri, 7 Jan 2011 14:00:29 +0000 (14:00 +0000) | ||
| commit | 496f18d45b7fef262fd3fe42bab0d617a866bcf9 | |
| tree | b924c388cb760e23fd5236635a0e0c26a8096efe | tree | snapshot |
| parent | fe5542c1ce4e78d2ec4e9b39cfc4f06182555e99 | commit | diff |
| matita/matita/lib/hints_declaration.ma | diff | blob | history |