projects / helm.git / commit
| author | Enrico Tassi <enrico.tassi@inria.fr> | |
| Sat, 18 Oct 2008 19:08:25 +0000 (19:08 +0000) | ||
| committer | Enrico Tassi <enrico.tassi@inria.fr> | |
| Sat, 18 Oct 2008 19:08:25 +0000 (19:08 +0000) | ||
| commit | a4e18d465037106982d84a85194c4593dad530b8 | |
| tree | 989882d7b311bf386f41a181e15c1157cf66674c | tree | snapshot |
| parent | 9e010764b6de0d8a268a6ecb83e8e90246bee129 | commit | diff |
| helm/software/matita/contribs/didactic/Makefile | diff | blob | history | |
| helm/software/matita/contribs/didactic/induction.ma | diff | blob | history |