projects / helm.git / commit
| author | Enrico Tassi <enrico.tassi@inria.fr> | |
| Thu, 9 Sep 2010 16:01:20 +0000 (16:01 +0000) | ||
| committer | Enrico Tassi <enrico.tassi@inria.fr> | |
| Thu, 9 Sep 2010 16:01:20 +0000 (16:01 +0000) | ||
| commit | b15a4df27469ee4b64d1b3b8fc996cd15e8a61f0 | |
| tree | a89d6406f1b64633e2a3b7a8089a7fb4fa1f27da | tree | snapshot |
| parent | 0e1e5dc8f6e1299fe4368e38f252ae45c8a8a6c1 | commit | diff |
| helm/software/matita/nlibrary/re/re-setoids.ma | diff | blob | history | |
| helm/software/matita/nlibrary/sets/sets.ma | diff | blob | history |