projects / helm.git / commit
| author | Enrico Tassi <enrico.tassi@inria.fr> | |
| Thu, 23 Sep 2010 22:35:46 +0000 (22:35 +0000) | ||
| committer | Enrico Tassi <enrico.tassi@inria.fr> | |
| Thu, 23 Sep 2010 22:35:46 +0000 (22:35 +0000) | ||
| commit | 164e0005e806f5c995817cd0a494429ebac508d9 | |
| tree | 4db9bc7d0b9e7cd2f074985b1541d610a3cef552 | tree | snapshot |
| parent | fb6ff8d806fa9e4db3a5cb84163dc7ce3882b578 | commit | diff |
| helm/software/matita/nlibrary/arithmetics/minimization.ma | diff | blob | history |