projects / helm.git / commit
| author | Enrico Tassi <enrico.tassi@inria.fr> | |
| Thu, 6 Mar 2008 16:34:15 +0000 (16:34 +0000) | ||
| committer | Enrico Tassi <enrico.tassi@inria.fr> | |
| Thu, 6 Mar 2008 16:34:15 +0000 (16:34 +0000) | ||
| commit | baea5d8f45bafc019ae3a5e39472ed832ba78cb4 | |
| tree | a80fe6b90e16f89c773ce57e0d30bc5079ac4906 | tree | snapshot |
| parent | 20389dbd1ad5769688518df414983bb449fd44ef | commit | diff |
| helm/software/matita/library/nat/chebyshev_thm.ma | diff | blob | history |