projects / helm.git / commit
| author | Enrico Tassi <enrico.tassi@inria.fr> | |
| Wed, 29 Sep 2010 13:45:41 +0000 (13:45 +0000) | ||
| committer | Enrico Tassi <enrico.tassi@inria.fr> | |
| Wed, 29 Sep 2010 13:45:41 +0000 (13:45 +0000) | ||
| commit | 57580552302fed78b66a674eb5cb5fd70abdac99 | |
| tree | e5fafcce88c12585057b7ba38bea6837aeeabc1c | tree | snapshot |
| parent | d1c9cdb2de96aa2dda6a7b25a4c4959b82b08f6c | commit | diff |
| helm/software/matita/nlibrary/re/re-setoids.ma | diff | blob | history |