projects / helm.git / commit
| author | Enrico Tassi <enrico.tassi@inria.fr> | |
| Tue, 10 Jun 2008 15:58:54 +0000 (15:58 +0000) | ||
| committer | Enrico Tassi <enrico.tassi@inria.fr> | |
| Tue, 10 Jun 2008 15:58:54 +0000 (15:58 +0000) | ||
| commit | 9f064ffe2834ae91f306b44f79bfbfb68a4631c5 | |
| tree | de79e635bc2f5d9a4a721e45a1867896730a7e28 | tree | snapshot |
| parent | 5f87c295e57d5c5ef9bcb13d71f19b24642355be | commit | diff |
| helm/software/matita/contribs/dama/dama/models/uniformnat.ma | diff | blob | history | |
| helm/software/matita/contribs/dama/dama/nat_ordered_set.ma | diff | blob | history |