projects / helm.git / commit
| author | Enrico Tassi <enrico.tassi@inria.fr> | |
| Thu, 5 Jun 2008 17:11:33 +0000 (17:11 +0000) | ||
| committer | Enrico Tassi <enrico.tassi@inria.fr> | |
| Thu, 5 Jun 2008 17:11:33 +0000 (17:11 +0000) | ||
| commit | 5f5fa5c779fcef187edf08703ae8f56653481bd1 | |
| tree | 08a7f550109d03cce2bd02930a5598ac4da46bc6 | tree | snapshot |
| parent | 28bcf58da6b3726320b368ce4d1d8e2356b4df1b | commit | diff |
| helm/software/matita/contribs/dama/dama/property_sigma.ma | [new file with mode: 0644] | blob |