projects / helm.git / commit
| author | Enrico Tassi <enrico.tassi@inria.fr> | |
| Sun, 16 Nov 2008 10:30:30 +0000 (10:30 +0000) | ||
| committer | Enrico Tassi <enrico.tassi@inria.fr> | |
| Sun, 16 Nov 2008 10:30:30 +0000 (10:30 +0000) | ||
| commit | 1a506c25fe9952e1fee371f164d11837619dbac7 | |
| tree | a2c788681ae6662a8c43a5f785cebc00171c4ade | tree | snapshot |
| parent | 456ea05ac26bf48e4cdc0d745a92de0d14b3ff80 | commit | diff |
| helm/software/matita/library/didactic/exercises/duality.ma | diff | blob | history | |
| helm/software/matita/library/didactic/exercises/substitution.ma | diff | blob | history |