projects / helm.git / commit
| author | Enrico Tassi <enrico.tassi@inria.fr> | |
| Thu, 6 Nov 2008 09:36:23 +0000 (09:36 +0000) | ||
| committer | Enrico Tassi <enrico.tassi@inria.fr> | |
| Thu, 6 Nov 2008 09:36:23 +0000 (09:36 +0000) | ||
| commit | 05b38c588708726f48288227221a8b706544b0a7 | |
| tree | fd30f1061d77cb928b82d5322a3192b31b74e188 | tree | snapshot |
| parent | 79a184f4d6a78a737909d7358e926716e9bab257 | commit | diff |
| helm/software/matita/contribs/didactic/shannon.ma | diff | blob | history | |
| helm/software/matita/library/demo/power_derivative.ma | diff | blob | history |