projects / helm.git / commit
| author | Enrico Tassi <enrico.tassi@inria.fr> | |
| Mon, 5 Oct 2009 07:56:27 +0000 (07:56 +0000) | ||
| committer | Enrico Tassi <enrico.tassi@inria.fr> | |
| Mon, 5 Oct 2009 07:56:27 +0000 (07:56 +0000) | ||
| commit | 1fbc5fd1d3e29b6b95e2613d10760e3bfd3e213f | |
| tree | 8630d624f3d3e0348ffd243a1ff8849ed74c9d19 | tree | snapshot |
| parent | 23a000715f1d3961b1b4a7efcf1870772d9bec93 | commit | diff |
| helm/software/matita/nlibrary/sets/sets.ma | diff | blob | history |