projects / helm.git / commit
| author | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Tue, 30 Jan 2007 15:18:29 +0000 (15:18 +0000) | ||
| committer | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Tue, 30 Jan 2007 15:18:29 +0000 (15:18 +0000) | ||
| commit | 4084d87ee72eef951f02d051ea57d78a3e0dc243 | |
| tree | 7d8622d216b231bbbffde58cd54b5f49e289d7ce | tree | snapshot |
| parent | 09e7e20a99ff7104fd1da326dc44111f81e3dc89 | commit | diff |
| matita/library/technicalities/setoids.ma | diff | blob | history |