]> matita.cs.unibo.it Git - helm.git/commit
Missing whd.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Sat, 17 May 2008 15:05:41 +0000 (15:05 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Sat, 17 May 2008 15:05:41 +0000 (15:05 +0000)
commitb285ae14dec63e8fc3d82813742ca69e5eb3a9a0
treefc5e4a286cbc54b4d8ba96c9c338d9842367e055
parentecc3dad340e2369f5f226713513e0704e5349ab0
Missing whd.
helm/software/components/ng_kernel/oCic2NCic.ml