projects / helm.git / commit
| author | Enrico Tassi <enrico.tassi@inria.fr> | |
| Wed, 12 Apr 2006 21:15:27 +0000 (21:15 +0000) | ||
| committer | Enrico Tassi <enrico.tassi@inria.fr> | |
| Wed, 12 Apr 2006 21:15:27 +0000 (21:15 +0000) | ||
| commit | 7687de06ca4add15735160a56e508c65f7c31fbc | |
| tree | 7b4c713221c71881cf3b3cf497ad75e4b3a98a03 | tree | snapshot |
| parent | 351cacd582f87110b1ff710ca44ed649f90fbd32 | commit | diff |
| matita/library/legacy/coq.ma | diff | blob | history |