projects / helm.git / commit
| author | Enrico Tassi <enrico.tassi@inria.fr> | |
| Mon, 22 Sep 2008 11:30:58 +0000 (11:30 +0000) | ||
| committer | Enrico Tassi <enrico.tassi@inria.fr> | |
| Mon, 22 Sep 2008 11:30:58 +0000 (11:30 +0000) | ||
| commit | cbb17fc4b8fe935a576af81838f767fe138a2611 | |
| tree | fd75a6e0f5ecebe2c8a921fbc3fdf6593e87d4b2 | tree | snapshot |
| parent | 68156ac570f1c824c76bcb781a4bede31ada92b8 | commit | diff |
| helm/software/matita/library/decidable_kit/decidable.ma | diff | blob | history |