projects / helm.git / commit
| author | Enrico Tassi <enrico.tassi@inria.fr> | |
| Sat, 18 Oct 2008 18:45:06 +0000 (18:45 +0000) | ||
| committer | Enrico Tassi <enrico.tassi@inria.fr> | |
| Sat, 18 Oct 2008 18:45:06 +0000 (18:45 +0000) | ||
| commit | aba1baf85bb8e6b3ea3e66a8c2d07601066d26bc | |
| tree | 909dafafa24044ce973dbafabefd1be3cf7a2e88 | tree | snapshot |
| parent | a602cce3fbd1e3c3725ea93541516a2070537d05 | commit | diff |
| helm/software/matita/contribs/didactic/Makefile | diff | blob | history | |
| helm/software/matita/contribs/didactic/induction.ma | diff | blob | history |