projects / helm.git / commit
| author | Enrico Tassi <enrico.tassi@inria.fr> | |
| Tue, 13 Nov 2007 17:52:09 +0000 (17:52 +0000) | ||
| committer | Enrico Tassi <enrico.tassi@inria.fr> | |
| Tue, 13 Nov 2007 17:52:09 +0000 (17:52 +0000) | ||
| commit | d7435b2b09d88c24ce6e1f9659ea192dd4e617c5 | |
| tree | 8614cfdc895179f858dde90b8c5131c63424b8f2 | tree | snapshot |
| parent | 475120bb8ccfe5877bbe294006170ed7ab0b1fcd | commit | diff |
| helm/software/matita/dama/groups.ma | diff | blob | history |