]> matita.cs.unibo.it Git - helm.git/commit
Typo fixed.
authorEnrico Tassi <enrico.tassi@inria.fr>
Thu, 15 May 2008 12:45:30 +0000 (12:45 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Thu, 15 May 2008 12:45:30 +0000 (12:45 +0000)
commit123dd4468eb9725214db3acaa0af40a07e01e069
tree8cafc48b0969e5ba2bb6f316714c173f2dcf936c
parent8097a4b158730b042f2d00bc91419ccae6bb71d5
Typo fixed.
helm/software/components/ng_kernel/nCicReduction.ml