projects / helm.git / commit
| author | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Fri, 23 Oct 2009 07:20:59 +0000 (07:20 +0000) | ||
| committer | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Fri, 23 Oct 2009 07:20:59 +0000 (07:20 +0000) | ||
| commit | 3f4b58f8e03c8cf0a40ebeaaee98e733a54ac51d | |
| tree | 9ecd89189401dabe5473636103a951cb5a2080c5 | tree | snapshot |
| parent | f8d45b2e4fa7817d7ef8312b3bb8a7439bd7fb8c | commit | diff |
| helm/software/matita/nlibrary/sets/sets.ma | diff | blob | history |