]> matita.cs.unibo.it Git - helm.git/commit
map_hash moved to HExtlib
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 14 May 2008 15:01:31 +0000 (15:01 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 14 May 2008 15:01:31 +0000 (15:01 +0000)
commit57e94245e95dc71d1a0c1e0ef9270fdf643ba315
tree4ee7d619c1097b370c6acc847f488d8d4197e4e3
parentd7d60e0067d067769b72b3d8d4b16fdae441c991
map_hash moved to HExtlib
helm/software/components/ng_kernel/nCicSubstitution.ml
helm/software/components/ng_kernel/nCicTypeChecker.ml
helm/software/components/ng_kernel/nCicUtils.ml
helm/software/components/ng_kernel/nCicUtils.mli