projects / helm.git / commit
| author | Enrico Tassi <enrico.tassi@inria.fr> | |
| Tue, 10 Apr 2007 14:29:04 +0000 (14:29 +0000) | ||
| committer | Enrico Tassi <enrico.tassi@inria.fr> | |
| Tue, 10 Apr 2007 14:29:04 +0000 (14:29 +0000) | ||
| commit | 8bb8d0afb6e8e82ffc84a2848bbb64e88ca03095 | |
| tree | e7aca49addecf009e89d07d6a2f6e9d6926fe386 | tree | snapshot |
| parent | dd6568cd572eb236f2c3803ce18914731423eae5 | commit | diff |
| matita/library/list/list.ma | diff | blob | history |