]>
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 |