]> matita.cs.unibo.it Git - helm.git/commit
fix typo
authorEnrico Tassi <enrico.tassi@inria.fr>
Thu, 23 Sep 2010 22:35:46 +0000 (22:35 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Thu, 23 Sep 2010 22:35:46 +0000 (22:35 +0000)
commit164e0005e806f5c995817cd0a494429ebac508d9
tree4db9bc7d0b9e7cd2f074985b1541d610a3cef552
parentfb6ff8d806fa9e4db3a5cb84163dc7ce3882b578
fix typo
helm/software/matita/nlibrary/arithmetics/minimization.ma