projects / helm.git / commit
| author | Enrico Tassi <enrico.tassi@inria.fr> | |
| Tue, 28 Oct 2008 22:17:11 +0000 (22:17 +0000) | ||
| committer | Enrico Tassi <enrico.tassi@inria.fr> | |
| Tue, 28 Oct 2008 22:17:11 +0000 (22:17 +0000) | ||
| commit | f20f1ac4aea15d81599bd2283c5440fce8d4cf6a | |
| tree | 047f2312296583eb5470aa1cb39aeb20dfa2ec8e | tree | snapshot |
| parent | be56c1bf3bf2b6821c42ce9911bea7a7e98afa71 | commit | diff |
| helm/software/matita/contribs/didactic/duality.ma | diff | blob | history |