projects / helm.git / commit
| author | Enrico Tassi <enrico.tassi@inria.fr> | |
| Fri, 18 Nov 2005 16:03:38 +0000 (16:03 +0000) | ||
| committer | Enrico Tassi <enrico.tassi@inria.fr> | |
| Fri, 18 Nov 2005 16:03:38 +0000 (16:03 +0000) | ||
| commit | c784fcbfe47beaa2c399cb71b3d2b84dedc4fb76 | |
| tree | 53eda06416dd1d6e2da2ec1004e6d5c9c9d63db9 | tree | snapshot |
| parent | ca7c474381445e17d15ced6bf42da16946335598 | commit | diff |
| helm/matita/contribs/PREDICATIVE-TOPOLOGY/qd_defs.ma | diff | blob | history |